Policy specifications with Timed Spider Diagrams.

Paolo Bottoni Andrew Fish

Published in: VL/HCC (2011)

Keyphrases

petri net
finite state machines
optimal policy
web mining
delay insensitive
high level
policy makers
discrete event
written in natural language
formal specification
class diagram
data sets
control flow
access control policies
uml diagrams
asynchronous circuits
action selection
neural network