11212 search results - page 1808 / 2243 » Semi-persistent Data Structures |
150
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
176
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
For XML-based applications in general and B2B applications in particular, mapping between differently structured XML documents, to enable exchange of data, is a basic problem. A g...
314
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
258
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
157
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Authenticated dictionaries allow users to send lookup requests to an untrusted server and get authenticated answers. Persistent authenticated dictionaries (PADs) add queries agains...