284 search results - page 23 / 57 » Explanation-based Scenario Generation for Reactive System Mo... |
134
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
140
click to vote
JNW
2006
15 years 3 months ago
2006
The design of large dependable multiprocessor systems requires quick and precise mechanisms for detecting the faulty nodes. The problem of system-level fault diagnosis is computati...
127
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
115
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
127
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...