1901 search results - page 62 / 381 » Predicting Program Properties from |
BMCBI
2010
14 years 11 months ago
2010
Background: Antibacterial peptides are one of the effecter molecules of innate immune system. Over the last few decades several antibacterial peptides have successfully approved a...
LFCS
1992
Springer
15 years 3 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
WOSP
2004
ACM
15 years 4 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
86
Voted
EVOW
2010
Springer
15 years 5 months ago
2010
Springer
Discriminating between secreted and membrane proteins is a challenging task. This is particularly true for discriminating between transmembrane segments and signal peptides because...
103
click to vote
STEP
2003
IEEE
15 years 4 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...