Sciweavers

2728 search results - page 412 / 546
» The EGTV Query Language
Sort
View
165
Voted
ICTAI
2009
IEEE
15 years 11 months ago
Managing Authorization Provenance: A Modal Logic Based Approach
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
PLDI
2003
ACM
15 years 10 months ago
Points-to analysis using BDDs
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
Marc Berndl, Ondrej Lhoták, Feng Qian, Laur...
DBPL
1999
Springer
109views Database» more  DBPL 1999»
15 years 9 months ago
Expressing Topological Connectivity of Spatial Databases
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...
Floris Geerts, Bart Kuijpers
ICDE
2002
IEEE
232views Database» more  ICDE 2002»
16 years 6 months ago
DBXplorer: A System for Keyword-Based Search over Relational Databases
Internet search engines have popularized the keywordbased search paradigm. While traditional database management systems offer powerful query languages, they do not allow keyword-...
Sanjay Agrawal, Surajit Chaudhuri, Gautam Das
VLDB
2007
ACM
104views Database» more  VLDB 2007»
16 years 5 months ago
Extending XQuery with Window Functions
This paper presents two extensions for XQuery. The first extension allows the definition and processing of different kinds of windows over an input sequence; i.e., tumbling, slidi...
Irina Botan, Peter M. Fischer, Daniela Florescu, D...