2373 search results - page 297 / 475 » The Design of the Zinc Modelling Language |
162
click to vote
IDEAS
2007
IEEE
16 years 24 days ago
2007
IEEE
The problem of data integration (query decomposition, data fragmentation) has been widely studied in literature, but the inherent hierarchical nature of XML data presents problems...
165
click to vote
DOCENG
2004
ACM
15 years 12 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...
177
click to vote
ICWE
2004
Springer
15 years 12 months ago
2004
Springer
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
177
click to vote
METAINFORMATICS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
156
click to vote
ASPDAC
2008
ACM
15 years 7 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...