655 search results - page 56 / 131 » Automata, Logic, and XML |
BDA
2004
15 years 1 months ago
2004
We present the path sequence storage model, a new logical model for storing XML documents. This model partitions XML data and content according to the document paths; and uses orde...
ACSD
2005
IEEE
15 years 5 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
HYBRID
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
103
click to vote
ICDT
2003
ACM
15 years 5 months ago
2003
ACM
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
138
click to vote
DFT
2008
IEEE
15 years 6 months ago
2008
IEEE
Tolerating defects and fabrication variations will be critical in any system made with devices that have nanometer feature sizes. This paper considers how fabrication variations a...