Sciweavers

2733 search results - page 239 / 547
» The Constellation Query Language
Sort
View
DBSEC
2000
102views Database» more  DBSEC 2000»
14 years 3 days 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
13 years 11 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
13 years 10 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»
13 years 5 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
14 years 3 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