18 search results - page 2 / 4 » Mutual state capability-based role assignment model |
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— A motion planner of emergency stop must make an operating humanoid robot to a stationary state under the emergency signal. It plays an important role in prevention of falling o...
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
Separation of duties (SoD) is a key security requirement for many business and information systems. Role Based Access Controls (RBAC) is a relatively new paradigm for protecting i...
104
click to vote
ACSD
2007
IEEE
15 years 2 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
AAAI
2010
15 years 1 months ago
2010
Intentions have been widely studied in AI, both in the context of decision-making within individual agents and in multiagent systems. Work on intentions in multi-agent systems has...