2576 search results - page 124 / 516 » A case study in test management |
176
click to vote
PTS
2003
15 years 7 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
145
Voted
KI
2006
Springer
15 years 6 months ago
2006
Springer
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
209
Voted
SECURWARE
2008
IEEE
16 years 16 days ago
2008
IEEE
—IP networks, composing the Internet, form a central part of the information infrastructure of the modern society. Integrated approaches to the assessment of their dependability ...
143
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
The Use Case Map (UCM) scenario notation has some strong features related to rapid capture and evaluation of requirements models. In this paper, we explain how a UCM model was deve...
172
click to vote
ICCBR
2009
Springer
15 years 3 months ago
2009
Springer
Studying examples of expert case-based adaptation could advance computational modeling but only if the examples can be succinctly represented and reliably interpreted. Supreme Cour...