5525 search results - page 264 / 1105 » Verification of Model Transformations |
130
click to vote
MFCS
2010
Springer
15 years 3 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
150
Voted
BMCBI
2006
15 years 5 months ago
2006
Background: Low-level processing and normalization of microarray data are most important steps in microarray analysis, which have profound impact on downstream analysis. Multiple ...
151
Voted
IPMI
2005
Springer
15 years 10 months ago
2005
Springer
Many types of transformations are used to model deformations in medical image registration. While some focus on modeling local changes, some on continuity and invertibility, there ...
155
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
135
Voted
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....