1134 search results - page 89 / 227 » Distributed Proving in Access-Control Systems |
125
Voted
CMS
2003
15 years 4 months ago
2003
Abstract. Some security problems can be often solved through authorization rather than authentication. Furthermore, certificate-based authorization approach can alleviate usual dr...
134
click to vote
ENTCS
2011
14 years 6 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
113
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
We derive lower bounds on the convergence speed of a widely used class of distributed averaging algorithms. In particular, we prove that any distributed averaging algorithm whose ...
105
Voted
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
In many network applications the computation takes place on the minimum-cost spanning tree (MST) of the network; unfortunately, a single link or node failure disconnects the tree. ...
125
click to vote
DEXA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The development of scalable parallel database systems requires the design of efficient algorithms for the join operation which is the most frequent and expensive operatio...