1134 search results - page 81 / 227 » Distributed Proving in Access-Control Systems |
131
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
124
click to vote
IROS
2008
IEEE
15 years 9 months ago
2008
IEEE
— We describe algorithms to build self-assembling robot systems composed of active modular robots and passive bars. The distributed algorithms are based on locally optimal matchi...
100
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper presents a novel distributed estimation algorithm based on the concept of moving horizon estimation. Under weak observability conditions we prove convergence of the ...
117
click to vote
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
Fault-tolerant protocols, asynchronous and synchronous alike, make stationary fault assumptions: only a fraction f of the total n nodes may fail. Whilst a synchronous protocol is ...
136
Voted
RTAS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...