458 search results - page 59 / 92 » Universal Temporal Data Languages |
132
click to vote
SP
2010
IEEE
14 years 9 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
166
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...
103
click to vote
PSSS
2003
15 years 1 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
190
click to vote
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
We present a technique for refining the design of relational storage for XML data based on XML key propagation. Three algorithms are presented: one checks whether a given function...
111
click to vote
ENTCS
2007
14 years 11 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...