2296 search results - page 13 / 460 » The Expressive Power of Synchronizations |
106
click to vote
CCS
2004
ACM
15 years 5 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its exp...
105
click to vote
DEDUCTIVE
1994
15 years 26 days ago
1994
Non-deterministic operators are needed in First-Order relational languages and Datalog to extend the expressive power of such languages and support efficient formulations of lowco...
BIRTHDAY
1997
Springer
15 years 3 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
ESORICS
1994
Springer
15 years 3 months ago
1994
Springer
The Transformation Model TRM was recently introduced 10 in the literature by Sandhu and Ganta. TRM is based on the concept of transformation of rights. The propagation of access ri...