3801 search results - page 281 / 761 » An Approach to Modeling Software Safety |
154
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
173
click to vote
JODS
2006
15 years 6 months ago
2006
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...
168
click to vote
PRDC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Fault injection (FI) has been shown to be an effective approach to assessing the dependability of software systems. To determine the impact of faults injected during FI, a given...
157
click to vote
VAMOS
2007
Springer
16 years 21 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
158
Voted
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Architecture description languages (ADL) have been established to aid the design of application-specific instruction-set processors (ASIP). Their main contribution is the automati...