Monitors for History-Based Policies | Zendy

Jan Chomicki | Zendy; Jorge Lobo | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Monitors for History-Based Policies

Author(s) -

Jan Chomicki,

Jorge Lobo

Publication year - 2001

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-41610-2

DOI - 10.1007/3-540-44569-2_4

Subject(s) - computer science , computation , conflict resolution , focus (optics) , dimension (graph theory) , action (physics) , sequence (biology) , event (particle physics) , resolution (logic) , theoretical computer science , artificial intelligence , algorithm , political science , mathematics , physics , optics , quantum mechanics , biology , pure mathematics , law , genetics

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research