3888 search results - page 102 / 778 » Change-Driven Model Transformations |
128
click to vote
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
120
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...
156
click to vote
IAJIT
2010
15 years 2 months ago
2010
: The content-based retrieval systems for 3D models on the Web become necessary since digital databases of 3D objects are growing. In this paper, we propose a new method to describ...
125
click to vote
QSIC
2009
IEEE
15 years 11 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
124
Voted
IFIP
1997
Springer
15 years 8 months ago
1997
Springer
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....