2585 search results - page 450 / 517 » computer 1999 |
ESOP
1999
Springer
14 years 2 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
RIDE
1999
IEEE
14 years 2 months ago
1999
IEEE
The Internet and the proliferation of inexpensive computing power in the form of clusters of workstations or PCs provide the basic hardware infrastructure for business to business...
EUROCRYPT
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. We present the first efficient statistical zero-knowledge protocols to prove statements such as: – A committed number is a prime. – A committed (or revealed) number ...
EUROCRYPT
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. We consider the problem of sending messages into the future." Previous constructions for this task were either based on heuristic assumptions or did not provide anon...
EUROCRYPT
1999
Springer
14 years 2 months ago
1999
Springer
Distributed key generation is a main component of threshold cryptosystems and distributed cryptographic computing in general. Solutions to the distributed generation of private key...