1134 search results - page 184 / 227 » Using Constraints with Action Language for Model Evolution |
117
click to vote
WSC
1997
15 years 4 months ago
1997
Outcomes of this modeling research are the ability to facilitate comparisons of investment alternatives or strategies; regarding primary targets, possible annual revenues, promoti...
121
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
138
click to vote
SMA
2008
ACM
15 years 2 months ago
2008
ACM
Surface matching is fundamental to shape computing and various downstream applications. This paper develops a powerful pants decomposition framework for computing maps between sur...
144
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
131
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...