Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm.
Jan van KatwijkRuud C. M. de RooijSylvia StuurmanHans ToetenelPublished in: Scalable Comput. Pract. Exp. (1999)
Keyphrases
- distributed systems
- software development
- real time
- real time systems
- concurrent systems
- software architecture
- fault tolerant
- load balancing
- fault tolerance
- distributed environment
- software development environments
- message passing
- data replication
- geographically distributed
- mobile agents
- software engineering
- operating system
- security policies
- distributed database systems
- distributed computing
- high assurance
- database
- open source
- concurrency control
- mobile computing
- loosely coupled
- mobile devices
- multiagent systems
- petri net
- case study
- deadlock detection