2722 search results - page 221 / 545 » The Model Evolution Calculus |
153
Voted
ENTCS
2002
15 years 3 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
127
click to vote
PR
2007
15 years 3 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
116
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
133
click to vote
TASLP
2002
15 years 3 months ago
2002
This paper applies time-varying autoregressive (TVAR) models with stochastically evolving parameters to the problem of speech modeling and enhancement. The stochastic evolution mod...
131
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...