2374 search results - page 203 / 475 » Automatic Generation of Model Translations |
178
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
190
click to vote
ECBS
2005
IEEE
16 years 6 days ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
155
click to vote
VLDB
2005
ACM
16 years 1 days ago
2005
ACM
We present HePToX, a full-fledged peer-topeer database system that efficiently handles XML data heterogeneity. In a highly dynamic P2P network, it is unrealistic for a peer enter...
178
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
Structured document content reuse is the problem of restructuring and translating data structured under a source schema into an instance of a target schema. A notion closely tied ...
217
click to vote
TMI
2002
15 years 6 months ago
2002
Abstract--A feature-guided image interpolation scheme is presented. It is an effective and improved, shape-based interpolation method used for interpolating image slices in medical...