Sciweavers

687 search results - page 48 / 138
» A Self-Policing Policy Language
Sort
View
FUIN
2008
93views more  FUIN 2008»
13 years 7 months ago
Logic-based Conflict Detection for Distributed Policies
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
Carlo Montangero, Stephan Reiff-Marganiec, Laura S...
ACL
2010
13 years 5 months ago
Beetle II: A System for Tutoring and Computational Linguistics Experimentation
We present BEETLE II, a tutorial dialogue system designed to accept unrestricted language input and support experimentation with different tutorial planning and dialogue strategie...
Myroslava Dzikovska, Johanna D. Moore, Natalie B. ...
CAV
2010
Springer
181views Hardware» more  CAV 2010»
13 years 11 months ago
Policy Monitoring in First-Order Temporal Logic
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...
David A. Basin, Felix Klaedtke, Samuel Müller
DBSEC
2007
121views Database» more  DBSEC 2007»
13 years 9 months ago
XACML Policies for Exclusive Resource Usage
The extensible access control markup language (XACML) is the standard access control policy specification language of the World Wide Web. XACML does not provide exclusive accesse...
Vijayant Dhankhar, Saket Kaushik, Duminda Wijeseke...
AOSD
2003
ACM
14 years 1 months ago
Pointcuts and advice in higher-order languages
Aspect-oriented software design will need to support languages with first-class and higher-order procedures, such as Python, Perl, ML and Scheme. These language features present ...
David B. Tucker, Shriram Krishnamurthi