3921 search results - page 110 / 785 » Transforming Models with ATL |
117
click to vote
SACMAT
2006
ACM
15 years 6 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...
112
click to vote
DAWAK
2005
Springer
15 years 6 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 ...
85
Voted
ICALP
2000
Springer
15 years 4 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,...
96
Voted
EPK
2004
15 years 2 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...
144
Voted
JUCS
2010
14 years 7 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...