4187 search results - page 137 / 838 » A Taxonomy of Model Transformation |
138
click to vote
WDAG
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
151
click to vote
SACMAT
2006
ACM
15 years 10 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
144
click to vote
DAWAK
2005
Springer
15 years 9 months ago
2005
Springer
In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialized integrated database. The schemas of the data sources and the integrated ...
108
Voted
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
122
click to vote
EPK
2004
15 years 5 months ago
2004
: Heterogeneous and proprietary interchange formats pose a major problem for business process management. This applies in particular to processes that have been modelled as Event-D...