2067 search results - page 112 / 414 » Logics of propositional control |
SOCO
2008
Springer
15 years 1 months ago
2008
Springer
Flexibility can significantly impact performance. Some component-based frameworks come with a near to zero overhead but provide only build-time configurability. Other solutions pro...
122
click to vote
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
INFORMATICALT
2006
15 years 1 months ago
2006
Most of the Takagi
DEON
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...
110
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...