3031 search results - page 225 / 607 » Model Driven Testing Based on Test History |
151
Voted
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
157
click to vote
COMPLIFE
2006
Springer
15 years 8 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
150
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
We investigate temporal resolution of documents, such as determining the date of publication of a story based on its text. We describe and evaluate a model that build histograms e...
134
click to vote
TASLP
2008
15 years 4 months ago
2008
In this paper, we optimize and evaluate computational models of similarity for sounds from the same instrument class. We investigate four instrument classes: bass drums, snare drum...
157
click to vote
EVOW
2006
Springer
15 years 8 months ago
2006
Springer
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...