2437 search results - page 274 / 488 » Model-Driven Software Adaptation |
171
click to vote
INFSOF
2000
15 years 3 months ago
2000
An important issue in a component-based software development process is the supply source of mature, reliable, adaptable, and maintainable components. We define as component minin...
214
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
168
click to vote
CGO
2011
IEEE
14 years 7 months ago
2011
IEEE
—The latest trend towards performance asymmetry among cores on a single chip of a multicore processor is posing new challenges. For effective utilization of these performanceasym...
170
click to vote
CMOT
2011
14 years 7 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
127
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Cellular genetic algorithms (cGAs) are mainly characterized by their spatially decentralized population, in which individuals can only interact with their neighbors. In this work,...