1628 search results - page 229 / 326 » Compiler Construction Using Scheme |
119
click to vote
PKC
2009
Springer
16 years 2 months ago
2009
Springer
TCHo is a public key encryption scheme based on a stream cipher component, which is particular suitable for low cost devices like RFIDs. In its basic version, TCHo offers no IND-CC...
137
click to vote
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
119
click to vote
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses the problem of fault resilience of overlay-based live media streaming from two aspects: (1) how to construct a stable multicast tree that minimizes the negati...
129
click to vote
PODC
2003
ACM
15 years 7 months ago
2003
ACM
We propose a new cryptographic primitive called oblivious signaturebased envelope (OSBE). Informally, an OSBE scheme enables a sender to send an envelope (encrypted message) to a ...
119
click to vote
CLOR
2006
15 years 6 months ago
2006
The chapter describes visual classification by a hierarchy of semantic fragments. In fragment-based classification, objects within a class are represented by common sub-structures ...