1410 search results - page 117 / 282 » A Logic for Virtual Memory |
138
click to vote
CIDR
2009
15 years 5 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
132
click to vote
CONSTRAINTS
2004
15 years 4 months ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management langua...
126
click to vote
BTW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...
155
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...