2958 search results - page 100 / 592 » Extending and Implementing RASP |
CTRS
1992
14 years 1 months ago
1992
We show that a simple, and easily implementable, restriction on the recursive path ordering, which we call the "binary path condition," sufficesfor establishing terminat...
ICLP
2010
Springer
14 years 27 days ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...
SWAP
2008
13 years 10 months ago
2008
In this paper we are presenting ongoing work on a software library for on-the-fly browsing of Semantic Web content that forms the informational context around an entity. This libra...
APPINF
2003
13 years 10 months ago
2003
In this paper we discuss the problems encountered in the development of a Linux LVS-based content switch and present their solutions. A pre-allocate server scheme is proposed to i...