Global Predicate Detection in Distributed Systems with Small Faults.
Felix C. FreilingArshad JhumkaPublished in: SSS (2007)
Keyphrases
- distributed systems
- distributed environment
- geographically distributed
- fault tolerance
- load balancing
- fault tolerant
- message passing
- mobile agents
- fault diagnosis
- deadlock detection
- distributed computing
- concurrent systems
- agent based systems
- anomaly detection
- error detection
- first order logic
- real time systems
- loosely coupled
- fault detection
- security policies
- distributed database systems
- agent technology
- data management
- database systems
- data replication
- operating system
- data warehousing
- case study