4617 search results - page 680 / 924 » Automation of Diagrammatic Reasoning |
197
click to vote
EWCBR
2004
Springer
16 years 20 days ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
210
click to vote
LICS
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
232
click to vote
ER
1997
Springer
15 years 11 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
197
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
170
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...