Decentralized Stream Runtime Verification.
Luis Miguel DanielssonCésar SánchezPublished in: RV (2019)
Keyphrases
- multi agent
- cooperative
- data streams
- model checking
- peer to peer
- distributed systems
- sliding window
- concurrent systems
- real world
- distributed agents
- real time
- hidden markov models
- e learning
- artificial intelligence
- resource allocation
- information retrieval
- streaming data
- formal verification
- multi stream
- high security
- verification method
- database