809 search results - page 95 / 162 » Requirements by Contracts allow Automated System Testing |
106
click to vote
SIGADA
2004
Springer
15 years 5 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
101
click to vote
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
ICCMS
2009
14 years 9 months ago
2009
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...
120
click to vote
ATS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
KDD
2008
ACM
16 years 7 days ago
2008
ACM
Record label companies would like to identify potential artists as early as possible in their careers, before other companies approach the artists with competing contracts. The va...