Sciweavers

22698 search results - page 360 / 4540
» Modeling in Software Engineering
Sort
View
AC
1998
Springer
15 years 9 months ago
Emerging Standards for Public-Key Cryptography
Burton S. Kaliski Jr.
100
Voted
ADAEUROPE
1998
Springer
15 years 9 months ago
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Alan Burns, Brian Dobbing, G. Romanski
126
Voted
ADAEUROPE
1998
Springer
15 years 9 months ago
Porting the GNAT Tasking Runtime System to the Java Virtual Machine
Laurent Millet, Ted Baker
102
Voted
ADAEUROPE
1998
Springer
15 years 9 months ago
Looking at Code With Your Safety Goggles On
Ken Wong
AMAST
1998
Springer
15 years 9 months ago
Observational Logic
Rolf Hennicker, Michel Bidoit