] Filters: First Letter Of Last Name is S [Clear All Filters]
"{Resource-Aware Deployment and Configuration of Fault-tolerant Real-time Systems}",
Proceedings of the 16th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS '10), Stockholm, Sweden, pp. 69–78, 2010.
"Weapon Classification and Shooter Localization Using Distributed Multichannel Acoustic Sensors",
Journal of Systems Architecture, vol. 57, no. 10, 11/2011.
"WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms",
Engineering of Computer Based Systems, Brno, Czech Republic, pp. 121--127, May, 2004.
Download: Chhokra_K_5_0_2004_WASP__A_Ra.pdf (408.31 KB)
"Visual exploratory data analysis methods to characterize student progress in intelligent learning environments",
2010 International Conference on Technology for Education, Mumbai, pp. 114-121, 2010.
"Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking",
International Journal of Time-Critical Computing Systems, 2005.
Download: Madl_G_0_0_2005_Verifying_.pdf (525.32 KB)
"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)
"Using RF received phase for indoor tracking",
HotEmNets, Killarney, Ireland, 06/28/2010.
Download: hotemnets2010-indoorloc.pdf (382.64 KB)
"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.
"Use of the Multigraph Architecture for the Development of Monitoring and Control in the High Dependency Environment",
IMIA-IFMBE Working Conference on Biosignal Interpretation, Denmark, pp. 185--188, August, 1993.
"Uniform Execution Environment for Dynamic Reconfiguration",
Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems, Nashville, TN, pp. 181--187, March, 1999.
Download: Bapty_T_3_0_1999_Uniform_Ex.PDF (57.12 KB)
"Two-level Weaving to Support Changeability in Model-Based Synthesis",
Aspect-Oriented Programming, 2003.
"TWO-LEVEL ASPECT WEAVING TO SUPPORT EVOLUTION IN MODEL-DRIVEN SOFTWARE",
Aspect-Oriented Software Development (Book): Addison Wesley, pp. 681--705, August, 2004.
Download: Gray_J_8_0_2004_TWO_LEVEL_.pdf (358.75 KB)
"A Transformation Instance-Based Approach to Traceability",
6th ECMFA Traceability Workshop (ECMFA-TW), Paris, France, ACM Digital Library, pp. 55-60, 2010.
Abstract
"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)
"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)
"Towards Specification of Program Synthesis in Model-Integrated Computing",
ECBS-98, Jerusalem, Israel, pp. 226--233, 1998.
Download: Karsai_G_0_0_1998_Towards_Sp.pdf (359.33 KB)
"Towards Precise Indoor RF Localization",
HOTEMNETS'08, Charlottesville, VA, 06/02, 2008.
Download: hotemnets08-indoorloc.pdf (717.53 KB); hotemnets08-indoorloc.ppt (2.33 MB)
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models,
, no. ISIS-11-106, Nashville, TN, ISIS, Vanderbilt University, 04/2011.
Abstract
Download: incr_cycle_analysis.pdf (1.08 MB)
"Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models",
Software Composition (SC 2011), vol. LNCS 6708, Zurich, Springer, pp. 133-140, 2011.
"Towards Generation of High-performance Transformations",
Generative Programming and Component Engineering, Vancouver, Canada, October, 2004.
Download: Vizhanyo_A_10_24_2004_Towards_Ge.pdf (366.47 KB)
"Towards Fault-Adaptive Control of Complex Dynamic Systems",
Software-Enabled Control: IEEE Press, 2003.
"Towards Fault-Adaptive Control of Complex Dynamic Systems",
Software Enabled Control, (Book), 2002.
Download: Karsai_G_0_0_2002_Towards_Fa.pdf (390.07 KB)
"Towards Developing Tools and Technologies for Large Scale Real time Embedded systems",
Master's Thesis: Vanderbilt University, April, 2004.
Download: Shetty_SS_4_1_2004_Towards_De.PDF (2.8 MB)
"Towards an Adaptive Deployment and Configuration Framework for Component-based Distributed Systems",
Proceedings of the 9th Workshop on Adaptive and Reflective Middleware (ARM '10), Bengarulu, India, 2010.
"Towards a Versatile Wireless Platform for Low-power Applications",
International Journal of Digital Information and Wireless Communications, vol. 1, no. 2, 02/2012.
"Towards a time-triggered schedule calculation tool to support model-based embedded software design",
ACM International Conference on Embedded Software (EMSOFT ’09), Grenoble, France, ACM, 10/2009.
Abstract
"Towards A Standard For Model Specification And Storage",
IEEE SMC 2000, Nashville, TN, September, 2000.
"Toward Structural Adaptivity",
IEEE International Symposium on Circuits and systems, Espoo, Finland, 1988.
"Toward self-reconfiguring, fault-adaptive, high-performance distributed real-time systems",
International Journal on Software Tools for Technology Transfer, 2005.
Download: Nordstrom_SG_0_0_2005_Toward_sel.pdf (769.93 KB)
"Toward Effective Multi-Capacity Resource Allocation in Distributed Real-Time and Embedded Systems",
11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), Orlando, Florida, pp. 124 -128, 05/2008.
Abstract
Download: Roy et al - 2008 - ISORC -- Toward Effective Multi-capacity Resource Allocation in DRE Sys.pdf (168.46 KB)
"Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages",
Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05), Jersey City, New Jersey, pp. 35--44, September, 2005.
Download: Chen_K_9_19_2005_Toward_a_S.pdf (363.02 KB)
"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)
"Time of Arrival Data Fusion for Source Localization",
Sensorfusion, Visegrad, Hungary, July, 2005.
Download: Balogh_G_7_14_2005_Time_of_Ar.pdf (516.73 KB)
"Testing and Validation in Artificial Intelligence Programming",
Proceedings of the SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge, MA, pp. 2--10, 1987.
"Technology support for complex problem solving: From SAD environments to AI",
Smart Machines in Education, Menlo Park, CA, AAAI Press, pp. 71-98, 2001.
Download: sad01.pdf (307.53 KB)
"Technical Standard for Future Airborne Capability Environment (FACE) Reference Architecture",
FACE Consortium, 2.0: The Open Group, 2013.
"Teachable agents: Combining insights from learning theory and computer science",
Artificial Intelligence in Education, 1999.
Download: aied99.pdf (446.63 KB)
"Systems Integration of Autonomic Large Scale Systems Using Multiple Domain Specific Modeling Language",
12 IEEE International Conference on ECBS ,Engineering of Autonomic Systems, 0-7695-2306-0/05, Greenbelt, MD , USA, April, 2005.
Download: Shetty_SS_4_6_2005_Systems_In.pdf (542.27 KB)
"System and software architectures of distributed smart cameras",
ACM Transactions on Embedded Computing Systems, vol. 9, no. 4, pp. 1-30, 2010.
"Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques",
Proceedings of the the Software Engineering Research Forum, Boca Raton, FL, 1995.
"Supporting Component-based Failover Units in Middleware for Distributed Real-time and Embedded Systems",
Journal of Software Architectures: Embedded Software Design, Special Issue on Embedded and Real-time: Elsevier, 2010.
"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)
"A Study on Diagnosability of Space Station ECLSS",
Fifth Conference on Artificial Intelligence for Space Applications, Huntsville, AL, 1990.
"Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems",
IFAC Symposium on Medical Instrumentation, 1989.
"Stress Detection for Implicit Human-Robot Cooperation",
World Automation Congress, ISORA-022, Orlando, Florida, USA, June, 2002.
"Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Node",
Networked Digital Technologies, Prague, Czech Republic, Springer LNCS, pp. 281-288, 07/2010.
A State Transfer Framework for Object Oriented Fault-Tolerance,
, Nashville, TN, Vanderbilt University, 06/2009.
Download: TR-StateTransfer.doc (311.5 KB)
"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)
"Software-defined radio for versatile low-power wireless sensor systems",
International Conference on Digital Information Processing and Communications, Ostrawa, Czech Republic, 07/2011.
Abstract
"A Software Platform for Fractionated Spacecraft",
2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012.
Abstract
Download: aerospace12-1473.pdf (4.2 MB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering