2702 search results - page 274 / 541 » Message from the Editor |
151
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
227
Voted
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
135
click to vote
HUC
2004
Springer
15 years 10 months ago
2004
Springer
WatchMe is a personal communicator with context awareness in a wristwatch form; it is meant to keep intimate friends and family always connected via awareness cues and text, voice ...
166
click to vote
WS
2003
ACM
15 years 9 months ago
2003
ACM
The vision of nomadic computing with its ubiquitous access has stimulated much interest in the Mobile Ad Hoc Networking (MANET) technology. However, its proliferation strongly dep...
143
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...