1546 search results - page 237 / 310 » Context-Aware Computing with Sound |
117
Voted
EDCC
2005
Springer
15 years 10 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...
127
Voted
SPIN
2005
Springer
15 years 10 months 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...
179
click to vote
TGC
2005
Springer
15 years 10 months 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...
140
click to vote
MM
2004
ACM
15 years 10 months 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 ...
125
click to vote
CCS
2004
ACM
15 years 10 months 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...