2947 search results - page 333 / 590 » The timely token protocol |
140
click to vote
SC
2004
ACM
16 years 2 days ago
2004
ACM
We describe the design and implementation of a clustering service for a high-performance, shared-disk file system. The service provides failure detection and recovery, reliable e...
139
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
130
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
Most people consider frequent software updates a nuisance. However, we show how this common phenomenon can be turned into a feature that protects against software piracy. We defin...
155
click to vote
ASIACRYPT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A prohibitive barrier faced by elliptic curve users is the difficulty of computing the curves’ cardinalities. Despite recent theoretical breakthroughs, point counting ...
199
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...