1546 search results - page 237 / 310 » Context-Aware Computing with Sound |
177
click to vote
EDCC
2005
Springer
16 years 1 months 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...
179
Voted
SPIN
2005
Springer
16 years 29 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...
240
Voted
TGC
2005
Springer
16 years 29 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...
194
click to vote
MM
2004
ACM
16 years 28 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 ...
187
click to vote
CCS
2004
ACM
16 years 27 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...