Sciweavers

16541 search results - page 216 / 3309
» Ontologies and Software Engineering
Sort
View
122
Voted
AC
1998
Springer
15 years 10 months ago
Emerging Standards for Public-Key Cryptography
Burton S. Kaliski Jr.
ADAEUROPE
1998
Springer
15 years 10 months ago
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Alan Burns, Brian Dobbing, G. Romanski
140
Voted
ADAEUROPE
1998
Springer
15 years 10 months ago
Porting the GNAT Tasking Runtime System to the Java Virtual Machine
Laurent Millet, Ted Baker
AMAST
1998
Springer
15 years 10 months ago
Observational Logic
Rolf Hennicker, Michel Bidoit