5182 search results - page 804 / 1037 » COTS-Based Requirements Engineering |
140
click to vote
DNA
2007
Springer
16 years 22 days ago
2007
Springer
We introduce staged self-assembly of Wang tiles, where tiles can be added dynamically in sequence and where intermediate constructions can be stored for later mixing. This model a...
167
click to vote
EMSOFT
2007
Springer
16 years 22 days 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...
162
click to vote
ER
2007
Springer
16 years 22 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...
158
click to vote
FOSSACS
2007
Springer
16 years 22 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...
151
click to vote
GECCO
2007
Springer
16 years 22 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...