2740 search results - page 503 / 548 » Typing the Specialization Interface |
149
click to vote
CRYPTO
2008
Springer
15 years 3 months ago
2008
Springer
In cryptography, there has been tremendous success in building various two-party protocols with small communication complexity out of homomorphic semantically-secure encryption sc...
120
click to vote
ALENEX
2010
15 years 3 months ago
2010
We implement and compare the major current techniques for representing general trees in succinct form. This is important because a general tree of n nodes is usually represented i...
101
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
The parallel universes idea is an attempt to integrate several aspects of learning which share some common aspects. This is an interesting idea: if successful, insights could cross...
124
click to vote
EON
2008
15 years 3 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
100
click to vote
ICISC
2004
15 years 3 months ago
2004
We consider the generation of prime order elliptic curves (ECs) over a prime field Fp using the Complex Multiplication (CM) method. A crucial step of this method is to compute the ...