379 search results - page 41 / 76 » The AGEDIS Tools for Model Based Testing |
142
click to vote
SIMULATION
1998
15 years 3 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
139
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Scoring functions, such as molecular mechanic forcefields and statistical potentials are fundamentally important tools in protein structure modeling and quality assess...
141
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
140
click to vote
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
153
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Human genetic variations primarily result from single nucleotide polymorphisms (SNPs) that occur approximately every 1000 bases in the overall human population. The no...