1057 search results - page 113 / 212 » Testing from Formal Specifications, a Generic Approach |
BMCBI
2010
13 years 9 months ago
2010
Background: Genetic interaction profiles are highly informative and helpful for understanding the functional linkages between genes, and therefore have been extensively exploited ...
IJVR
2008
13 years 9 months ago
2008
Evolutionary computation is a generic term used to make reference to the solution of computational problems planned and implemented based on models of an evolutionary process. Most...
WER
1998
Springer
14 years 1 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
CPE
1994
Springer
14 years 1 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
EKAW
2010
Springer
13 years 7 months ago
2010
Springer
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...