Abstract is missing.
- Reinventing Computing for Real TimeEdward A. Lee, Yang Zhao. 1-25 [doi]
- Applying Service-Oriented Development to Complex Systems: BART Case StudyIngolf H. Krüger, Michael Meisinger, Massimiliano Menarini. 26-46 [doi]
- Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case StudyVictor L. Winter, Deepak Kapur. 47-69 [doi]
- The GridLite DREAM: Bringing the Grid to Your PocketChris A. Mattmann, Nenad Medvidovic. 70-87 [doi]
- DARX - A Self-healing Framework for AgentsOlivier Marin, Marin Bertier, Pierre Sens, Zahia Guessoum, Jean-Pierre Briot. 88-105 [doi]
- Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN)Luqi, Valdis Berzins, William H. Roof. 106-120 [doi]
- A Factory to Design and Build Tailorable and Verifiable MiddlewareJérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud. 121-142 [doi]
- A Concurrency Abstraction for Reliable Sensor Network ApplicationsJános Sallai, Miklós Maróti, Ákos Lédeczi. 143-160 [doi]
- Outdoor Distributed Computing with Split Smart MessagesNishkam Ravi, Liviu Iftode. 161-183 [doi]
- Towards a Real-Time Coordination Model for Mobile ComputingGregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman. 184-202 [doi]
- Dynamic System Reconfiguration Via Service Composition for Dependable ComputingWei-Tek Tsai, Weiwei Song, Yinong Chen, Raymond A. Paul. 203-224 [doi]
- A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded SystemsShih-Hsi Liu, Barrett R. Bryant, Mikhail Auguston, Jeffrey G. Gray, Rajeev R. Raje, Mihran Tuceryan. 225-247 [doi]
- Providing Dependable Services with Unreliable SoCs - The DECOS ApproachHermann Kopetz. 248-257 [doi]
- Modeling and Verification of Cooperative Self-adaptive Mechatronic SystemsHolger Giese. 258-280 [doi]
- Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded SystemsMan-tak Shing, Doron Drusinsky. 281-303 [doi]
- Approaches for Inheritance in the TMO Programming SchemeK. H. (Kane) Kim, Moon-Cheol Kim, Moon-hae Kim. 304-316 [doi]