9806 search results - page 1672 / 1962 » Engineering adaptive requirements |
186
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
171
click to vote
LCTRTS
2004
Springer
16 years 3 days ago
2004
Springer
Procrastination scheduling has gained importance for energy efficiency due to the rapid increase in the leakage power consumption. Under procrastination scheduling, task executio...
174
click to vote
MABS
2004
Springer
16 years 3 days ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
161
click to vote
MABS
2004
Springer
16 years 3 days ago
2004
Springer
Since Holland (1993) introduced the concept of tags as a possible cooperation forming mechanism in evolving system (among other things) a number of tag models with intriguing, and ...
173
Voted
PPSN
2004
Springer
16 years 3 days ago
2004
Springer
In Multi-Agent learning, agents must learn to select actions that maximize their utility given the action choices of the other agents. Cooperative Coevolution offers a way to evol...