2774 search results - page 212 / 555 » Query-Driven Program Testing |
128
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: A priori analysis of the activity of drugs on the target protein by computational approaches can be useful in narrowing down drug candidates for further experimental t...
118
click to vote
JCB
2000
15 years 3 months ago
2000
Large scale gene duplication is a major force driving the evolution of genetic functional innovation. Whole genome duplications are widely believed to have played an important rol...
134
click to vote
CORR
1999
Springer
15 years 2 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
126
Voted
RE
2002
Springer
15 years 2 months ago
2002
Springer
Extreme Programming (XP) is an agile (lightweight) software development methodology and it becomes more and more popular. XP proposes many interesting practices, but it also has s...
142
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...