5499 search results - page 195 / 1100 » Generalized Rewrite Theories |
167
click to vote
ACTA
2004
15 years 7 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
288
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we consider the problem of keyword query cleaning for structured databases from a probabilistic approach. Keyword query cleaning consists of rewriting the user quer...
205
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
211
click to vote
ICLP
2005
Springer
16 years 19 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
188
click to vote
DOCENG
2003
ACM
16 years 12 days ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...