Dynamic Scheduling and Fault-Tolerance: Specification and Verification.

Tomasz Janowski Mathai Joseph

Published in: Real Time Syst. (2001)

Keyphrases

fault tolerance
dynamic scheduling
fault tolerant
load balancing
flexible manufacturing systems
distributed systems
distributed computing
response time
process planning
peer to peer
failure recovery
database replication
mobile agents
scheduling policies
database
fault management
complex systems
grid services