] Filters: Taxonomy Term is [Clear All Filters]
"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)
"A Solution-Clusters Based Approach To Solve Hard Constraint Satisfaction Problems",
Master's Thesis: Vanderbilt University, May, 2008.
Download: Neema_H_5_0_2008_A_Solution.pdf (495.62 KB)
"Online Information Security Education through Anchored Instruction",
Proceedings of the 12th Annual Colloquium for Information Systems Security Education, Dallas, TX, USA, June, 2008.
"Affordances and Form: Applying Lessons from Informal Learning to Formal Learning on the Web",
Proceedings of the International Conference on Engineering Education, Pecs-Budapest, Hungary, July, 2008.
"Integration of an Intelligent Tutoring System with a Web-based Authoring System to Develop Online Homework Assignments with Formative Feedback",
Proceedings of the American Society for Engineering Education Annual Conference, Pittsburgh, PA, USA, July, 2008.
An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems,
: Institute for Software Integrated Systems, January, 2008.
Download: Daigle_MJ_1_10_2008_An_Integra.pdf (660.84 KB)
"Towards A Model-Based Autonomic Reliability Framework for Computing Clusters",
Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.
Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 KB)
"CQML: A QoS Modeling and Modularization Framework for Component-based Systems",
Proceedings of EDOC workshop Advances in Quality of Service Management, (AQuSerM 2008): IEEE, 09/2008.
Download: AQuSerM-2008.pdf (313.72 KB)
"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
"Efficient Simulation of Hybrid Systems: An Application to Electrical Power Distribution Systems",
22nd European Conference on Modeling and Simulation, Cyprus, 06/2008.
"Efficient Simulation of Hybrid Systems: An Application to Electrical Power Distribution Systems",
European Conference on Modeling and Simulation, Nicosia, Cyprus, 06/2008.
Download: RoychoudhuryEtAl_ECMS2008_Track_BG_PaperID_117.pdf (664.03 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)
"Specifying the Correctness Properties of Model Transformations",
3rd International Workshop on Graph and Model Transformation (GraMoT), 05/2008.
"Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-time and Embedded Systems",
The Eleventh IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2008), Orlando, FL, 2008.
"Mobile Sensor Localization and Navigation using RF Doppler Shifts",
1st ACM International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT'08), San Francisco, CA, USA, 2008.
Abstract
Download: melt08-amundson.pdf (501.65 KB)
"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)
"Target Tracking in Heterogeneous Sensor Networks Using Audio and Video Sensor Fusion",
IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), Seoul, Korea, 2008.
Download: multifusion.pdf (587.45 KB)
"Time Synchronization in Heterogeneous Sensor Networks",
International Conference on Distributed Computing in Sensor Systems (DCOSS'08), Santorini, Greece, 2008.
Abstract
Download: Amundson_I_0_0_2008_Time_Synch.pdf (194.27 KB)
"Towards Verifying Model Transformations",
Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
"Assessment of Diagnostics and Feedback for Online Homework Assignments",
Proceeding of the Annual Biomedical Engineering Society (BMES) Annual Conference, Los Angeles, CA, USA, September, 2007.
Ensuring Deployment Predictability of Distributed Real-time and Embedded Systems,
: Institute for Software Integrated Systems, November, 2007.
Download: Deng_G_11_25_2007_Ensuring_D.pdf (962 KB)
Automated Techniques for Mapping Domain-level QoS Requirements to Middleware-specific QoS Configurations,
: Institute for Software Integrated Systems, May, 2007.
Download: Kavimandan_AJ_5_31_2007_Automated_.pdf (252.83 KB)
The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples,
: Institute for Software Integrated Systems, March 2007.
Download: Jackson_EK_3_0_2007_The_Softwa.pdf (979.48 KB)
A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems,
: Institute for Software Integrated Systems, June, 2007.
Download: Tambe_SU_6_0_2007__A_Platfor.pdf (887.99 KB)
On Scalability of Proximity-Aware Peer-to-Peer Streaming,
: Institute for Software Integrated Systems, January, 2007.
Download: Dai_L_1_0_2007_On_Scalabi.pdf (375.82 KB)
"Shooter Localization and Weapon Classification with Soldier Wearable Networked Sensors",
Technical Report: Institute for Software Integrated Systems, January, 2007.
Download: Volgyesi_P_1_15_2007_Shooter_Lo.pdf (4.79 MB)
"inTrack: High Precision Tracking of Mobile Sensor Nodes",
European conference on Wireless Sensor Networks, Delft, Netherlands, January, 2007.
Download: Kusy_B_1_29_2006_inTrack__H.pdf (831.13 KB)
"Synthesising Robust Schedules for Minimum Disruption Repair Using Linear Programming",
Acta Cybernetica, January, 2007.
Download: Hanak_D_1_1_2007_Synthesisi.pdf (320.9 KB)
Evaluating Real-time Publish/Subscribe Service Integration Approaches in QoS-enabled Component Middleware,
: Institute for Software Integrated Systems, February, 2007.
Download: Deng_G_2_14_2007_Evaluating.pdf (1.01 MB)
"Model-driven Engineering for Development-time QoS Validation of Component-based Software Systems",
Engineering of Computer Based Systems Conference, 2007.
"A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems",
ISIS Technical Report, no. #ISIS-07-8: Vanderbilt University, 2007.
"Applying a Grouping Operator in Model Transformations",
The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE), Kassel, Germany, 10/2007.
Abstract
Download: applying_group_operator_in_model_trans.pdf (1.08 MB)
"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
"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)
"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)
"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)
"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)
"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)
"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)
"On the Correctness of Model Transformations in the Development of Embedded Systems",
Lecture Notes in Computer Science, vol. 4888: Springer, 2007.
"Radio Interferometric Tracking of Mobile Wireless Nodes",
In Proc. of MobiSys, 2007.
"Design of a Repository for Bioengineering Educational Materials",
Proceedings of the Biomedical Engineering Society (BMES) Annual Conference, Chicago, Illinios, October, 2006.
"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)
FTSP Protocol Verification using SPIN,
: Institute for Software Integrated Systems, May, 2006.
Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
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)
"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)
"Developing applications using model-driven design environments",
IEEE Computer, vol. 39, pp. 33--40, March, 2006.
"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)
"Using Hybrid Automata to Model Four Stroke Engines with Variable Valve Timing in Simulink/Stateflow",
ACMSE 2006, Melbourne, FL, March, 2006.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering