130 search results - page 3 / 26 » On Verifying Consistency of XML Specifications |
DAC
1990
ACM
13 years 11 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
AMW
2010
13 years 8 months ago
2010
We consider incomplete specifications of XML documents in the presence of schema information and integrity constraints. We show that integrity constraints such as keys and foreign ...
EEE
2005
IEEE
14 years 1 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...