3342 search results - page 271 / 669 » Automating Abstract Interpretation |
127
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
123
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper describes an innovative usage of Case-Based Reasoning to reduce the high computing cost derived from running large interactive simulation scenarios within the ...
113
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...
118
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
113
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...