Sciweavers

3667 search results - page 62 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
SAFECOMP
2009
Springer
15 years 8 months ago
A Foundation for Requirements Analysis of Dependable Software
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
Denis Hatebur, Maritta Heisel
92
Voted
ICCAD
2000
IEEE
69views Hardware» more  ICCAD 2000»
15 years 7 months ago
Observability Analysis of Embedded Software for Coverage-Directed Validation
José C. Costa, Srinivas Devadas, José...
116
Voted
DAC
1997
ACM
15 years 7 months ago
Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis
Claudio Passerone, Luciano Lavagno, Massimiliano C...