Sciweavers

3334 search results - page 527 / 667
» XML to XML through XML
Sort
View
CADE
2006
Springer
15 years 10 months ago
Presburger Modal Logic Is PSPACE-Complete
We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as num...
Stéphane Demri, Denis Lugiez
EEE
2004
IEEE
15 years 10 months ago
Model-Driven Web Services Development
Web service technologies are becoming increasingly important for integrating systems and services. There is much activity and interest around standardization and usage of web serv...
Roy Grønmo, David Skogan, Ida Solheim, Jon ...
ERCIMDL
2004
Springer
143views Education» more  ERCIMDL 2004»
15 years 10 months ago
Dynamic Digital Library Construction and Configuration
Abstract. This paper describes a digital library architecture and implementation that is configurable, extensible and dynamic in the way it presents content and in the services it ...
David Bainbridge, Katherine J. Don, George Buchana...
EUROPAR
2004
Springer
15 years 10 months ago
A Small World Overlay Network for Resource Discovery
Abstract. Interest is rising in genuinely distributed ('peer-to-peer') resource discovery systems, which all provide mechanisms for self-organization of their resource pr...
Koen Vanthournout, Geert Deconinck, Ronnie Belmans
CPM
2006
Springer
143views Combinatorics» more  CPM 2006»
15 years 10 months ago
Algorithms for Finding a Most Similar Subforest
Given an ordered labeled forest F ("the target forest") and an ordered labeled forest G ("the pattern forest"), the most similar subforest problem is to find a ...
Jesper Jansson, Zeshan Peng