Sciweavers

1183 search results - page 161 / 237
» An event-condition-action language for XML
Sort
View
RR
2007
Springer
16 years 12 days ago
Proof Explanation in the DR-DEVICE System
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
Nick Bassiliades, Grigoris Antoniou, Guido Governa...
ICALP
2005
Springer
15 years 11 months ago
Logics for Unranked Trees: An Overview
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
Leonid Libkin
ICDT
2003
ACM
125views Database» more  ICDT 2003»
15 years 11 months ago
XPath Containment in the Presence of Disjunction, DTDs, and Variables
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragm...
Frank Neven, Thomas Schwentick
WCRE
2000
IEEE
15 years 10 months ago
Designing an XML-based Exchange Format for Harmonia
In this paper we present our design for a program data exchange format for Harmonia, a framework for constructing language-sensitive interactive CASE tools. We discuss the various...
Marat Boshernitsan, Susan L. Graham
ERCIMDL
2006
Springer
147views Education» more  ERCIMDL 2006»
15 years 10 months ago
An Enhanced Search Interface for Information Discovery from Digital Libraries
Libraries, museums, and other organizations make their electronic contents available to a growing number of users on the Web. A large fraction of the information published is store...
Georgia Koutrika, Alkis Simitsis