2266 search results - page 244 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
105
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Evolutionary computation is used to construct undetectable computer attack scripts. Using a simulated operating system, we show that scripts can be evolved to cover their tracks a...
129
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...
106
click to vote
COCOON
2005
Springer
15 years 8 months ago
2005
Springer
Many web-based systems have a tiered application architecture, in which a request needs to transverse all the tiers before finishing its processing. One of the most important QoS...
131
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
127
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Real life optimization problems often require finding optimal solution to complex high dimensional, multimodal problems involving computationally very expensive fitness function e...