5180 search results - page 785 / 1036 » Requirements Engineering |
159
click to vote
DCOSS
2007
Springer
16 years 24 days ago
2007
Springer
We introduce a class of anchoritic sensor networks, where communications between sensor nodes are undesirable or infeasible due to, e.g., harsh environments, energy constraints, or...
139
click to vote
DNA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...
170
click to vote
EMSOFT
2007
Springer
16 years 24 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...
158
click to vote
FOSSACS
2007
Springer
16 years 24 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...
156
click to vote
GECCO
2007
Springer
16 years 24 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...