On Distributed Runtime Verification by Aggregate Computing.

Giorgio Audrito Ferruccio Damiani Volker Stolz Mirko Viroli

Published in: VORTEX@ECOOP/ISSTA (2018)

Keyphrases

distributed systems
distributed environment
distributed data
multi agent
cooperative
mobile agents
communication overhead
distributed architecture
distributed learning
machine learning
multiscale
digital libraries
relational databases
data management