An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection.
K. Mani ChandyJayadev MisraPublished in: ACM Trans. Program. Lang. Syst. (1986)
Keyphrases
- distributed systems
- automatic detection
- distributed environment
- computer networks
- detection rate
- object detection
- false alarms
- false positives
- detection method
- fault tolerant
- face detection
- peer to peer
- multi agent
- automatic programming
- answer sets
- communication cost
- computer programs
- mobile agents
- database
- anomaly detection
- data management
- object recognition
- data sets