Sciweavers

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