17449 search results - page 539 / 3490 » Availability |
167
click to vote
SACRYPT
1999
Springer
15 years 11 months ago
1999
Springer
We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the...
150
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Bit-true simulation veri es the nite word length choices in the VLSI implementation of a DSP application. Present-day bit-true simulation tools are time consuming. We elaborate a ...
183
click to vote
AUSAI
1998
Springer
15 years 11 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
165
click to vote
DEXA
1998
Springer
15 years 11 months ago
1998
Springer
For GIS, SGML document servers and other highly specialized application domains, the systems integration problem is essential since the available software often is complex and wou...
142
click to vote
VRML
1998
ACM
15 years 11 months ago
1998
ACM
This paper presents an inside look into the VRwave VRML97 browser, discussing its internal architecture and some of the insights we have gained during its development. VRwave is w...