403 search results - page 58 / 81 » An algebra for commitment protocols |
DEXAW
1996
IEEE
15 years 4 months ago
1996
IEEE
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...
NAR
2008
14 years 11 months ago
2008
EuroPhenome (http://www.europhenome.org) and EMPReSS (http://empress.har.mrc.ac.uk/) form an integrated resource to provide access to data and procedures for mouse phenotyping. EM...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
XActor is a distributed transaction manager that affords transactional remote invocations over an open-ended set of transports. Its support to transactional interactions is dynami...
GPCE
2008
Springer
15 years 28 days ago
2008
Springer
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...
CTRSA
2009
Springer
15 years 6 months ago
2009
Springer
Zero-knowledge set is a primitive introduced by Micali, Rabin, and Kilian (FOCS 2003) which enables a prover to commit a set to a verifier, without revealing even the size of the...