1087 search results - page 195 / 218 » Achieving Distributed Control through Model Checking |
SENSYS
2003
ACM
14 years 3 months ago
2003
ACM
We consider dense wireless sensor networks deployed to observe arbitrary random fields. The requirement is to reconstruct an estimate of the random field at a certain collector ...
UIST
2006
ACM
14 years 4 months ago
2006
ACM
This paper presents a novel interactive system for guiding artists to paint using traditional media and tools. The enabling technology is a multi-projector display capable of cont...
ICEIS
2000
IEEE
14 years 2 months ago
2000
IEEE
Alignment of organisational strategy with Information Systems Strategy (ISS) has become critical as adoption of Information Systems (IS) over the last 50 years has escalated. IS c...
RIVF
2007
13 years 11 months ago
2007
— This paper investigates the problem of secret key transmissions for an arbitrary Alice-Bob pair in Quantum Key Distribution (QKD)-based networks. We develop a realistic QKDbase...
SIGMOD
2011
ACM
13 years 26 days ago
2011
ACM
Joins are essential for many data analysis tasks, but are not supported directly by the MapReduce paradigm. While there has been progress on equi-joins, implementation of join alg...