InfoSpect: using a logic language for system health monitoring in distributed systems.
Timothy RoscoeRichard MortierPaul W. JardetzkySteven HandPublished in: ACM SIGOPS European Workshop (2002)
Keyphrases
- distributed systems
- health monitoring
- monitoring system
- sensor data
- fault tolerant
- fault tolerance
- load balancing
- distributed environment
- distributed computing
- power supply
- geographically distributed
- daily life
- body sensor networks
- real time systems
- smart home
- distributed database systems
- continuous monitoring
- smart environments
- data availability
- wearable sensors
- concurrent systems
- deadlock detection
- mobile agents
- manufacturing systems
- data sets