Sciweavers

10669 search results - page 81 / 2134
» Software - Implemented Self-healing System
Sort
View
100
Voted
FSTTCS
1999
Springer
15 years 5 months ago
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
Ron van der Meyden, Nikolay V. Shilov
76
Voted
CODES
1998
IEEE
15 years 5 months ago
An analysis-based approach to composition of distributed embedded systems
2.1 Modal processes
Pai H. Chou, Gaetano Borriello
89
Voted
RE
1999
Springer
15 years 5 months ago
Human Errors and System Requirements
Alistair G. Sutcliffe, Julia Rose Galliers, Shaile...
52
Voted
CODES
1997
IEEE
15 years 5 months ago
System level memory optimization for hardware-software co-design
Koen Danckaert, Francky Catthoor, Hugo De Man
79
Voted
ICSM
1997
IEEE
15 years 5 months ago
Causal Analysis of the Requirements Change Process for a Large System
Khaled El Emam, Dirk Höltje, Nazim H. Madhavj...