Keyphrases
- fault tolerant
- fault tolerance
- state machine
- distributed systems
- logic programming
- load balancing
- markov chain
- cellular automata
- multimedia
- high availability
- modal logic
- artificial intelligence
- logic programs
- interconnection networks
- low cost
- response time
- query processing
- qualitative and quantitative
- multi agent
- safety critical
- high assurance