1394 search results - page 195 / 279 » Executing Nested Queries |
139
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
162
click to vote
TES
2001
Springer
15 years 7 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
256
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Data outsourcing or database as a service is a new paradigm for data management in which a third party service provider hosts a database as a service. The service provides data man...
128
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Generic database replication algorithms do not scale linearly in throughput as all update, deletion and insertion (UDI) queries must be applied to every database replica. The thro...
229
click to vote
VLDB
2007
ACM
16 years 3 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...