ISIS Publications

Export 28 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: First Letter Of Last Name is J  [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   [Show ALL]
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., 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. 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)
Jackson, E., R. Thibodeaux, J. Porter, and J. Sztipanovits, "Semantics of Domain Specific Modeling Languages", Model-Based Design for Embedded Systems, Boca Raton, FL, CRC Press, pp. 437-486, 2009.
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)
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 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.
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., 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, "Optimal Wireless Network Restoration Under Jamming Attack", 18th International Conference on Computer Communications and Networks (ICCCN), San Francisco, CA, 08/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., 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.
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, 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.
Jose, C., C. Kulkarni, G. Biswas, and G. Kai, "Towards Prognostics of Electrolytic Capacitors", Infotech@Aerospace 2011, St. Louis, Missouri, AIAA, 04/2011.
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., 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., 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.
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, "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.