1546 search results - page 237 / 310 » Context-Aware Computing with Sound |
154
click to vote
EDCC
2005
Springer
16 years 6 days ago
2005
Springer
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolera...
156
click to vote
SPIN
2005
Springer
16 years 4 days ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
222
click to vote
TGC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
170
click to vote
MM
2004
ACM
16 years 2 days ago
2004
ACM
BiReality (a.k.a. Mutually-Immersive Telepresence) uses a teleoperated robotic surrogate to provide an immersive telepresence system for face-to-face interactions. Our goal is to ...
162
click to vote
CCS
2004
ACM
16 years 2 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...