4184 search results - page 614 / 837 » Names of Our Lives |
244
click to vote
PODC
1993
ACM
15 years 10 months ago
1993
ACM
A counting protocol (mod m) consists of shared memory bits - referred to as the counter - and of a procedure for incrementing the counter value by 1 (mod m). The procedure may be ...
141
click to vote
ZUM
1992
Springer
15 years 10 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
147
click to vote
ACISP
2007
Springer
15 years 10 months ago
2007
Springer
Compact e-cash schemes allow a user to withdraw a wallet containing k coins in a single operation, each of which the user can spend unlinkably. One big open problem for compact e-c...
154
click to vote
APPROX
2007
Springer
15 years 10 months ago
2007
Springer
We prove a lower bound for swapping the order of Arthur and Merlin in two-round MerlinArthur games using black-box techniques. Namely, we show that any AM-game requires time (t2 )...
181
click to vote
C3S2E
2009
ACM
15 years 10 months ago
2009
ACM
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...