2004 search results - page 85 / 401 » Comparison of Model Checking Tools for Information Systems |
100
click to vote
SERP
2003
15 years 1 months ago
2003
Design patterns provide a medium-grained ion and can be used as an effective tool for understanding object-oriented systems. This paper presents a simple tool for the extraction o...
108
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Regulation of gene expression is relevant to many areas of biology and medicine, in the study of treatments, diseases, and developmental stages. Microarrays can be use...
104
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: The variety of DNA microarray formats and datasets presently available offers an unprecedented opportunity to perform insightful comparisons of heterogeneous data. Cro...
116
click to vote
NAR
2007
14 years 11 months ago
2007
The DBAli tools use a comprehensive set of structural alignments in the DBAli database to leverage the structural information deposited in the Protein Data Bank (PDB). These tools...
BPSC
2009
15 years 1 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...