3031 search results - page 342 / 607 » Model Driven Testing Based on Test History |
164
click to vote
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. This paper presents a new method for studying protein folding kinetics. It uses the recently introduced Stochastic Roadmap Simulation (SRS) method to estimate the transit...
172
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
183
click to vote
CIDM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— A Bayes net has qualitative and quantitative aspects: The qualitative aspect is its graphical structure that corresponds to correlations among the variables in the Baye...
192
click to vote
CIBCB
2007
IEEE
16 years 27 days ago
2007
IEEE
The susceptible, infected, removed model for epidemics assumes that the population in which the epidemic takes place is well mixed. This strong assumption can be relaxed by permit...
168
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...