Sciweavers

134 search results - page 8 / 27
» Automata for XML - A survey
Sort
View
PLANX
2007
13 years 9 months ago
Lux: A Lightweight, Statically Typed XML Update Language
Several proposals for updating XML have been introduced. Many of them have a rather complicated semantics due to the interaction of side-effects and updates, and some proposals a...
James Cheney
ICDT
2003
ACM
106views Database» more  ICDT 2003»
14 years 22 days ago
Processing XML Streams with Deterministic Automata
We consider the problem of evaluating a large number of XPath expressions on an XML stream. Our main contribution consists in showing that Deterministic Finite Automata (DFA) can b...
Todd J. Green, Gerome Miklau, Makoto Onizuka, Dan ...
WIA
2005
Springer
14 years 1 months ago
Compressing XML Documents Using Recursive Finite State Automata
Abstract. We propose a scheme for automatically generating compressors for XML documents from Document Type Definition(DTD) specifications. Our algorithm is a lossless adaptive a...
Hariharan Subramanian, Priti Shankar
FUIN
2008
123views more  FUIN 2008»
13 years 7 months ago
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavad...
PODS
2004
ACM
95views Database» more  PODS 2004»
14 years 7 months ago
Trees, Automata and XML
Thomas Schwentick