Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems.
Giovanni CantonePublished in: NATO ASI RTC (1992)
Keyphrases
- distributed systems
- real time systems
- mission critical
- distributed environment
- distributed computing
- concurrent systems
- database
- geographically distributed
- fault tolerance
- data centric
- fault tolerant
- load balancing
- mobile agents
- data analysis
- mobile agent system
- emergent behavior
- high assurance
- distributed database systems
- distributed databases
- complex systems
- software development
- relational databases
- multi agent systems