1690 search results - page 313 / 338 » Algorithmic Properties of Millstream Systems |
130
Voted
TIFS
2010
15 years 1 months ago
2010
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
134
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
118
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—MDS array codes are widely used in storage systems to protect data against erasures. We address the rebuilding ratio problem, namely, in the case of erasures, what is the the fr...
151
Voted
IJNSEC
2011
14 years 10 months ago
2011
In this paper, cyclic elliptic curves of the form y2 + xy = x3 + ax2 + b, a, b ∈ GF(2m ) with order M is considered in the design of a Symmetric Key Image Encryption Scheme with...
127
Voted
TKDE
2011
14 years 10 months ago
2011
— Collaborative filtering (CF) systems exploit previous ratings and similarity in user behavior to recommend the top-k objects/records which are potentially most interesting to t...