12 search results - page 1 / 3 » Generic Validation of Structural Content with Parametric Mod... |
APLAS
2000
ACM
13 years 9 months ago
2000
ACM
DOCENG
2004
ACM
13 years 10 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
ENTCS
2007
13 years 5 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
As an extension of Bayesian network, module network is an appropriate model for inferring causal network of a mass of variables from insufficient evidences. However learning such ...
IDEAS
2000
IEEE
13 years 9 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...