Sciweavers

403 search results - page 58 / 81
» An algebra for commitment protocols
Sort
View
DEXAW
1996
IEEE
100views Database» more  DEXAW 1996»
15 years 5 months ago
An Incremental Update Propagation Scheme for a Cooperative Transaction Model
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...
Am-suk Oh, Jin-oh Choi, Bonghee Hong
NAR
2008
71views more  NAR 2008»
15 years 1 months ago
EuroPhenome and EMPReSS: online mouse phenotyping resource
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...
Ann-Marie Mallon, Andrew Blake, John M. Hancock
SAC
2008
ACM
15 years 27 days ago
Dynamic support to transactional remote invocations over multiple transports
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...
Francisco Reverbel, Ivan Silva Neto
GPCE
2008
Springer
15 years 2 months ago
Polymorphic embedding of dsls
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 ...
Christian Hofer, Klaus Ostermann, Tillmann Rendel,...
CTRSA
2009
Springer
95views Cryptology» more  CTRSA 2009»
15 years 8 months ago
Statistically Hiding Sets
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...
Manoj Prabhakaran, Rui Xue