Centralized vs Decentralized Monitors for Hyperproperties.
Luca AcetoAntonis AchilleosElli AnastasiadiAdrian FrancalanzaDaniele GorlaJana WagemakerPublished in: CoRR (2024)
Keyphrases
- peer to peer
- peer to peer systems
- fully distributed
- distributed environment
- distributed systems
- load balancing
- cooperative
- multi agent
- peer to peer networks
- special case
- preprocessing
- distributed information retrieval
- neural network
- database
- information flow control
- distributed agents
- security administration
- computational complexity
- image sequences
- database systems
- three dimensional
- image processing
- information systems
- artificial intelligence
- data sets