ISIS Publications

Export 452 results:
Sort by: Author [ Title  (Asc)] 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 
M
Loyall, J., R. Shapiro, S. Neema, S. Abdelwahed, and N. Mahadevan, "Model-Based Design of Runtime Adaptation Strategies", The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'03, Toronto, Canada, June, 2003.
Bapty, T., and J. Sztipanovits, "Model-Based Engineering of Large-Scale Real-Time Systems", Proceedings of the the Engineering of Computer Based Systems (ECBS) Conference, Monterey, CA, pp. 467--474, March, 1997.
Long, E., and A. Misra, "A Model-Based Engineering Process for Increasing Productivity in Discrete Manufacturing", International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 197--202, March, 1997.  Download: Long_E_3_0_1997_A_Model_Ba.pdf (89.5 KB)
Ledeczi, A., and B. Abbott, "Model-Based Hardware Configuration Management", Transputer Research and Applications, ISSN: 0925-4986, ISO Press, vol. 6, pp. 318--332, 1993.
Summers, R., J. Sztipanovits, R. Pirjamali, and E. Carson, "Model-Based Monitoring in Anaesthesia and Critical Care", 3rd Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care, Salzurg, Germany, October, 1992.
Moore, M., G. Karsai, and J. Sztipanovits, "Model-Based Programming for Parallel Image Processing", IEEE International Conference on Image Processing, Austin, TX, pp. 811--815, January, 1994.
Volgyesi, P., M. Maroti, and A. Ledeczi, "Model-based Software Synthesis for Distributed Control Systems and Sensor Networks.", International Carpathian Control Conference, High Tatras, Slovak Republic, May, 2003.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, and J. Sztipanovits, "Model-Based Software Synthesis for Large-Scale Systems", Proceedings of the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, September, 1993.
Moore, M., and J. Nichols, "Model-Based Synthesis of a Real-Time Image Processing Systems", The International Conference on Engineering of Complex Computer Systems (ICECCS), Ft. Lauderdale, FL, pp. 69, August, 1995.  Download: Moore_MS_8_0_1995_Model_Base.pdf (125.56 KB)
Sztipanovits, J., B. Abbott, and T. Bapty, "Model-based synthesis of complex embedded systems", Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'94), Washington DC, July, 1994.
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)
Sprinkle, J., "Model-Integrated Computing", IEEE Potentials, vol. 23, pp. 28--30, February, 2004.  Download: Sprinkle_J_2_0_2004_Model_Inte.pdf (375.37 KB)
Franke, H., J. Sztipanovits, and G. Karsai, "Model-Integrated Computing", Hawaii Systems of the World Manufacturing Congress, Auckland, New Zealand, November, 1997.
Sztipanovits, J., and G. Karsai, "Model-Integrated Computing", IEEE Computer, vol. 30, pp. 110--112, April, 1997.  Download: Sztipanovi_J_4_0_1997_Model_Inte.pdf (53.27 KB)
Sztipanovits, J., and G. Karsai, "Model-Integrated Computing Environment", ACM SIGSOFT Software Engineering Notes, vol. 22, pp. 72--73, September, 1997.
Misra, A., G. Karsai, and J. Sztipanovits, "Model-Integrated Development of Complex Applications", Fifth International Symposium on Assessment of Software Tools, Pittsburgh, PA, pp. 14--23, June, 1997.  Download: Misra_A_6_0_1997_Model_Inte.pdf (235.84 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.
Ledeczi, A., A. Bakay, and M. Maroti, "Model-Integrated Embedded Systems", Robertson, Shrobe, Laddaga (eds) Self Adaptive Software, Springer-Verlag Lecture Notes in CS, #1936, February, 2001.  Download: Ledeczi_A_4_0_2000_Model_Inte.pdf (217.28 KB)
Scott, J., T. Bapty, S. Neema, and J. Sztipanovits, "Model-Integrated Environment for Adaptive Computing", Proceedings of the Military and Aerospace Applications of Programmable Devices and Technologies Conference, Greenbelt, MA, September, 1998.  Download: Scott_J_9_0_1998_Model_Inte.pdf (65.99 KB)
Misra, A., G. Karsai, J. Sztipanovits, A. Ledeczi, and M. Moore, "A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing", International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 203--210, March, 1997.  Download: Misra_A_3_24_1997_A_Model_In.pdf (170.66 KB)
Ledeczi, A., "Model-Integrated Parallel Application Synthesis", Engineering of Computer Based Systems (ECBS), Monterey, CA, pp. 38--45, March, 1997.  Download: Ledeczi_A_3_0_1997_Model_Inte.pdf (118.81 KB)
Sztipanovits, J., G. Karsai, and H. Franke, "Model-Integrated Program Synthesis Environment", Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany, pp. 348--355, March, 2000.  Download: Sztipanovi_J_0_0_2000_Model_Inte.pdf (218.64 KB)
Moore, M., J. Sztipanovits, G. Karsai, and J. Nichols, "A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing", SPIE Conference on Parallel and Distributed Methods for Image Processing, San Diego, CA, pp. 31--45, June, 1997.  Download: Moore_MS_6_0_1997_A_Model_In.pdf (265.03 KB)
Moore, M., "Model-Integrated Program Synthesis for Real-Time Image Processing", PhD Dissertation: Vanderbilt University, February, 1997.  Download: Moore_MS_2_0_1997_Model_Inte.pdf (1.01 MB)
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)
Carnes, R., and A. Misra, "Model-Integrated Toolset for Fault Detection, Isolation and Recovery (FDIR)", International Conference and Workshop on Engineering of Computer Based Systems, Friedrichshafen, Germany, March, 1996.
Sprinkle, J., C. van Buskirk, and G. Karsai, "Modeling Agent Negotiation", IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October, 2000.  Download: Sprinkle_JM_10_8_2000_Modeling_A.pdf (181.58 KB)
Bapty, T., S. Neema, S. Nordstrom, S. Shetty, D. Vashishtha, J. Overdorf, and P. Sheldon, "Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems", 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), Huntsville, Alabama, pp. 11--16, April, 2003.
Ledeczi, A., J. Davis, S. Neema, and A. Agrawal, "Modeling Methodology for Integrated Simulation of Embedded Systems", ACM Transactions on Modeling and Computer Simulation, vol. 13, pp. 82--103, January, 2003.  Download: Ledeczi_A_0_0_2003_Modeling_M.pdf (231.04 KB)
Ledeczi, A., T. Bapty, G. Karsai, and J. Sztipanovits, "Modeling Paradigm for Parallel Signal Processing", The Australian Computer Journal, vol. 27, pp. 92--102, August, 1995.
Ledeczi, A., B. Abbott, C. Biegl, G. Karsai, and J. Sztipanovits, "Modeling Parallel Hardware Architectures", International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 274--281, January, 1992.
Nordstrom, S., S. Shetty, S. Neema, and T. Bapty, "Modeling Reflex-Healing Autonomy for Large Scale Embedded Systems", IEEE Transactions on Systems, Man, and Cybernetics, Special Issue on Autonomic Computing, October, 2005.
Dabholkar, A., "Modeling Software Contention using Colored Petri Nets", Proceedings of the 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Baltimore, MD, IEEE, 09/2008. Abstract
Sztipanovits, J., G. Karsai, and C. Biegl, "Modeling, Model Interpretation and Intelligent Control", 3rd IEEE International Symposium on Intelligent Control, Arlington , VA, pp. 46--50, 1988.
Emerson, M., J. Sztipanovits, and T. Bapty, "A MOF-Based Metamodeling Environment", Journal of Universal Computer Science, vol. 10, pp. 1357--1382, October, 2004.  Download: Emerson_MJ_10_9_2004_A__MOF_Bas.pdf (258.93 KB)
Koutsoukos, X., J. Kurien, and F. Zhao, "Monitoring and Diagnosis of Hybrid Systems Using Particle Filtering Methods", Proceedings of the 15th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2003, Notre Dame, IN, August, 2002.  Download: Koutsoukos_X_8_0_2002_Monitoring.pdf (524.94 KB)
Davis, J., J. Scott, J. Sztipanovits, and M. Martinez, "Multi-Domain Surety Modeling and Analysis for High Assurance Systems", Proceedings of the Engineering of Computer Based Systems, Nashville, TN, pp. 254--260, March, 1999.  Download: Davis_J_3_0_1999_Multi_Doma.pdf (73.25 KB)
Kushwaha, M., I. Amundson, P. Volgyesi, P. Ahammad, G. Simon, X. Koutsoukos, A. Ledeczi, and S. Sastry, "Multi-modal Target Tracking using Heterogeneous Sensor Networks", 17th International Conference on Computer Communications and Networks (ICCCN 08), St. Thomas, Virgin Islands (USA), 2008. Abstract  Download: multifusion.pdf (1.36 MB)