16 search results - page 2 / 4 » fsttcs 2000 |
FSTTCS
2000
Springer
13 years 10 months ago
2000
Springer
We present a new scheme for storing a planar graph in external memory so that any online path can be traversed in an I-O efficient way. Our storage scheme significantly improves th...
FSTTCS
2000
Springer
13 years 10 months ago
2000
Springer
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression ...
FSTTCS
2000
Springer
13 years 10 months ago
2000
Springer
The ease with which one can copy and transform data on the Web, has made it increasingly di cult to determine the origins of a piece of data. We use the term data provenance to ref...
FSTTCS
2000
Springer
13 years 10 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
FSTTCS
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...