5775 search results - page 247 / 1155 » A Rationale-based Analysis Tool |
163
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
175
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Many cutting-edge microarray analysis tools and algorithms, including commonly used limma and affy packages in Bioconductor, need sophisticated knowledge of mathematic...
215
Voted
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
207
click to vote
IEEECGIV
2009
IEEE
15 years 4 months ago
2009
IEEE
Shape grammars play an important role in a new generation of tools for the analysis and design of products. In this work we present a general tool named Shape Grammar Interpreter (...
205
click to vote
DASFAA
2011
IEEE
14 years 10 months ago
2011
IEEE
Bayesian network is a widely used tool for data analysis, modeling and decision support in various domains. There is a growing need for techniques and tools which can automatically...