Sciweavers

588 search results - page 14 / 118
» Rendezvous without coordinates
Sort
View
SIGCOMM
2009
ACM
14 years 1 months ago
ROAR: increasing the flexibility and performance of distributed search
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...
Costin Raiciu, Felipe Huici, Mark Handley, David S...
SIGSOFT
1994
ACM
13 years 11 months ago
Data Flow Analysis for Verifying Properties of Concurrent Programs
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
Matthew B. Dwyer, Lori A. Clarke
IMC
2003
ACM
14 years 20 days ago
Virtual landmarks for the internet
Internet coordinate schemes have been proposed as a method for estimating minimum round trip time between hosts without direct measurement. In such a scheme, each host is assigned...
Liying Tang, Mark Crovella
CHI
2003
ACM
14 years 7 months ago
Coordinating communication: awareness displays and interruption
In this paper, we describe a laboratory experiment to determine whether peripheral awareness information about a remote collaborator's workload aids in timing interruptive co...
Laura Dabbish, Robert E. Kraut
DALT
2004
Springer
14 years 24 days ago
A Lightweight Coordination Calculus for Agent Systems
The concept of a social norm is used in multi-agent systems to specify behaviours required of agents interacting in a given social context. We describe a method for specifying soci...
David Robertson