1501 search results - page 57 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
138
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
127
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
This work is devoted to lattice-based information representation of correlations among delivery criteria in transport logistics. The number of delivery criteria, their ranking acc...
214
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
One of the major difficulties when applying Multiobjective Evolutionary Algorithms (MOEA) to real world problems is the large number of objective function evaluations. Approximate...
112
click to vote
ECMDAFA
2010
Springer
15 years 3 months ago
2010
Springer
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...
103
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variabi...