Search Sciweavers | Sciweavers

3667 search results - page 62 / 734

» Software Rejuvenation - Modeling and Analysis

click to vote

SAFECOMP
2009
Springer

141views Security Privacy» more SAFECOMP 2009»

A Foundation for Requirements Analysis of Dependable Software

14 years 5 days ago

Download swe.uni-duisburg-essen.de

We present patterns for expressing dependability requirements, such as conﬁdentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...

Denis Hatebur, Maritta Heisel

claim paper

Read More »

click to vote

HICSS
2000
IEEE

100views Biometrics» more HICSS 2000»

Software Process Improvement as Organizational Knowledge Creation: A Multiple Case Analysis

14 years 1 days ago

Download eref.uqu.edu.sa

Jesper Arent, Jacob Nørbjerg

claim paper

Read More »

click to vote

ICCAD
2000
IEEE

69views Hardware» more ICCAD 2000»

Observability Analysis of Embedded Software for Coverage-Directed Validation

14 years 1 days ago

Download www.cecs.uci.edu

José C. Costa, Srinivas Devadas, José...

claim paper

Read More »

click to vote

SIGADA
1998
Springer

109views Programming Languages» more SIGADA 1998»

Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis

13 years 12 months ago

Download www.sigada.org

Mike Mills, Greg Peterson

claim paper

Read More »

click to vote

DAC
1997
ACM

126views Computer Architecture» more DAC 1997»

Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers