76665 search results - page 47 / 15333 » A proposed |
165
click to vote
ANSS
2001
IEEE
15 years 9 months ago
2001
IEEE
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...
162
click to vote
EUROCRYPT
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. ISO 9796-1, published in 1991, was the first standard specifying a digital signature scheme with message recovery. In [4], Coron, Naccache and Stern described an attack o...
152
click to vote
CTCS
1995
Springer
15 years 9 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...