403 search results - page 50 / 81 » An algebra for commitment protocols |
140
click to vote
ACNS
2007
Springer
15 years 10 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...
153
click to vote
RTDB
1996
15 years 7 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...
156
click to vote
DPD
2002
15 years 5 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...
202
click to vote
ICWS
2009
IEEE
15 years 3 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...
184
click to vote
FROCOS
2000
Springer
15 years 9 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...