6704 search results - page 210 / 1341 » Testing Scenario-Based Models |
153
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Residual defects is one of the most important factors that allow one to decide if a piece of software is ready to be released. In theory, one can find all the defects and count th...
178
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
151
click to vote
TSD
2004
Springer
15 years 12 months ago
2004
Springer
This paper is about the automated production of dialogue models. The goal is to propose and validate a methodology that allows the production of finalized dialogue models (i.e. di...
198
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: The cost efficient two-stage design is often used in genome-wide association studies (GWASs) in searching for genetic loci underlying the susceptibility for complex di...
209
click to vote
ER
2007
Springer
16 years 22 days ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...