5671 search results - page 784 / 1135 » A Semantic Approach to Interpolation |
180
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
214
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
185
click to vote
ENTCS
2000
15 years 6 months ago
2000
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...
176
click to vote
JUCS
2002
15 years 6 months ago
2002
: Community web sites exhibit the property that multiple content providers exist. Of course, any portal is only as useful as the quality and amount of its content. Developing origi...
176
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
We present a novel framework for mapping between any combination of XML and relational schemas, in which a high-level, userspecified mapping is translated into semantically meanin...