3166 search results - page 449 / 634 » Translation By Structural Correspondences |
178
click to vote
CSL
2004
Springer
16 years 1 hour ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
159
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
140
click to vote
METRICS
2003
IEEE
15 years 12 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
174
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
With increased demand for storage of scientific data comes a corresponding demand for efficient retrieval mechanisms necessary for analytical and reporting purposes. As is often...
186
click to vote
ADBIS
2003
Springer
15 years 12 months ago
2003
Springer
We present an approach of how to extract automatically an XML document structure from a conceptual data model that describes the content of a document. We use UML class diagrams as...