9806 search results - page 1648 / 1962 » Engineering adaptive requirements |
171
click to vote
ER
2007
Springer
16 years 29 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...
161
click to vote
FOSSACS
2007
Springer
16 years 29 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...
163
click to vote
GECCO
2007
Springer
16 years 29 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...
178
click to vote
GECCO
2007
Springer
16 years 29 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...
218
click to vote
ICARIS
2007
Springer
16 years 28 days ago
2007
Springer
Today’s signature-based intrusion detection systems are reactive in nature and storage-limited. Their operation depends upon catching an instance of an intrusion or virus and en...