1231 search results - page 66 / 247 » A Model Transformation Approach for Design Pattern Evolution... |
107
click to vote
SAC
2006
ACM
14 years 11 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...
MODELS
2007
Springer
15 years 6 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...
108
click to vote
ICIP
2005
IEEE
16 years 1 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...
SC
2003
ACM
15 years 5 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...
JSW
2006
14 years 11 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...