Login / Signup
Toward Online Verification of Client Behavior in Distributed Applications.
Robert A. Cochran
Michael K. Reiter
Published in:
NDSS (2013)
Keyphrases
</>
online learning
real time
model checking
behavior patterns
neural network
genetic algorithm
social networks
similarity measure
video sequences
autonomous robots
behavior analysis
verification method