Sciweavers

1678 search results - page 267 / 336
» XML Document Versioning
Sort
View
JALC
2007
95views more  JALC 2007»
14 years 9 months ago
Learning Regular Tree Languages from Correction and Equivalence Queries
Inspired by the results obtained in the string case, we present in this paper the extension of the correction queries to regular tree languages. Relying on Angluin’s and Sakakib...
Catalin Ionut Tîrnauca, Cristina Tîrna...
TOIT
2002
66views more  TOIT 2002»
14 years 9 months ago
xlinkit: a consistency checking and smart link generation service
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technol...
Christian Nentwich, Licia Capra, Wolfgang Emmerich...
JAPLL
2010
133views more  JAPLL 2010»
14 years 8 months ago
Complexity of modal logics with Presburger constraints
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
Stéphane Demri, Denis Lugiez
60
Voted
SOFTWARE
2010
14 years 8 months ago
Architecture as Language
Architecture is typically either a very non-tangible, conceptual aspect of a software system that can primarily be found in Word documents, or it is entirely driven by technology ...
Markus Völter
GI
2009
Springer
14 years 7 months ago
Content-sensitive User Interfaces for Annotated Web Pages
Abstract: By means of RDFa it is possible to embed semantic meaning into standard XHTML web pages. Using the meaning, we provide content-sensitive user interfaces for web pages int...
Florian Schmedding