3108 search results - page 317 / 622 » The Elements of Computer Credibility |
157
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
A rational Arnoldi method for passivity-preserving model-order reduction (MOR) with implicit multi-point moment matching for systems with frequency-dependent interconnects is desc...
172
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
During hysteroscopy a hydrometra is maintained, i.e. the uterus is distended with liquid media to access and visualize the uterine cavity. The pressure and flow induced by the liqu...
159
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
In this paper, we propose a novel ID-based secure distance bounding protocol. Unlike traditional secure distance measurement protocols, our protocol is based on standard insecure d...
175
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
This paper proposes a chosen-ciphertext secure variant of the ElGamal public-key encryption scheme which generates very compact ciphertexts for messages of arbitrary length. The ci...
171
click to vote
STOC
2002
ACM
16 years 7 months ago
2002
ACM
The collision problem is to decide whether a function X : {1, . . . , n} {1, . . . , n} is one-to-one or two-to-one, given that one of these is the case. We show a lower bound of...