5252 search results - page 778 / 1051 » Requirements engineering: a roadmap |
190
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
With multicore architectures being introduced to the market, the research community is revisiting problems to evaluate them under the new preconditions set by those new systems. A...
185
click to vote
ER
2007
Springer
16 years 1 months 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...
171
click to vote
FOSSACS
2007
Springer
16 years 1 months 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...
187
click to vote
GECCO
2007
Springer
16 years 1 months 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...
235
click to vote
GECCO
2007
Springer
16 years 1 months 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...