899 search results - page 112 / 180 » Implementing declarative overlays |
SIGMOD
2010
ACM
14 years 19 days ago
2010
ACM
We present SecureBlox, a declarative system that unifies a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speci...
GPCE
2009
Springer
14 years 13 days ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
EDBT
2012
ACM
11 years 10 months ago
2012
ACM
We present an effective optimization framework for general SQLlike map-reduce queries, which is based on a novel query algebra and uses a small number of higher-order physical ope...