• Medientyp: E-Book
  • Titel: Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
  • Beteiligte: Kordon, Fabrice [Sonstige Person, Familie und Körperschaft]; Sztipanovits, Janos [Sonstige Person, Familie und Körperschaft]
  • Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 2007
  • Erschienen in: Lecture notes in computer science ; 4322
    Bücher
  • Umfang: Online-Ressource (XIV, 317 p. Also available online, digital)
  • Sprache: Englisch
  • DOI: 10.1007/978-3-540-71156-8
  • ISBN: 9783540711568
  • Identifikator:
  • RVK-Notation: SS 4800 : Lecture notes in computer science
  • Schlagwörter: Verteiltes System > Risiko > Softwareentwicklung > Fehlertoleranz > Zuverlässigkeit > Verfügbarkeit
    Funknetz > Eingebettetes System > Softwareentwicklung > Fehlertoleranz > Zuverlässigkeit > Verfügbarkeit
  • Entstehung:
  • Anmerkungen:
  • Beschreibung: 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.