Using schedulers to test probabilistic distributed systems.
Robert M. HieronsManuel NúñezPublished in: Formal Aspects Comput. (2012)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- geographically distributed
- message passing
- operating system
- data replication
- distributed computing
- distributed database systems
- mobile agents
- scheduling algorithm
- concurrent systems
- bayesian networks
- mobile computing
- security policies
- loosely coupled
- real time systems
- agent based systems
- deadlock detection
- high assurance
- distributed databases
- dynamic environments
- response time
- multi agent systems