Cargando…
Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Edición: | 1st ed. 2007. |
| Colección: | Programming and Software Engineering,
4322 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.