1490 search results - page 177 / 298 » The Logic of Authentication Protocols |
96
Voted
PDP
1997
IEEE
15 years 4 months ago
1997
IEEE
Event tracing and monitoring of parallel applications are difficult if each processor has its own unsynchronized clock. A survey is given on several strategies to generate a glob...
90
Voted
ENTCS
2007
15 years 16 days ago
2007
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
121
Voted
ICDCS
2011
IEEE
14 years 6 days ago
2011
IEEE
—Interoperability remains a challenging and growing problem within distributed systems. A range of heterogeneous network and middleware protocols which cannot interact with one a...
112
click to vote
SPAA
1998
ACM
15 years 4 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
79
Voted
STORAGESS
2006
ACM
15 years 6 months ago
2006
ACM
Distributed computation systems have become an important tool for scientific simulation, and a similarly distributed replica management system may be employed to increase the loc...