Towards Automated Proof Support for Probabilistic Distributed Systems.
Annabelle McIverTjark WeberPublished in: LPAR (2005)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- distributed environment
- fault tolerance
- software development environments
- geographically distributed
- distributed computing
- real time systems
- mobile agents
- distributed database systems
- message passing
- operating system
- agent technology
- security policies
- knowledge management
- concurrent systems
- database
- mobile computing
- deadlock detection
- real time