268 search results - page 15 / 54 » Equivalence for the G3'-stable models semantics |
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
EPIA
1999
Springer
13 years 12 months ago
1999
Springer
We present three approaches to revision of belief bases, which are also examined in the case in which the sentences in the base are partitioned between those which can and those wh...
PROCOMET
1998
13 years 9 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
ER
2003
Springer
14 years 25 days ago
2003
Springer
While the Internet has facilitated access to information sources, the task of scalable integration of these heterogeneous data sources remains a challenge. The adoption of the eXte...