475 search results - page 1 / 95 » Reasoning About the Transfer of Control |
JAIR
2010
13 years 3 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer
ATAL
2011
Springer
12 years 4 months ago
2011
Springer
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
CADE
2006
Springer
14 years 4 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...