E-Book, Englisch, Band 4322, 320 Seiten, eBook
Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms
2007
ISBN: 978-3-540-71156-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
E-Book, Englisch, Band 4322, 320 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-71156-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
