2291 search results - page 320 / 459 » Logic Programming and Model Checking |
129
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...
125
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
119
Voted
AUTOMATICA
1999
15 years 1 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
132
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
100
click to vote
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...