Stop the war!
Остановите войну!
for scientists:
default search action
12th Monterey Workshop 2005: Laguna Beach, CA, USA
- Fabrice Kordon, Janos Sztipanovits:
Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers. Lecture Notes in Computer Science 4322, Springer 2007, ISBN 978-3-540-71155-1 - Edward A. Lee, Yang Zhao:
Reinventing Computing for Real Time. 1-25 - Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Applying Service-Oriented Development to Complex Systems: BART Case Study. 26-46 - Victor L. Winter, Deepak Kapur:
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study. 47-69 - Chris A. Mattmann, Nenad Medvidovic:
The GridLite DREAM: Bringing the Grid to Your Pocket. 70-87 - Olivier Marin, Marin Bertier, Pierre Sens, Zahia Guessoum, Jean-Pierre Briot:
DARX - A Self-healing Framework for Agents. 88-105 - Luqi, Valdis Berzins, William H. Roof:
Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN). 106-120 - Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud:
A Factory to Design and Build Tailorable and Verifiable Middleware. 121-142 - János Sallai, Miklós Maróti, Ákos Lédeczi:
A Concurrency Abstraction for Reliable Sensor Network Applications. 143-160 - Nishkam Ravi, Liviu Iftode:
Outdoor Distributed Computing with Split Smart Messages. 161-183 - Gregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman:
Towards a Real-Time Coordination Model for Mobile Computing. 184-202 - Wei-Tek Tsai, Weiwei Song, Yinong Chen, Raymond A. Paul:
Dynamic System Reconfiguration Via Service Composition for Dependable Computing. 203-224 - Shih-Hsi Liu, Barrett R. Bryant, Mikhail Auguston, Jeff Gray, Rajeev R. Raje, Mihran Tuceryan:
A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems. 225-247 - Hermann Kopetz:
Providing Dependable Services with Unreliable SoCs - The DECOS Approach. 248-257 - Holger Giese:
Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems. 258-280 - Man-tak Shing, Doron Drusinsky:
Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems. 281-303 - K. H. (Kane) Kim, Moon-Cheol Kim, Moon-hae Kim:
Approaches for Inheritance in the TMO Programming Scheme. 304-316
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.