7124 search results - page 1252 / 1425 » Programming Languages and Operating Systems |
120
click to vote
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
Relational database systems may be turned into efficient XML and XPath processors if the system is provided with a suitable relational tree encoding. This paper extends this relat...
144
click to vote
SACMAT
2010
ACM
15 years 7 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
139
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
RDF is an increasingly important paradigm for the representation of information on the Web. As RDF databases increase in size to approach tens of millions of triples, and as sophis...
135
click to vote
LCPC
1998
Springer
15 years 6 months ago
1998
Springer
There is a class of sparse matrix computations, such as direct solvers of systems of linear equations, that change the fill-in (nonzero entries) of the coefficient matrix, and invo...
112
Voted
OOPSLA
1998
Springer
15 years 6 months ago
1998
Springer
With the spread of the Internet the computing model on server systems is undergoing several important changes. Recent research ideas concerning dynamic operating system extensibil...