3888 search results - page 99 / 778 » Change-Driven Model Transformations |
152
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
118
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
149
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
110
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
In many pattern recognition tasks, given some input data and a family of models, the “best” model is defined as the one which maximizes the likelihood of the data given the m...
121
click to vote
DAC
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...