1886 search results - page 159 / 378 » Modeling and Enacting Software Processes Using VRPML |
181
click to vote
SIAMIS
2011
14 years 12 months ago
2011
This article presents a new adaptive framework for locally parallel texture modeling. Oscillating patterns are modeled with functionals that constrain the local Fourier decompositi...
155
Voted
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
136
click to vote
ISCA
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents core fusion, a reconfigurable chip multiprocessor (CMP) architecture where groups of fundamentally independent cores can dynamically morph into a larger CPU, ...
144
Voted
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
166
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...