Home

ISIS Publications

Export 1101 results:
Sort by: Author Title Type [ Year (Desc)]
2007
Robinson, W., M. Alles, J. Scott, T. Bapty, B. Bhuva, B. Bonds, L. Massengill, S. Neema, and R. Schrimpf, "Soft Error Considerations for Multicore Microprocessor Design", International Conference on Integrated Circuit Design & Technology, 05/2007.
Mathe, J., S. Duncavage, J. Werner, B. A. Malin, A. Ledeczi, and J. Sztipanovits, "Towards the Security and Privacy Analysis of Patient Portals", Special Interest Group on Embedded Systems Review (SIGBED), vol. 4 (#2), 04/2007. Abstract  Download: Mathe-ACM.SIGBED.07-Towards.Analysis.pdf (374.36 KB)
Kinnebrew, J. S., A. Gupta, N. Shankaran, G. Biswas, and D. C. Schmidt, "A Decision-Theoretic Planner with Dynamic Component Reconfiguration for Distributed Real-Time Applications", The Eighth International Symposium on Autonomous Decentralized Systems (ISADS): Sedona, Arizona, pp. 461 -472, 03/2007. Abstract  Download: Kinnebrew et al - 2007 - ISADS -- Decision-Theoretic Planner w Dynamic Component Reconfig for Distrib RT Apps.pdf (343.84 KB)
Suri, D., A. Howell, D. C. Schmidt, G. Biswas, J. S. Kinnebrew, W. R. Otte, and N. Shankaran, "A Multi-Agent Architecture Provides Smart Sensing for the NASA Sensor Web", The 2007 IEEE Aerospace Conference, Big Sky, Montana, pp. 1 -9, 03/2007. Abstract  Download: Suri et al - 2007 - IEEE Aerospace -- Multi-Agent Architecture for Smart Sensing in NASA Sensor Web.pdf (10.59 MB)
Hill, J., J. Balasubramanian, and J. Balasubramanian, "MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems", International Service Availability Symposium (ISAS), Durham, New Hampshire, USA, 02/2007. Abstract
Schwartz, D. L., K. P. Blair, G. Biswas, K. Leelawong, and J. Davis, "Animations of thought: Interactivity in the teachable agent paradigm", Learning with Animation: Research and Implications for Design, UK, Cambrige University Press, pp. 114-140, 2007.
Wagster, J., J. Tan, Y. Wu, G. Biswas, and D. Schwartz, "Do learning by teaching environments with metacognitive support help students develop better learning behaviors?", The 29th Annual Meeting of the Cognitive Science Society, Nashville, TN, pp. 695-700, 2007.
Tan, J., Y. Wu, and G. Biswas, "Effect of metacognitive support on student behaviors in learning by teaching environments", the 13th International Conference on Artificial Intelligence in Education, Marina del Rey, CA, IOS Press., 2007.
Wagster, J., J. Tan, G. Biswas, and D. Schwartz, "How metacognitive feedback affects behavior in learning and transfer", The 13th International Conference on Artificial Intelligence in Education, Marina del Rey, CA, IOS Press, 2007.
Otte, W. R., and D. C. Schmidt, "Labor-Saving Architcture: an Object-Oriented Framework for Networked Software", Beautiful Code: O'Reilly Media, 2007.
Kushwaha, M., I. Amundson, X. Koutsoukos, S. Neema, and J. Sztipanovits, "OASiS: A Programming Framework for Service-Oriented Sensor Networks", International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), Bangalore, India, 2007. Abstract  Download: comsware07.pdf (982.55 KB)
Koutsoukos, X., M. Kushwaha, I. Amundson, S. Neema, and J. Sztipanovits, "OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks", Monterey Workshop 2006, LNCS 4888, Springer-Verlag, Paris, France, 2007.  Download: LNCS2007.pdf (1.54 MB)
Tan, J., N. Skirvin, G. Biswas, and K. Catley, "Providing guidance and opportunities for self-assessment and transfer in a simulation environment for discovery learning", The 29th Annual Meeting of the Cognitive Science Society, Nashville, TN, pp. 1539-1544, 2007.
Volgyesi, P., G. Balogh, A. Nadas, C. Nash, and A. Ledeczi, "Shooter Localization and Weapon Classification with Soldier-Wearable Networked Sensors", 5th International Conference on Mobile Systems, Applications, and Services (MobiSys), San Juan, Puerto Rico, 2007.  Download: sys5090-volgyesi.pdf (1.04 MB)
Tan, J., and G. Biswas, "Simulation-based game learning environments: Building and sustaining a fish tank", The First IEEE International Workshop on Digital Game and Intelligent Toy Enhanced Learning, Jhongli, Taiwan, pp. 73-80, 2007.
Balasubramanian, D., A. Narayanan, S. Neema, F. Shi, R. Thibodeaux, and G. Karsai, "A Subgraph Operator for Graph Transformation Languages", Electronic Communications of the EASST, vol. 6, 2007. Abstract  Download: A_Subgraph_Operator_for_Graph_Transformation_Languages.pdf (233.92 KB)
Amundson, I., M. Kushwaha, B. Kusy, P. Volgyesi, G. Simon, X. Koutsoukos, and A. Ledeczi, "Time Synchronization for Multi-Modal Target Tracking in Heterogeneous Sensor Networks", Workshop on Networked Distributed Systems for Intelligent Sensing and Control, Kalamata, Greece, 2007. Abstract  Download: KalamataWorkshop07.pdf (3.94 MB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems", ISSE, vol. 3, pp. 33--52, 2007.  Download: Dubey_A_1_24_2007_Towards_a_.pdf (1.2 MB)
Kusy, B., A. Ledeczi, and X. Koutsoukos, "Tracking mobile nodes using RF Doppler shifts", SenSys '07: Proceedings of the 5th international conference on Embedded networked sensor systems, New York, NY, USA, ACM, pp. 29--42, 2007.  Download: Kusy_B_11_7_2007_Tracking_M.pdf (811.73 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.
Kusy, B., J. Sallai, G. Balogh, A. Ledeczi, V. Protopopescu, J. Tolliver, F. DeNap, and M. Parang, "Radio Interferometric Tracking of Mobile Wireless Nodes", In Proc. of MobiSys, 2007.
2006
Agrawal, A., G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, "The Design of a Language for Model Transformations", Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.  Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)
Harris, T. R., L. Howard, and R. Linsenmeier, "Design of a Repository for Bioengineering Educational Materials", Proceedings of the Biomedical Engineering Society (BMES) Annual Conference, Chicago, Illinios, October, 2006.
Amundson, I., M. Kushwaha, X. Koutsoukos, S. Neema, and J. Sztipanovits, "Efficient Integration of Web Services in Ambient-aware Sensor Network Applications", Basenets, San Jose, CA, October, 2006.  Download: Amundson_I_10_1_2006_Efficient_.pdf (849.01 KB)
Kusy, B., and S. Abdelwahed, FTSP Protocol Verification using SPIN, : Institute for Software Integrated Systems, May, 2006.  Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
Mens, T., P. van Gorp, D. Varro, and G. Karsai, "Applying a Model Transformation Taxonomy to Graph Transformation Technology", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 143--159, March, 2006.
Neema, S., and I. Sturmer, Automated Test Case Generation for Code Generators based on Graph-Transformation Rules, : Institute for Software Integrated Systems, March, 2006.  Download: Neema_S_3_1_2006_Automated_.pdf (344.23 KB)
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)
Balasubramanian, K., J. Balasubramanian, G. Karsai, J. Sztipanovits, and S. Neema, "Developing applications using model-driven design environments", IEEE Computer, vol. 39, pp. 33--40, March, 2006.
Vizhanyo, A., S. Neema, F. Shi, D. Balasubramanian, and G. Karsai, "Improving the Usability of a Graph Transformation Language", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 207--222, March, 2006. Abstract  Download: improve_gtl.pdf (262.32 KB)
Volgyesi, P., A. Nadas, A. Ledeczi, and K. Molnar, "Reliable Multihop Bulk Transfer Service forWireless Sensor Networks", 13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2006), Potsdam, Germany, March, 2006.  Download: Volgyesi_P_3_0_2006_Reliable_M.pdf (1.61 MB)
Williams, B. W., "Using Hybrid Automata to Model Four Stroke Engines with Variable Valve Timing in Simulink/Stateflow", ACMSE 2006, Melbourne, FL, March, 2006.
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, and T. Bapty, "Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems", Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.  Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 MB)
Roselli, R. J., and L. Howard, "Facilitating the design of diagnostic learning modules with CAPE", Proceedings of the American Society of Engineering Education Annual Conference, Chicago, IL, USA, June, 2006.
Wu, T., Y. Xue, and Y. Cui, Preserving Traffic Privacy in Wireless Mesh Networks, : Institute for Software Integrated Systems, June 2006.  Download: WU_T_6_0_2006_Preserving.pdf (206.84 KB)
Chen, K., J. Sztipanovits, and S. Neema, Compositional Specification of Behavioral Semantics, : Institute for Software Integrated Systems, June, 2006.  Download: Chen_K_6_1_2006_Compositio.doc (629.5 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.
Debelak, K., L. Howard, Y. Xue, C. Lee, and J. Sztipanovits, "Introducing security in a chemical engineering design course using adaptive online learning", Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.
Nordstrom, S., T. Bapty, S. Neema, A. Dubey, and T. Keskinpala, "A Guided Explorative Approach for Autonomic Healing of Model-Based Systems", Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, CA, July, 2006.  Download: Nordstrom_SG_7_0_2006_A_Guided_E.pdf (201.89 KB)
Sztipanovits, J., ISIS Overview 2005, , ISIS - Vanderbilt, Institute for Software Integrated Systems, January, 2006.  Download: Sztipanovi_J_1_13_2006_ISIS_Overv.ppt (3.56 MB)
Sallai, J., B. Kusy, A. Ledeczi, and P. Dutta, "On the Scalability of Routing Integrated Time Synchronization", 3rd European Workshop on Wireless Sensor Networks (EWSN 2006), Zurich, Switzerland, February, 2006.  Download: Sallai_J_2_13_2006_On_the_Sca.pdf (212.99 KB)
Kusy, B., and J. Sallai, Analytical solution for radio-interferometric localization of mobile sensors, , Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, December, 2006.  Download: Kusy_B_12_1_2006_Analytical.pdf (196.56 KB)
Daigle, M., I. Roychoudhury, G. Biswas, and X. Koutsoukos, Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs, : Institute for Software Integrated Systems, December, 2006.  Download: Daigle_MJ_12_18_2006_Efficient_.pdf (785.63 KB)
Werner, J., M. Eby, J. Mathe, G. Karsai, Y. Xue, and J. Sztipanovits, "Integrating Security Modeling in Embedded System Design", 12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, April, 2006. Abstract  Download: Werner_J_4_4_2006_Integratin.pdf (132.39 KB)
Kusy, B., G. Balogh, P. Volgyesi, J. Sallai, A. Nadas, A. Ledeczi, M. Maroti, and L. Meertens, "Node-Density Independent Localization", In Proc. of IPSN/SPOTS, Nashville, Tennessee, April, 2006.  Download: spot6144-kusy.pdf (550.15 KB)
Chen, K., J. Sztipanovits, and S. Abdelwahed, "A Semantic Unit for Timed Automata Based Modeling Languages", 12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, pp. 2--14, April, 2006.  Download: Chen_K_4_4_2006_A_Semantic.pdf (316.11 KB)
Roselli, R. J., L. Howard, and S. Brophy, "A computer-based free body diagram assistant", Computer Applications in Engineering Education, vol. 14, no. 4, pp. 281-290, 2006.
Roselli, R. J., L. Howard, and S. Brophy, "Integration of formative assessment into online engineering assignments", Computers in Education, vol. 16, no. 4, pp. 8-17, 2006.
Emerson, M., J. Mathe, and S. Duncavage, "WiNeSim: A Wireless Network Simulation Tool", Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Seoul, South Korea, 10/2006. Abstract  Download: EMSOFT-WS.2006.Paper-WiNeSim.v2.0.pdf (416.03 KB)
Suri, D., A. Howell, N. Shankaran, J. S. Kinnebrew, W. R. Otte, D. C. Schmidt, and G. Biswas, "Onboard Processing using the Adaptive Network Architecture", The Sixth Annual NASA Earth Science Technology Conference, College Park, Maryland, 06/2006. Abstract  Download: Suri et al - 2006 - NASA ESTC -- Onboard Processing using the Adaptive Network Architecture.pdf (302.24 KB)