1288 search results - page 169 / 258 » On Analysis of Design Component Contracts: A Case Study |
110
Voted
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
Studies have shown that device drivers and extensions contain 3–7 times more bugs than other operating system code and thus are more likely to fail. Therefore, we present a fail...
122
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
114
Voted
IFIP3
2003
15 years 3 months ago
2003
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...
109
click to vote
INEX
2004
Springer
15 years 7 months ago
2004
Springer
An interactive track was included in INEX for the first time in 2004. The main aim of the track was to study the behaviour of searchers when interacting with components of XML doc...
126
Voted
DAI
1995
Springer
15 years 5 months ago
1995
Springer
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...