1134 search results - page 153 / 227 » Distributed Proving in Access-Control Systems |
127
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— We propose an inverse agreement control strategy for multiple nonholonomic agents that forces the team members to disperse in the workspace in a distributed manner. Both the ca...
109
click to vote
IAT
2007
IEEE
15 years 9 months ago
2007
IEEE
In this article we study the theoretical aspects of the collision avoidance among the collectives of unmanned aerial vehicles (UAVs) engaged in the free flight operation. The fre...
114
click to vote
DSN
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper provides a technique, based on partially observable Markov decision processes (POMDPs), for building automatic recovery controllers to guide distributed system recovery...
152
click to vote
WOLLIC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
131
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...