ISIS Publications

Export 451 results:
Sort by: [ Author  (Asc)] 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 
H
Howard, L., "CAPE: A Visual Language for Courseware Authoring", 2nd Workshop on Domain-Specific Visual Languages, Seattle, WA, pp. 45--53, November, 2002.  Download: Howard_LP_11_11_2002_CAPE__A_Vi.pdf (577.45 KB)
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., 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., Z. Remenyi, and G. Pap, "Adaptive blended learning environments", Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.
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.
J
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)
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)
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.
K
Kalli, S., and J. Sztipanovits, "Hierarchical Structure of Intelligent Patient Monitoring System", Finnish National Conference on Artificial Intelligence, pp. 123--128, 1988.
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., 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., A. Lang, and S. Neema, "Design Patterns for Open Tool Integration", Journal of Software and System Modeling, vol. 4, 2004.
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., 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, A. Ledeczi, and T. Bapty, "Model-integrated development of embedded software", Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
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. 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., 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., "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., 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)