Estimating Event Lifetimes for Distributed Runtime Verification.
Christos KloukinasGeorge SpanoudakisKhaled MahbubPublished in: SEKE (2008)
Keyphrases
- event detection
- distributed systems
- event processing
- multi agent
- cooperative
- information systems
- distributed learning
- real time
- distributed network
- peer to peer
- lightweight
- event recognition
- fault tolerant
- rigid body
- computing environments
- distributed architecture
- formal verification
- communication overhead
- loosely coupled
- distributed data
- distributed database systems
- communication cost
- neural network
- data sets
- model checking
- mobile agents
- databases
- search algorithm
- data mining