Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors.

Wolfgang Ahrendt Ludovic Henrio Wytse Oortwijn

Published in: VORTEX@ECOOP/ISSTA (2018)

Keyphrases

method invocation
d objects
cooperative
distributed systems
lightweight
multi agent
distributed environment
mobile objects
peer to peer
data model
wireless sensor networks
mobile robot
database
learning algorithm
attribute values
fault tolerant
java card
neural network