Sciweavers

2036 search results - page 307 / 408
» Using and Abusing XML
Sort
View
DBPL
2005
Springer
135views Database» more  DBPL 2005»
15 years 12 months ago
Type-Based Optimization for Regular Patterns
Pattern matching mechanisms based on regular expressions feature in a number of recent languages for processing XML. The flexibility of these mechanisms demands novel approaches ...
Michael Y. Levin, Benjamin C. Pierce
ICADL
2005
Springer
139views Education» more  ICADL 2005»
15 years 12 months ago
Enhancing Services in a Digital Age - 10 Years of Experience from the Systems Librarians' Perspective
This paper is an attempt by the authors to share their experiences in equipping a young academic library with the information technologies needed to enhance services in a digital e...
Edward F. Spodick, Ki-Tat Lam
ICTCS
2005
Springer
15 years 11 months ago
Error Mining for Regular Expression Patterns
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
Giuseppe Castagna, Dario Colazzo, Alain Frisch
INEX
2005
Springer
15 years 11 months ago
TIJAH Scratches INEX 2005: Vague Element Selection, Image Search, Overlap, and Relevance Feedback
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...
Vojkan Mihajlovic, Georgina Ramírez, Thijs ...
ISAS
2005
Springer
15 years 11 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic