22018 search results - page 4167 / 4404 » or 2004 |
161
click to vote
FC
2004
Springer
16 years 16 hour ago
2004
Springer
This paper presents a secure Generalized Vickrey Auction (GVA) scheme that does not require third-party servers, i.e., the scheme is executed only by an auctioneer and bidders. Com...
197
click to vote
FLOPS
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
180
click to vote
FMCAD
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
163
click to vote
FOSSACS
2004
Springer
16 years 16 hour ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
190
click to vote
FPGA
2004
ACM
16 years 16 hour ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...