Sciweavers

15777 search results - page 156 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
89
Voted
AC
1998
Springer
15 years 6 months ago
Practice-Oriented Provable Security
Mihir Bellare
92
Voted
AC
1998
Springer
15 years 6 months ago
Commitment Schemes and Zero-Knowledge Protocols
Ivan Damgård
84
Voted
AC
1998
Springer
15 years 6 months ago
Emerging Standards for Public-Key Cryptography
Burton S. Kaliski Jr.
ADAEUROPE
1998
Springer
15 years 6 months ago
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Alan Burns, Brian Dobbing, G. Romanski
97
Voted
ADAEUROPE
1998
Springer
15 years 6 months ago
Porting the GNAT Tasking Runtime System to the Java Virtual Machine
Laurent Millet, Ted Baker