4356 search results - page 277 / 872 » Communicating Transactions - (Extended Abstract) |
197
click to vote
ESORICS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This article presents an efficient public-key protocol for mutual authentication and key exchange designed for third generation mobile communications systems. The paper a...
172
click to vote
FOCS
1997
IEEE
15 years 11 months ago
1997
IEEE
d abstract) Eyal Kushilevitz Rafail Ostrovskyy Technion Bellcore We establish the following, quite unexpected, result: replication of data for the computational Private Informatio...
204
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
150
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
175
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Modern multiprocessor architectures such as CC-NUMA machines or CMPs have nonuniform communication architectures that render programs sensitive to memory access locality....