188 search results - page 25 / 38 » A Formal Implementation of Value Commitment |
PEPM
2010
ACM
14 years 4 months ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
SAS
2009
Springer
14 years 2 months ago
2009
Springer
There are many programming situations where it would be convenient to conceal the meaning of code, or the meaning of certain variables. This can be achieved through program transfo...
JCSS
2010
13 years 6 months ago
2010
When a file is to be transmitted from a sender to a recipient and when the latter already has a file somewhat similar to it, remote differential compression seeks to determine t...
SSDBM
2010
IEEE
14 years 17 days ago
2010
IEEE
The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, desc...
ICALP
2010
Springer
14 years 8 days ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...