Sciweavers

3793 search results - page 581 / 759
» Expressive Description Logics
Sort
View
RULEML
2007
Springer
16 years 18 days ago
Specifying Process-Aware Access Control Rules in SBVR
Abstract. Access control is an important aspect of regulatory compliance. Therefore, access control specifications must be process-aware in that they can refer to an underlying bu...
Stijn Goedertier, Christophe Mues, Jan Vanthienen
TGC
2007
Springer
16 years 18 days ago
Access Control Based on Code Identity for Open Distributed Systems
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
Andrew Cirillo, James Riely
TRUSTBUS
2007
Springer
16 years 18 days ago
The Meaning of Logs
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin
WSFM
2007
Springer
16 years 18 days ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
ICTAI
2006
IEEE
16 years 15 days ago
Incremental Filtering Algorithms for Precedence and Dependency Constraints
Precedence constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the...
Roman Barták, Ondrej Cepek