8810 search results - page 1479 / 1762 » Openness |
200
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
289
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
We propose XRPC, a minimal XQuery extension that enables distributed yet efficient querying of heterogeneous XQuery data sources. XRPC enhances the existing concept of XQuery func...
293
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
There is currently considerable enthusiasm around the MapReduce (MR) paradigm for large-scale data analysis [17]. Although the basic control flow of this framework has existed in ...
276
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
We demonstrate XRPC, a minimal XQuery extension that enables distributed querying between heterogeneous XQuery engines. The XRPC language extension enhances the existing concept o...
259
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Utility computing delivers compute and storage resources to applications as an `on-demand utility', much like electricity, from a distributed collection of computing resource...