Centralized vs Decentralized Monitors for Hyperproperties.
Luca AcetoAntonis AchilleosElli AnastasiadiAdrian FrancalanzaDaniele GorlaJana WagemakerPublished in: CONCUR (2024)
Keyphrases
- peer to peer
- peer to peer systems
- fully distributed
- cooperative
- distributed environment
- distributed systems
- peer to peer networks
- load balancing
- structured peer to peer
- multi agent
- search engine
- overlay network
- learning algorithm
- information retrieval
- distributed information retrieval
- data mining
- decentralized decision making
- data sets