420 search results - page 15 / 84 » Efficient Implementation of the Orlandi Protocol |
143
click to vote
HPCA
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we introduce a page-based Lazy Release Consistency protocol called ADSM that constantly and efficiently adapts to the applications' sharing patterns. Adaptation...
186
click to vote
IPPS
1997
IEEE
15 years 9 months ago
1997
IEEE
Software distributed shared memory (DSM) techniques, while effective on applications with coarse-grained sharing, yield poor performance for the fine-grained sharing encountered i...
147
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
166
click to vote
COMSWARE
2006
IEEE
15 years 9 months ago
2006
IEEE
Applications using traditional protocol stacks (e.g TCP/IP) from wired networks do not function efficiently in mobile wireless scenarios. This is primarily due to the layered archi...
161
click to vote
ISCN
2006
IEEE
16 years 1 days ago
2006
IEEE
Suppose two entities that do not trust each other want to exchange some arbitrary data over a public channel. A fair exchange protocol ensures that both parties get what they want ...