130 search results - page 1 / 26 » On Verifying Consistency of XML Specifications |
PODS
2002
ACM
14 years 4 months ago
2002
ACM
SIAMCOMP
2008
13 years 4 months ago
2008
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
The work presented in this paper is part of a large programme of research aimed at supporting consistency management of distributed documents on the World Wide Web. We describe an...
JSS
2008
13 years 4 months ago
2008
Since the turn of the millenium, Working Groups of the W3C have been concentrating on the development of XML based security standards, which are paraphrased as XML Security. XML S...
CCS
1998
ACM
13 years 8 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...