1231 search results - page 66 / 247 » A Model Transformation Approach for Design Pattern Evolution... |
144
click to vote
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
118
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
142
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
A new approach to active contours on statistical manifolds is presented. The statistical manifolds are 2dimensional Riemannian manifolds that are statistically defined by maps that...
139
click to vote
SC
2003
ACM
15 years 9 months ago
2003
ACM
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
125
click to vote
JSW
2006
15 years 3 months ago
2006
Good software architecture is critically important for successful software development. The software architecture can be defined as a set of architectural design decisions. However...