3228 search results - page 427 / 646 » Computationally Sound Proofs |
219
click to vote
TGC
2005
Springer
16 years 2 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 1 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 ...
157
click to vote
CCS
2004
ACM
16 years 3 hour 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...
177
click to vote
COORDINATION
2004
Springer
16 years 1 hour ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
157
click to vote
GC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...