The specification and compilation of obligation policies for program monitoring.

Cheng Xu Philip W. L. Fong

Published in: AsiaCCS (2012)

Keyphrases

monitoring system
real time
code generation
control program
computer programs
genetic algorithm
high level
optimal policy
multi agent systems
formal specification
programs written
social norms
specification language
programming environment
operating system
knowledge base
neural network