Sciweavers

2733 search results - page 239 / 547
» The Constellation Query Language
Sort
View
DBSEC
2000
102views Database» more  DBSEC 2000»
15 years 5 months ago
Extending SQL's Grant and Revoke Operations, to Limit and Reactivate Privileges
We propose two extensions to the SQL grant/revoke security model. In SQL, grants are unconditional, so the grantor must simply trust the recipient's discretion. We allow a gr...
Arnon Rosenthal, Edward Sciore
ICALP
2010
Springer
15 years 4 months ago
Towards a Theory of Time-Bounded Verification
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
Joël Ouaknine, James Worrell
COLING
2002
15 years 4 months ago
Searching the Web by Voice
Spoken queries are a natural medium for searching the Web in settings where typing on a keyboard is not practical. This paper describes a speech interface to the Google search eng...
Alexander Franz, Brian Milch
TKDE
2011
138views more  TKDE 2011»
14 years 11 months ago
Some Remarks on the Paper "semQA: SPARQL with Idempotent Disjunction"
—In the paper “semQA: SPARQL with Idempotent Disjunction” [Shironoshita et al. 2009], the authors study the RDF query language SPARQL. In particular, they claim that some of ...
Marcelo Arenas, Claudio Gutierrez, Jorge Pé...
ECOOP
1998
Springer
15 years 8 months ago
Orthogonal to the Java Imperative
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
Suad Alagic, Jose Solorzano, David Gitchell