3342 search results - page 100 / 669 » Automating Abstract Interpretation |
ATVA
2010
Springer
15 years 6 days ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
107
click to vote
TITB
2008
14 years 11 months ago
2008
A fuzzy rule-based decision support system (DSS) is presented for the diagnosis of coronary artery disease (CAD). The system is automatically generated from an initial annotated da...
ASWEC
2007
IEEE
15 years 5 months ago
2007
IEEE
Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purpose...
103
click to vote
LOPSTR
2007
Springer
15 years 5 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
103
click to vote
ISMDA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The increasing availability of automated data collection tools, database technologies and Information and Communication Technologies in biomedicine and health care have l...