ISIS Publications

Export 82 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: First Letter Of Title is A  [Clear All Filters]
Thesis
Report
Sallai, J., G. Balogh, M. Maroti, and A. Ledeczi, Acoustic Ranging in Resource Constrained Sensor Networks, : Institute for Software Integrated Systems, February, 2004.  Download: Sallai_J_2_25_2004_Acoustic_R.pdf (376.5 KB)
Sprinkle, J., C. van Buskirk, and G. Karsai, "Analysis and Representation of Clauses in Satisfiability of Constraints", ISIS-01-205: Institute for Software Integrated Systems, August, 2001.  Download: Sprinkle_JM_8_6_2001_Analysis_a.pdf (171.11 KB)
Neema, S., "Analysis of Matlab Simulink and Stateflow Data Model", ISIS-01-204: Institute for Software Integrated Systems, March, 2001.  Download: Neema_S_3_0_2001_Analysis_o.pdf (259.18 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)
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.
Lindecker, D., and J. Sztipanovits, "Applying Decentralized Information Flow Labels to Component-Based Software Systems Deployment", Technical Report, no. ISIS-15-118, Nashville, ISIS Vanderbilt University, 09/2014, 2015.  Download: System-Level-Codesign.pdf (252.89 KB)
Journal Article
Levendovszky, T., and G. Karsai, "An Active Pattern Infrastructure for Domain-Specific Languages", Electronic Communications of the EASST, vol. 25, pp. 1-10, 05/07, 2010.
Howard, L., "Adaptive Learning Technologies for Bioengineering Education", IEEE Engineering in Medicine and Biology Magazine, vol. 22, pp. 58-65, July, 2003.
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.
Narasimhan, S., and G. Biswas, "An Approach to Model-Based Diagnosis of Hybrid Systems", Lecture Notes in Computer Science, vol. 2289, pp. 308--322, March, 2002.
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.
Sztipanovits, J., and J. Bourne, "Architecture of Intelligent Medical Instruments", Journal of Biomedical Measurements Informatics and Control, London, UK, vol. 1, pp. 140--146, 1987.
Nannapaneni, S., S. Mahadevan, A. Dubey, D. Lechevalier, A. Narayanan, and S. Rachuri, "Automated Uncertainty Quantification through Information Fusion in Manufacturing Processes", Journal of Sustainable and Smart Manufacturing Systems: American Society for Testing and Materials, 2017. Abstract  Download: AutomatedUQ_2.pdf (559.07 KB)
Neema, S., T. Bapty, S. Shetty, and S. Nordstrom, "Autonomic Fault Mitigation in Embedded Systems", Special Issue on Autonomic Computing and Grids at the Journal: Elsevier, 2004.
Conference Proceedings
Celaya, J., C. Kulkarni, G. Biswas, and K. Goebel, "Accelerated Aging in Electrolytic Capacitors for Prognostics", IEEE - The Annual Reliability and Maintainability Symposium, Reno, Nevada, IEEE, 01/2012.
Sallai, J., P. Volgyesi, A. Ledeczi, K. Pence, T. Bapty, S. Neema, and J. Davis, "Acoustic Shockwave-Based Bearing Estimation", The 12th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN), Philadelphia, PA, USA, 04/2013.  Download: ipsn07-sallai.pdf (2.56 MB)
Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale, "Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks", Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.  Download: CyPhy14.pdf (583.29 KB)
Dabholkar, A., and A. Gokhale, "An Approach to Middleware Specialization for Cyber Physical Systems", The 2nd International Workshop on Cyber-Physical Systems (WCPS 2009), Co-located with ICDCS 2009, Montreal, Quebec, Canada, IEEE, pp. 73-79, 06/2009.  Download: WCPS-2009.pdf (236.71 KB)
Sagedy, J., B. Sulcer, and G. Biswas, "Are ILEs Ready for the Classroom? Bringing Teachers into the Feedback Loop", The 10th International Conference on Intelligent Tutoring Systems, Pittsburgh, pp. 405-407, 2010.
Conference Paper
Lattmann, Z., T. Kecskes, P. Meijer, G. Karsai, P. Volgyesi, and A. Ledeczi, "Abstractions for Modeling Complex Systems", ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 2016. Abstract  Download: AbstractionsForModelingComplexSystems.pdf (697.83 KB)
Chhokra, K., "Accuracy Enhancements for TDOA Estimation on Highly Resource Constrained Mobile Platforms", International Symposium on Advanced Radio Technologies, March 2-4, 2004, Boulder, CO, pp. 1--6, March, 2004.  Download: Chhokra_K_3_1_2004_Accuracy_E.pdf (260.38 KB)
Sallai, J., A. Ledeczi, and P. Volgyesi, "Acoustic Shooter Localization with a Minimal Number of Single-Channel Wireless Sensor Nodes", 9th ACM Conference on Embedded Networked Sensor Systems (SenSys 2011), Seattle, WA, ACM, 11/2011. Abstract  Download: 49.pdf (1.14 MB)
Nordstrom, S., S. Shetty, D. Yao, S. Ahuja, S. Neema, and T. Bapty, "The Action Language: Refining a Behavioral Modeling Language", 12th IEEE International Conference on Engineering of Computer Based Systems, Greenbelt, MD, pp. 315--320, April, 2005.
Karsai, G., S. Padalkar, J. Sztipanovits, and F. DeCaria, "Activity Modeling", Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
Nichols, J., and M. Moore, "An Adaptable, Cost Effective Image Processing System", The 10th JANNAF Non-destructive Evaluation Sub Committee, Salt Lake City, UT, pp. 1--5, March, 1998.  Download: Nichols_JA_3_0_1998_An_Adaptab.pdf (120.75 KB)
Hoffert, J., D. Schmidt, and A. Gokhale, "Adapting Distributed Real-time and Embedded Publish/Subscribe Middleware for Cloud-Computing Environments", ACM/IFIP/USENIX 11th International Middleware Conference (Middleware 2010), Bangalore, India, pp. 21–41, 12/2010.
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.
Neema, S., T. Bapty, and J. Scott, "Adaptive Computing and Run-time Reconfiguration", Proceedings of the Military Applications of Programmable Logic Devices, Laurel, MD, September, 1999.  Download: Neema_S_9_0_1999_Adaptive_C.pdf (53.24 KB)
Biegl, C., G. E. Cook, K. Fernandez, and M. Smith, "Adaptive Control of a Dual-Arm Robot Manipulator Using On-Line Graphical Simulation", 4th Annual Workshop on Robotics and Expert Systems, Palo Alto, CA, pp. 253--263, 1989.