512 search results - page 84 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
ACMDIS
2004
ACM
14 years 1 months ago
2004
ACM
The Plasma Posters are large screen, digital, interactive posterboards designed for informal content sharing within teams, groups, organizations and communities. Leveraging the fa...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
We address the problem of collecting a database of "common-sense facts" using a computer game. Informally, a common-sense fact is a true statement about the world that i...
DEBU
2010
13 years 5 months ago
2010
Understanding the energy consumption of flash devices is important for two reasons. First, energy is emerging as a key metric for data management systems. It is thus important to ...
GIS
2010
ACM
13 years 7 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...