3281 search results - page 327 / 657 » An Approach to use Executable Models for Testing |
140
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
Analyses of fMRI brain data are often based on statistical tests applied to each voxel or use summary statistics within a region of interest (such as mean or peak activation). Thes...
147
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
165
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
156
click to vote
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
112
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Group Support Systems (GSS) can improve the productivity of Group Work by offering a variety of tools to assist a virtual group across geographical distances. Experience shows tha...