Communication by sampling in time-sensitive distributed systems.
Albert BenvenisteBenoît CaillaudLuca P. CarloniPaul CaspiAlberto L. Sangiovanni-VincentelliStavros TripakisPublished in: EMSOFT (2006)
Keyphrases
- distributed systems
- load balancing
- fault tolerant
- software development environments
- fault tolerance
- operating system
- distributed environment
- message passing
- mobile agents
- distributed computing
- geographically distributed
- real time systems
- resource constrained
- distributed database systems
- replicated data
- data replication
- loosely coupled
- concurrent systems
- deadlock detection
- information exchange
- security policies
- information sharing
- formal specification
- communication protocol
- database
- database systems
- case study