Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers > Towards a Real-Time Coordination Model for Mobile Computing
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers |
Fabrice Kordon; Janos Sztipanovits
Springer Berlin Heidelberg
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Towards a Real-Time Coordination Model for Mobile Computing
Authors

Gregory Hackmann; Christopher Gill; Gruia-Catalin Roman

ARI Id

1665059955146_4657252

Access

Not Available Free

Pages

184-202

DOI

10.1007/978-3-540-71156-8_10

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-71156-8_10

Table of Contents of Book
Showing 1 to 18 of 18 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Reinventing Computing for Real Time
Edward A. Lee; Yang Zhao
1-25
Applying Service-Oriented Development to Complex Systems: BART Case Study
Ingolf H. Krüger; Michael Meisinger; Massimiliano Menarini
26-46
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study
Victor Winter; Deepak Kapur
47-69
The GridLite DREAM: Bringing the Grid to Your Pocket
Chris A. Mattmann; Nenad Medvidovic
70-87
DARX - A Self-healing Framework for Agents
Olivier Marin; Marin Bertier; Pierre Sens; Zahia Guessoum; Jean-Pierre Briot
88-105
Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN)
Luqi; Valdis Berzins; William H. Roof
106-120
A Factory to Design and Build Tailorable and Verifiable Middleware
Jérôme Hugues; Fabrice Kordon; Laurent Pautet; Thomas Vergnaud
121-142
A Concurrency Abstraction for Reliable Sensor Network Applications
János Sallai; Miklós Maróti; Ákos Lédeczi
143-160
Outdoor Distributed Computing with Split Smart Messages
Nishkam Ravi; Liviu Iftode
161-183
Towards a Real-Time Coordination Model for Mobile Computing
Gregory Hackmann; Christopher Gill; Gruia-Catalin Roman
184-202
Dynamic System Reconfiguration Via Service Composition for Dependable Computing
W. T. Tsai; Weiwei Song; Yinong Chen; Ray Paul
203-224
A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems
Shih-Hsi Liu; Barrett R. Bryant; Mikhail Auguston; Jeff Gray; Rajeev Raje; Mihran Tuceryan
225-247
Providing Dependable Services with Unreliable SoCs—The DECOS Approach
Hermann Kopetz
248-257
Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems
Holger Giese
258-280
Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems
Man-Tak Shing; Doron Drusinsky
281-303
Approaches for Inheritance in the TMO Programming Scheme
K. H. (Kane) Kim; Moon-Cheol Kim; Moon-Hae Kim
304-316
Back Matter
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 18 of 18 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings