3071 search results - page 432 / 615 » Explanatory Design Theory |
192
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
168
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
163
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
Recent work has provided functions that can be used to prove a principled distinction between the capabilities of mutation-based and crossover-based algorithms. However, prior fun...
170
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes a study in the evolution of distributed cooperative behavior, specifically leader election, through digital evolution and group selection. In digital evoluti...
178
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
This paper explores connections between Ficici’s notion of solution concept and order theory. Ficici postulates that algorithms should ascend an order called weak preference; th...