2472 search results - page 338 / 495 » Parallel Key Exchange |
159
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
187
click to vote
ICDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
—The increasing deployment of wireless access technology, along with the emergence of high speed integrated service networks, such as ATM, promises to provide mobile users with u...
169
click to vote
PODC
1997
ACM
15 years 10 months ago
1997
ACM
Replicated services accessed via quorums enable each access to be performed at only a subset (quorum) of the servers and achieve consistency across accesses by requiring any two qu...
158
click to vote
PODC
1997
ACM
15 years 10 months ago
1997
ACM
Conditions on a shared object type T are given that are both necessary and sufficient for wait-free n-process consensus to be solvable using objects of type T and registers. The co...
188
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
Fast networks have made it possible to coordinate distributed heterogeneous CPU, memory, and storage resources to provide a powerful platform for executing high-performance applic...