2468 search results - page 306 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
126
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—We study a new application of threshold-based secret sharing in a distributed online social network (DOSN), where users need a means to back up and recover their private keys in...
183
click to vote
AISS
2010
14 years 11 months ago
2010
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
145
click to vote
IPSN
2005
Springer
15 years 9 months ago
2005
Springer
— In this paper, we propose a quantizer design algorithm that is optimized for source localization in sensor networks. For this application, the goal is to minimize the amount of...
148
Voted
AAAI
2008
15 years 6 months ago
2008
Cooperative problem solving with resource constraints are important in practical multi-agent systems. Resource constraints are necessary to handle practical problems including dis...
130
click to vote
JNCA
2007
15 years 3 months ago
2007
The fusion of Multimedia and Internet technology has introduced an ever-increasing demand for large-scale reliable media services. This exposes the scalability limitations of curr...