1146 search results - page 205 / 230 » Formal Specification Generation from Requirement Documents |
BMCBI
2006
14 years 9 months ago
2006
Background: Phylogenetic analyses of protein families are used to define the evolutionary relationships between homologous proteins. The interpretation of protein-sequence phyloge...
66
Voted
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
With an explosive growth of blogs, information seeking in blogosphere becomes more and more challenging. One example task is to find the most relevant topical blogs against a give...
76
Voted
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Comparing and contrasting is an important strategy people employ to understand new situations and create solutions for new problems. Similar events can provide hints for problem s...
126
click to vote
SAS
2001
Springer
15 years 2 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
107
click to vote
CCGRID
2006
IEEE
15 years 3 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...