6434 search results - page 202 / 1287 » Model Transformations with Reference Models |
141
click to vote
ICALP
2000
Springer
15 years 10 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,...
162
click to vote
EPK
2004
15 years 7 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...
223
click to vote
JUCS
2010
15 years 1 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...
154
click to vote
ESWS
2009
Springer
16 years 28 days ago
2009
Springer
As social networks are becoming ubiquitous on the Web, the Semantic Web goals indicate that it is critical to have a standard model allowing exchange, interoperability, transformat...
178
click to vote
WDAG
2007
Springer
16 years 14 days 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,...