Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
| Σειρά: | Lecture Notes in Computer Science,
4322 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Reinventing Computing for Real Time
- Applying Service-Oriented Development to Complex Systems: BART Case Study
- Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study
- The GridLite DREAM: Bringing the Grid to Your Pocket
- DARX - A Self-healing Framework for Agents
- Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN)
- A Factory to Design and Build Tailorable and Verifiable Middleware
- A Concurrency Abstraction for Reliable Sensor Network Applications
- Outdoor Distributed Computing with Split Smart Messages
- Towards a Real-Time Coordination Model for Mobile Computing
- Dynamic System Reconfiguration Via Service Composition for Dependable Computing
- A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems
- Providing Dependable Services with Unreliable SoCs—The DECOS Approach
- Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems
- Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems
- Approaches for Inheritance in the TMO Programming Scheme.
