5525 search results - page 274 / 1105 » Verification of Model Transformations |
165
click to vote
CVPR
2000
IEEE
16 years 7 months ago
2000
IEEE
We define a process called congealing in which elements of a dataset (images) are brought into correspondence with each other jointly, producing a data-defined model. It is based ...
136
Voted
GG
2004
Springer
15 years 10 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
211
click to vote
GPC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
150
click to vote
WSC
2004
15 years 6 months ago
2004
This paper introduces and summarizes a comprehensive systems approach guiding an ongoing project addressing these significant challenges confronting logistics transformation. Curr...
123
Voted
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
In this article, we present a model for transformation of resources in information supply. These transformations allow us to reason more flexibly about information supply, and cul...