Home

ISIS Publications

Export 451 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: Taxonomy Term is   [Clear All Filters]
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 
K
Karsai, G., "Structured Specification of Model Interpreters", ECBS, Nashville, TN, pp. 84--91, March, 1999.  Download: Karsai_G_3_0_1999_Structured.pdf (54.67 KB)
Karsai, G., G. Bloor, and J. Doyle, "Automating Human Based Negotiation Processes for Autonomic Logistics", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Karsai_G_3_0_2000_Automating.pdf (676.12 KB)
Karsai, G., Declarative Programming Techniques for Engineering, : Vanderbilt University, 1988.
Karsai, G., C. Biegl, W. Blokland, J. Sztipanovits, K. Kawamura, N. Miyasaka, and M. Inui, "Intelligent Supervisory Controller for Gas Distribution Network", Proceedings of the American Control Conference, pp. 1353--1358, 1987.
Karsai, G., S. Padalkar, H. Franke, and J. Sztipanovits, "A Practical Method For Creating Plant Diagnostics Applications", Integrated Computer-Aided Engineering, vol. 3, pp. 291--304, 1996.  Download: Karsai_G_0_0_1996_A_Practica.pdf (364.48 KB)
Karsai, G., S. Padalkar, J. Sztipanovits, and F. DeCaria, "Activity Modeling", Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
Karsai, G., and J. Sztipanovits, "A Model-Based Approach to Self-Adaptive Software", Journal of Intelligent Systems, vol. 14, pp. 46--53, May, 1999.
Karsai, G., "Design Tool Integration: An Exercise in Semantic Interoperability", Proceedings of the IEEE Engineering of Computer Based Systems, Edinburg, UK, March, 2000.  Download: Karsai_G_3_0_2000_Design_Too.pdf (84.04 KB)
Karsai, G., S. Padalkar, H. Franke, and J. Sztipanovits, ""Model-based Programming Tools for Integrated Monitoring, Simulation, Diagnosis, and Control"", Proc. of Computing in Aerospace 9, AIAA paper 93-4578, 1993.  Download: Karsai_G_0_0_1993_Model_base.pdf (141.99 KB)
Karsai, G., J. Sztipanovits, S. Padalkar, C. Biegl, N. Miyasaka, and K. Okuda, "Model Based Intelligent Process Control for Cogenerator Plants", Journal of Parallel and Distributed Systems, vol. 15, pp. 90--103, June, 1992.  Download: Karsai_G_0_0_1992_Model_Base.pdf (545.01 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Towards Two-Level Formal Modeling of Computer-Based Systems", Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.  Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
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., A. Ledeczi, J. Sztipanovits, G. Peceli, G. Simon, and T. Kovacshazy, "An Approach to Self-Adaptive Software based on Supervisory Control", Self-Adaptive Software, Lecture Notes in Computer Science, 2002.  Download: Karsai_G_5_0_2001_An_Approac.pdf (97.4 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., M. Maroti, A. Ledeczi, J. Gray, and J. Sztipanovits, "Composition and Cloning in Modeling and Meta-Modeling", IEEE Transactions on Control System Technology, December, 2003.
Karsai, G., and F. DeCaria, "Model-Integrated On-line Problem-Solving Environment for Chemical Engineering", IFAC Control Engineering Practice, vol. 5, pp. 1--9, 1997.  Download: Karsai_G_0_0_1997_Model_Inte_.pdf (180.47 KB)
Karsai, G., "A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming", IEEE Computer, vol. 28, pp. 36--44, March, 1995.
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., and A. Narayanan, "On the Correctness of Model Transformations in the Development of Embedded Systems", Lecture Notes in Computer Science, vol. 4888: Springer, 2007.
Karsai, G., A. Lang, and S. Neema, "Design Patterns for Open Tool Integration", Journal of Software and System Modeling, vol. 4, 2004.
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, C. Biegl, N. Miyasaka, and K. Okuda, "Models and Model building in Intelligent Process Control Systems", IEEE International Symposium on Intelligent Control, pp. 351--357, 1990.
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., J. Sztipanovits, and H. Franke, "Towards Specification of Program Synthesis in Model-Integrated Computing", ECBS-98, Jerusalem, Israel, pp. 226--233, 1998.  Download: Karsai_G_0_0_1998_Towards_Sp.pdf (359.33 KB)
Karsai, G., and E. Visser, "Generative Programming and Component Engineering, Third International Conference", Lecture Notes in Computer Science, vol. 3286: Springer, 2004.
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., J. Sztipanovits, S. Padalkar, and C. Biegl, "A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics", AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
Karsai, G., A. Lang, and S. Neema, "Tool Integration Patterns", Workshop on Tool Integration in System Developement, ESEC/FSE, Helsinki, Finland, pp. 33--38, September, 2003.  Download: Karsai_G_9_0_2003_Tool_Integ.pdf (274.24 KB)
Karsai, G., "Automotive Software: A Challenge and Opportunity for Model-Based Software Development", Lecture Notes in Computer Science, vol. 4147: Springer, 2006.
Karsai, G., K. Andersen, G. E. Cook, and R. J. Barnett, "Neural Network Methods for the Modeling and Control of Welding Processes", Journal of Intelligent Manufacturing, pp. 229--235, 1992.
Karsai, G., "Why is XML not suitable for Semantic Translation", Research Note, Nashville, TN, April, 2000.  Download: Karsai_G_4_0_2000_Why_is_XML.pdf (122.3 KB)
Karsai, G., C. Biegl, S. Padalkar, J. Sztipanovits, K. Kawamura, N. Miyasaka, and M. Inui, "Knowledge-Based Approach to Real-Time Supervisory Control", Amercian Control Conference, Atlanta, GA, pp. 620--626, 1988.
Kandasamy, N., and S. Abdelwahed, Designing Self-Managing Distributed Systems using Online Predictive Control, : Institute for Software Integrated Systems, December, 2003.
Kandasamy, N., S. Abdelwahed, and S. Neema, "Self optimization in computer systems via online control: application to power management", the International Conference on Autonomic Computing, New York, NY, May, 2004.  Download: Kandasamy_N_5_0_2004_Self_optim.pdf (237.87 KB)
Kalli, S., and J. Sztipanovits, "Hierarchical Structure of Intelligent Patient Monitoring System", Finnish National Conference on Artificial Intelligence, pp. 123--128, 1988.
Kalli, S., and J. Sztipanovits, "Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems", IFAC Symposium on Medical Instrumentation, 1989.
Kalli, S., and J. Sztipanovits, "Model Based Approach in Intelligent Patient Monitoring", 10th IEE/EMBS, New Orleans, LA, pp. 1142--1148, 1988.
J
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.
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.
Jackson, E., The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples, : Institute for Software Integrated Systems, March 2007.  Download: Jackson_EK_3_0_2007_The_Softwa.pdf (979.48 KB)
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)
Jackson, E., and J. Sztipanovits, "Formalizing the Structural Semantics of Domain-Specific Modeling Languages", Journal of Software and Systems Modeling (SoSym), vol. In Press, 2009.  Download: jackson_sztipanovits_sysym_2009.pdf (1.53 MB)
Jackson, E., and J. Sztipanovits, "Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality", 13th Annual IEEE International Conference on the Engineering of Computer Based Systems, Potsdam, Germany, March, 2006.  Download: Jackson_EK_3_27_2006_Correct_ed.pdf (305.84 KB)
I
Imsand, E., L. Howard, K. Pence, and D. Dasgupta, "Online Information Security Education through Anchored Instruction", Proceedings of the 12th Annual Colloquium for Information Systems Security Education, Dallas, TX, USA, June, 2008.
H
Howard, L., J. Johnson, G. Pap, K. Pence, and L. Juracz, "Affordances and Form: Applying Lessons from Informal Learning to Formal Learning on the Web", Proceedings of the International Conference on Engineering Education, Pecs-Budapest, Hungary, July, 2008.
Howard, L., "Adaptive Learning Technologies for Bioengineering Education", IEEE Engineering in Medicine and Biology Magazine, vol. 22, pp. 58-65, July, 2003.
Howard, L., "An Algorithm for Diagnostic Reasoning Using TFPG Models in Embedded Real-Time Applications", AUTOTESTCON 2001, Valley Forge, Pennsylvania, pp. 978--987, August, 2001.  Download: Howard_LP_8_20_2001_An_Algorit.pdf (98.69 KB)
Howard, L., Z. Remenyi, and G. Pap, "Adaptive blended learning environments", Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.