Efficient run-time assurance in distributed systems through selection of executable assertions.
Martina SchollmeyerBruce M. McMillinPublished in: J. Syst. Softw. (2000)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- message passing
- distributed environment
- geographically distributed
- mobile agents
- real time systems
- fault tolerance
- distributed database systems
- distributed computing
- security policies
- loosely coupled
- knowledge base
- concurrent systems
- operating system
- database systems
- databases
- deadlock detection