3009 search results - page 143 / 602 » The Expressive Rate of Constraints |
ACSW
2004
14 years 11 months ago
2004
We present a detailed examination of the access constraints for a small real-world Health Information System with the aim of achieving minimal access rights for each of the involv...
67
Voted
IEE
1998
14 years 9 months ago
1998
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
DLOG
2009
14 years 11 months ago
2009
Abstract. We present a family of expressive extensions of Datalog, called Datalog
SACMAT
2003
ACM
15 years 3 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC�...
81
Voted
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...