8132 search results - page 347 / 1627 » Dependability, Abstraction, and Programming |
179
click to vote
ADAEUROPE
2006
Springer
16 years 24 days ago
2006
Springer
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc ...
200
click to vote
EUROGP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Particle Swarm Optimisers (PSOs) search using a set of interacting particles flying over the fitness landscape. These are typically controlled by forces that encourage ...
190
click to vote
VSTTE
2005
Springer
16 years 8 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
159
click to vote
LPNMR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
169
click to vote
CEC
2003
IEEE
16 years 3 days ago
2003
IEEE
Abstract- The Maximum Homologous Crossover attempts to preserve similar structures from parents by aligning them according to their homology. In this paper, it is successfully test...