77016 search results - page 264 / 15404 » Modeling |
128
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
121
click to vote
CIMCA
2006
IEEE
15 years 8 months ago
2006
IEEE
Structure identification is one of the most significant steps in Fuzzy modeling of a complex system. Efficient structure identification requires good approximation of the effectiv...
127
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
120
click to vote
WSC
2008
15 years 6 months ago
2008
Simulation models are often developed for a single purpose. However, once a model is accepted by management and other stake-holders, it is quite common and desirable to wish to br...
153
click to vote
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...