6704 search results - page 386 / 1341 » Testing Scenario-Based Models |
144
click to vote
DFT
2000
IEEE
15 years 11 months ago
2000
IEEE
Many fault-tolerant architectures are based on the single-fault assumption, hence accumulation of dormant faults represents a potential reliability hazard. Based on the example of...
203
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
200
click to vote
PROPOR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
191
Voted
FLAIRS
2006
15 years 8 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
196
Voted
JSS
2006
15 years 6 months ago
2006
In this paper we investigate factors of the testability of object-oriented software systems. The starting point is given by a study of the literature to obtain both an initial mod...