Sciweavers

162 search results - page 22 / 33
» Parsing concurrent XML
Sort
View
NDT
2010
13 years 5 months ago
A Scalable Framework for Serializable XQuery
This paper focuses on an aspect that is widely neglected in native XML database management systems: support for concurrent transactional access. We analyze the isolation requireme...
Sebastian Bächle, Theo Härder
POPL
2006
ACM
14 years 7 months ago
The next 700 data description languages
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
Kathleen Fisher, Yitzhak Mandelbaum, David Walker
DOCENG
2004
ACM
14 years 28 days ago
Techniques for authoring complex XML documents
This paper reviews the main innovations of XML and considers their impact on the editing techniques for structured documents. Namespaces open the way to compound documents; well-f...
Vincent Quint, Irène Vatton
ICML
2002
IEEE
14 years 8 months ago
Kernels for Semi-Structured Data
Semi-structured data such as XML and HTML is attracting considerable attention. It is important to develop various kinds of data mining techniques that can handle semistructured d...
Hisashi Kashima, Teruo Koyanagi
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
14 years 29 days ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting