3408 search results - page 514 / 682 » Logic, language, information and computation |
ICEIS
2006
IEEE
14 years 4 months ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
Significant time is spent by companies trying to reproduce and fix bugs. BugNet and FDR are recent architecture proposals that provide architecture support for deterministic rep...
ICSOC
2005
Springer
14 years 3 months ago
2005
Springer
We present a semantic caching scheme suitable for caching responses from Web services on the SOAP protocol level. Existing semantic caching schemes for database systems or Web sour...
ICALP
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present the first private information retrieval (PIR) scheme which is both, deterministically correct and has poly-logarithmic communication complexity. Our PIR proto...
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...