711 search results - page 125 / 143 » Patterns in the analysis, design and implementation of frame... |
171
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
201
click to vote
AB
2008
Springer
15 years 12 months ago
2008
Springer
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
180
click to vote
FGCS
2010
15 years 4 months ago
2010
This paper describes our research effort to employ Grid technologies to enable the development of geoscience applications by integrating workflow technologies with data mining r...
178
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
171
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...