2036 search results - page 273 / 408 » Using and Abusing XML |
149
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
155
click to vote
ICDE
2007
IEEE
16 years 21 days ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
154
click to vote
RR
2007
Springer
16 years 15 days ago
2007
Springer
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...
124
click to vote
ICPADS
2006
IEEE
16 years 12 days ago
2006
IEEE
We describe Fountain, an implementation of the Scalable Systems Software node monitor specification targeted at aggregate node monitoring for clusters. Fountain is designed from ...
169
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
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...