@inproceedings{169d832f39ff47e7b53bf97681031608,
title = "Monitors for history-based policies",
abstract = "We investigate the issue of conflict detection and resolution for policies formulated as sets of event-condition-action rules. We focus on the temporal dimension of policies. In particular, we consider sequence events in rules, conflict resolution through cancellation or delay, and temporal action constraints. We formally define monitors – procedures for resolving conflicts. We present algorithms for the computation of optimal monitors.",
author = "Jan Chomicki and Jorge Lobo",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; International Workshop on Policies for Distributed Systems and Networks, POLICY 2001 ; Conference date: 29-01-2001 Through 31-01-2001",
year = "2001",
doi = "10.1007/3-540-44569-2\_4",
language = "English",
isbn = "3540416102",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "57--72",
editor = "Morris Sloman and Lupu, \{Emil C.\} and Jorge Lobo",
booktitle = "Policies for Distributed Systems and Networks - International Workshop, POLICY 2001, Proceedings",
address = "Germany",
}