2468 search results - page 437 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
206
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
Utility computing delivers compute and storage resources to applications as an `on-demand utility', much like electricity, from a distributed collection of computing resource...
136
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
A power grid is a complex system connecting electric power generators to consumers through power transmission and distribution networks across a large geographical area. System mo...
153
click to vote
SIGCOMM
2012
ACM
13 years 5 months ago
2012
ACM
Unlike their cellular counterparts, Wi-Fi networks do not have the luxury of a dedicated control plane that is decoupled from the data plane. Consequently, Wi-Fi struggles to prov...
229
click to vote
ICDCS
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...
125
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
An unstructured peer network application was proposed to address the query forwarding problem of distributed search engines and scalability limitations of centralized search engin...