2468 search results - page 156 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
153
click to vote
FORTE
2003
15 years 5 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
142
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
We describe a recommender system in the domain of grocery shopping. While recommender systems have been widely studied, this is mostly in relation to leisure products (e.g. movies...
130
click to vote
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
127
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper addresses the problem of detecting and segmenting partially occluded objects of a known category. We first define a part labelling which densely covers the object. Our ...
130
Voted
SIROCCO
2008
15 years 5 months ago
2008
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...