Sciweavers

5668 search results - page 153 / 1134
» The case for software evolution
Sort
View
119
Voted
GECCO
2005
Springer
120views Optimization» more  GECCO 2005»
15 years 9 months ago
Using predators and preys in evolution strategies
This poster presents an evolution strategy for single- and multi-objective optimization. The model uses the predatorprey approach from ecology to scale between both cases. Further...
Karlheinz Schmitt, Jörn Mehnen, Thomas Michel...
139
Voted
EUROSYS
2006
ACM
16 years 23 days ago
Reducing TCB complexity for security-sensitive applications: three case studies
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...
Lenin Singaravelu, Calton Pu, Hermann Härtig,...
100
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Spotlight: A Prototype Tool for Software Plans
Software evolution is made difficult by the need to integrate new features with all previously implemented features in the system. We present Spotlight, a prototype editor for sof...
David Coppit, Robert R. Painter, Meghan Revelle
114
Voted
EMO
2001
Springer
125views Optimization» more  EMO 2001»
15 years 8 months ago
Adapting Weighted Aggregation for Multiobjective Evolution Strategies
The conventional weighted aggregation method is extended to realize multi-objective optimization. The basic idea is that systematically changing the weights during evolution will l...
Yaochu Jin, Tatsuya Okabe, Bernhard Sendhoff
110
Voted
JUCS
2007
116views more  JUCS 2007»
15 years 3 months ago
Model Checking: Software and Beyond
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
Edmund M. Clarke, Flavio Lerda