261 search results - page 27 / 53 » Logics for XML |
AAAI
2000
15 years 1 months ago
2000
We present Dialog Moves Markup Language (DMML): an extensible markup language (XML) representation of modality independent communicative acts of automated conversational agents. I...
104
click to vote
ECIR
2007
Springer
15 years 1 months ago
2007
Springer
The availability of a document’s logical structure in XML retrieval allows retrieval systems to return document portions (elements) instead of whole documents. This helps searche...
100
click to vote
DATESO
2007
15 years 1 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
106
click to vote
WWW
2006
ACM
16 years 13 days ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
AICCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
OpenSST (Open Simple Secure Transaction) is a free software project and aims to create an efficient, open and secure alternative to the secure proprietary transaction protocol. Op...