WiDS Checker: Combating Bugs in Distributed Systems.
Xuezheng LiuWei LinAimin PanZheng ZhangPublished in: NSDI (2007)
Keyphrases
- distributed systems
- intrusion detection system
- intrusion detection
- fault tolerant
- computer networks
- load balancing
- source code
- geographically distributed
- message passing
- anomaly detection
- fault tolerance
- law enforcement
- distributed environment
- real time systems
- mobile agents
- operating system
- distributed database systems
- distributed computing
- mobile computing
- concurrent systems
- software systems
- loosely coupled
- agent based systems
- databases
- agent technology
- software projects
- information systems
- database
- deadlock detection
- software development environments