403 search results - page 50 / 81 » An algebra for commitment protocols |
ACNS
2007
Springer
15 years 3 months ago
2007
Springer
Based on the notion of accumulators, we propose a new cryptographic scheme called universal accumulators. This scheme enables one to commit to a set of values using a short accumul...
RTDB
1996
15 years 1 months ago
1996
We propose and evaluate an admission control paradigm for RTDBS, in which a transaction is submitted to the system as a pair of processes: a primary task, and a recovery block. Th...
DPD
2002
14 years 11 months ago
2002
This paper discusses the currency management mechanisms used in Deno, a replicated object storage system designed for use in mobile and weakly-connected environments. Deno primari...
117
click to vote
ICWS
2009
IEEE
14 years 9 months ago
2009
IEEE
The WS-BPEL specification focuses on business processes the activities of which are assumed to be interactions with Web services. However, WS-BPEL processes go beyond the orchestr...
123
click to vote
FROCOS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...