2960 search results - page 431 / 592 » The Culture Based Model: Constructing a Model of Culture |
192
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
162
click to vote
ASIACRYPT
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of securely computing the Greater Than (GT) predicate and its generalization – securely determining membership in a union of intervals. We approach these ...
157
click to vote
CRYPTO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a new and efficient signature scheme that is provably secure in the plain model. The security of our scheme is based on a discrete-logarithm-based assumption p...
162
click to vote
CRYPTO
2004
Springer
15 years 12 months ago
2004
Springer
ded abstract of this paper is to appear in Advances in Cryptology—CRYPTO 2004, Springer-Verlag. We construct a short group signature scheme. Signatures in our scheme are approxi...
157
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...