6434 search results - page 237 / 1287 » Model Transformations with Reference Models |
107
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
102
Voted
EUROPKI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
75
Voted
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
This paper focuses on modelling and visualisation of mineral shells of foraminifera (unicellular aquatic, mainly marine, organisms). Our recent model follows the moving reference a...
120
click to vote
WSC
1996
15 years 1 months ago
1996
of abstraction, or modeling, is a major element in Enterprise Engineering. Enterprise engineering deals with the analysis, design, implementation and operation of an enterprise. T...
74
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
: In recent years environmental and energy conservation issues have taken the central theme in the global business arena. The reality of rising energy cost and their impact on inte...