5668 search results - page 861 / 1134 » Overlaps in Requirements Engineering |
168
click to vote
ER
2007
Springer
16 years 28 days ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
160
click to vote
FOSSACS
2007
Springer
16 years 28 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
162
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
In many design tasks it is difficult to explicitly define an objective function. This paper uses machine learning to derive an objective in a feature space based on selected examp...
213
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
Design for specific customer service plays a crucial role for the majority of the market in modern electronics. However, adaptability to an individual customer results in increasi...
178
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
Building artificial systems using self-assembly is one of the main issues of artificial life [17]. Scientists are trying to understand this process either using experimental appro...