Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / edited by Fabrice Kordon, Janos Sztipanovits.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 4322Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Descripción: XIV, 320 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783540711568Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Computer Communication Networks | Computer system performance | Software engineering | Logic design | Computer Science | Software Engineering | Programming Techniques | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Computer Communication Networks | System Performance and EvaluationFormatos físicos adicionales: Sin títuloClasificación CDD: 005.1 Clasificación LoC:QA76.758Recursos en línea: de clik aquí para ver el libro electrónico 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 SoCsThe 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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.