295 search results - page 7 / 59 » On the equivalence of distributed systems with queries and c... |
102
click to vote
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
Database queries, in particular, event-driven continuous queries, are useful for many pervasive computing applications, such as video surveillance. In order to enable these applic...
115
click to vote
PRDC
2008
IEEE
15 years 6 months ago
2008
IEEE
We consider efficient real-time communication mechanisms for applications in unreliable and partitionable networks, where network partitions can occur unpredictably and nodes can ...
TOPLAS
2010
14 years 10 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
186
Voted
POPL
2001
ACM
15 years 12 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
SIGCOMM
2009
ACM
15 years 6 months ago
2009
ACM
To search the web quickly, search engines partition the web index over many machines, and consult every partition when answering a query. To increase throughput, replicas are adde...