ISIS Publications

Export 1056 results:
Sort by: [ Author  (Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Jackson, E. K., W. Schulte, D. Balasubramanian, and G. Karsai, "Reusing Model Transformations While Preserving Properties", Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.
Jackson, E. K., T. Levendovszky, and D. Balasubramanian, "Reasoning about Metamodeling with Formal Specifications and Automatic Proofs", Model Driven Engineering Languages and Systems (MoDELS), vol. 6981, Wellington, New Zealand, Springer, 10/2011. Abstract
Jackson, E., and J. Sztipanovits, "Using Separation of Concerns for Embedded Systems Design", EMSOFT '05, Jersey City, New Jersey, September, 2005.  Download: Jackson_EK_9_0_2005_Using_Sepa.pdf (201.69 KB)
Werner, J., S. Janos, B. A. Malin, L. Yonghwan, and A. Ledeczi, "Integration of Clinical Workflows with Privacy Policies on a Common Semantic Platform", 2nd International Workshop on Model-Based Design of Trustworthy Health Information Systems (MOTHIS 2008), Toulouse, France, 09/2008.
Jeong, H., and G. Biswas, "Mining student behavior models in learning-by-teaching environments", The First International Conference on Educational Data Mining, Montreal, Canada, pp. 127-136, 2008.
Jeong, H., A. Gupta, R. Roscoe, J. Wagster, G. Biswas, and D. Schwartz, "Using hidden markov models to characterize student behaviors in learning-by-teaching environments", In Intelligent Tutoring Systems: Vol. 5091. Lecture Notes in Computer Science, Montreal, Canada: Springer., pp. 614-625, 2008.
Ji, M., Z. Zhang, G. Biswas, and N. Sarkar, "Hybrid Fault Adaptive Control of a Wheeled Mobile Robot", IEEE Transactions on Mechatronics, vol. 8, pp. 226--233, June, 2003.
Ji, M., Z. Zhang, G. Biswas, and N. Sarkar, "Hybrid Fault Adaptive Control of a Mobile Robot", ASME Intl. Mechanical Engineering Congress and Exposition, New Orleans, LA, November, 2002.
Jiang, S., Y. Xue, A. Giani, and R. Bajcsy, "Robust Medical Data Delivery for Wireless Pervasive Healthcare", IEEE International Conference on Dependable, Autonomic and Secure Computing (International Workshop on Smart Homes for Tele-Health (SmarTel) co-located with), Chengdu, China, 12/2009.
Jiang, S., and Y. Xue, "Providing Survivability against Jamming Attack for Multi- Radio Multi-Channel Wireless Mesh Networks", Journal of Network and Computer Applications, Special Issue on Efficient and Robust Security of Wireless Mesh Networks, vol. 34, no. 2, pp. 454, 2011.
Jiang, S., and Y. Xue, "Providing Survivability against Jamming Attack via Joint Dynamic Routing and Channel Assignment", Proceedings of the 7th International Workshop on the Design of Reliable Communication Networks (DRCN), Washington, DC, 10/2009.
Jiang, S., Y. Xue, and D. C. Schmidt, "Minimum Disruption Service Composition and Recovery in Mobile Ad Hoc Networks", Computer Networks, Special Issue on Autonomic and Self-Organizing Systems, vol. 53, no. 10, pp. 1665, 07/2009.
Jiang, S., and Y. Xue, "Optimal Wireless Network Restoration Under Jamming Attack", 18th International Conference on Computer Communications and Networks (ICCCN), San Francisco, CA, 08/2009.
Joeng, H., G. Biswas, J. Johnson, and L. Howard, "Analysis of productive learning behaviors in a structured inquiry cycle using hidden Markov models", Proceedings of the 3rd International Conference of Educational Data Mining, Pittsburgh, PA, pp. 81-90, June 2010.
Jose, C., C. Kulkarni, G. Biswas, and G. Kai, "Towards Prognostics of Electrolytic Capacitors", Infotech@Aerospace 2011, St. Louis, Missouri, AIAA, 04/2011.
Jose, C., C. Kulkarni, G. Biswas, S. Sankalita, and G. Kai, "A Model-based Prognostics Methodology for Electrolytic Capacitors Based on Electrical Overstress Accelerated Aging", Annual Conference of the Prognostics and Health Management Society (PHM 2011), Montreal, Canada, Prognostics and Health Management Society, 10/2011.
Juracz, L., Z. Lattmann, T. Levendovszky, G. Hemingway, W. Gaggioli, T. Netterville, G. Pap, K. Smyth, and L. Howard, "VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design", Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), vol. Vol-1118, 01/2014. Abstract  Download: MDHPCL 2013 04-paper.pdf (1.08 MB)
Juracz, L., "Developing courses with HoloRena, a framework for scenario- and game based e-learning environments", International Journal of Software Engineering & Applications (IJSEA), vol. 1, no. 4, pp. 1-17, 10/2010.
Juracz, L., and L. Howard, "Towards a Generic Cloud-based Modeling Environment", International Conference on Digital Information Processing and Communications, Ostrava, Czech Republic, 07/2011. Abstract
Juracz, L., and L. Howard, "Architectural Framework for Generic Modeling and Diagramming in the Cloud", International Journal of Digital Information and Wireless Communications, vol. Vol. 1, no. No. 2, 02/2012.
Juracz, L., G. Pap, L. Howard, and J. Johnson, "HoloRena: a framework for developing flow-driven web-based educational games", IEEE Learning Technology, Special Issue on Game Based Learning, vol. 12, no. 1, 01/2010.
Kalli, S., and J. Sztipanovits, "Hierarchical Structure of Intelligent Patient Monitoring System", Finnish National Conference on Artificial Intelligence, pp. 123--128, 1988.
Kandasamy, N., D. Hanak, C. van Buskirk, H. Neema, and G. Karsai, "Synthesis of Robust Task Schedules for Minimum Disruption Repair", IEEE International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5056-5061, 10/2004. Abstract  Download: RobustTaskSchedules.pdf (370.75 KB)
Karsai, G., J. Sztipanovits, A. Ledeczi, and M. Moore, "Model-Integrated System Development: Models, Architecture and Process", 21st Annual International Computer Software and Application Conference (COMPSAC), Bethesda, MD, pp. 176--181, August, 1997.  Download: Karsai_G_8_0_1997_Model_Inte.pdf (4.73 MB)
Karsai, G., J. Sztipanovits, S. Padalkar, and C. Biegl, "Model Based Techniques for Intelligent Process Control", Artificial Intelligence in Engineering, vol. 2: Elsevier, pp. 79--94, 1990.
Karsai, G., Tool Support for Design Patterns, , NDIST 4 Workshop, Institute for Software Integrated Systems, December, 2001.  Download: Karsai_G_12_0_2001_Tool_Suppo.pdf (250.66 KB)
Karsai, G., A. Agrawal, and A. Ledeczi, "A Metamodel-Driven MDA Process and its Tools", WISME, UML 2003 Conference, San Francisco, CA, October, 2003.  Download: Karsai_G_10_0_2003_A_Metamode.pdf (212.6 KB)
Karsai, G., J. Sztipanovits, A. Ledeczi, and T. Bapty, "Model-integrated development of embedded software", Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
Karsai, G., and J. Gray, "Component Generation Technology for Semantic Tool Integration", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Karsai_G_3_0_2000_Component_.pdf (4.64 MB)
Karsai, G., J. Sztipanovits, S. Padalkar, and F. DeCaria, "Model-embedded On-line Problem Solving Environment for Chemical Engineering", International Conference on Engineering of Complex Computer Systems, Ft Lauderdale, FL, pp. 227--233, November, 1995.  Download: Karsai_G_11_6_1995_Model_embe.pdf (180.47 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Specifying Graphical Modeling Systems Using Constraint-based Metamodels", IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.  Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)
Karsai, G., J. Sztipanovits, and J. S. Gero, "Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy", Artificial Intelligence in Engineering: Robotics and Processes: Elsevier, pp. 387--402, 1988.
Karsai, G., and A. Agrawal, "Graph Transformations in OMG's Model-Driven Architecture", Lecture Notes in Computer Science, vol. 2062: Springer, pp. 243--259, 2003.  Download: Karsai_G_12_0_2003_Graph_Tran.pdf (820.41 KB)
Karsai, G., G. Biswas, S. Abdelwahed, N. Mahadevan, and E. J. Manders, "Model-based Software Tools for Integrated Vehicle Health Management", The Second IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadina, CA, 2006.  Download: Karsai_G_0_0_2006_Model_base.pdf (277.55 KB)