443 search results - page 79 / 89 » Automatic generation of bus functional models from transacti... |
MBEES
2008
13 years 9 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
ICSE
2000
IEEE-ACM
14 years 13 hour ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
BMCBI
2006
13 years 8 months ago
2006
Background:Receptors and scaffold proteins possess a number of distinct domains and bind multiple partners. A common problem in modeling signaling systems arises from a combinator...
GPEM
2000
13 years 8 months ago
2000
Genetic programming, in conjunction with advanced analytical instruments, is a novel tool for the investigation of complex biological systems at the whole-tissue level. In this stu...
ANOR
2010
13 years 8 months ago
2010
Abstract Irregularities are widespread in large databases and often lead to erroneous conclusions with respect to data mining and statistical analysis. For example, considerable bi...