Keyphrases
- fault tolerant
- high availability
- fault tolerance
- formal models
- distributed systems
- state machine
- knowledge sharing and reuse
- load balancing
- online services
- online learning
- safety critical
- formal specification
- knowledge base
- formal methods
- fault isolation
- qualitative reasoning
- service providers
- database management systems
- response time
- management system