A unified framework for the specification and run-time detection of dynamic properties in distributed computations.
Özalp BabaogluEddy FromentinMichel RaynalPublished in: J. Syst. Softw. (1996)
Keyphrases
- detection accuracy
- object detection
- detection algorithm
- distributed environment
- distributed systems
- lightweight
- high level declarative
- false alarms
- desirable properties
- structural properties
- false positives
- detection method
- cooperative
- detection rate
- automatic detection
- fault tolerant
- distributed computing
- computer vision
- data sets
- scalable distributed
- reactive systems
- distributed network
- communication overhead
- formal specification
- neural network
- learning algorithm
- dynamic environments
- website
- computer networks
- high level
- event detection
- peer to peer