16 search results - page 2 / 4 » fsttcs 2000 |
FSTTCS
2000
Springer
13 years 8 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 8 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 8 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 8 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 8 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...