2006 search results - page 275 / 402 » Heuristic Security-Testing Methods |
AMEC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Supply chains are a current, challenging problem for agentbased electronic commerce. Motivated by the Trading Agent Competition Supply Chain Management (TAC SCM) scenario...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. One key issue facing robotic teams is effective coordination mechanisms. Many robotic groups operate within domains where restrictions such as limiting areas of operation...
EVOW
2004
Springer
14 years 3 months ago
2004
Springer
Genetic Algorithms (GAs) are well-known heuristic algorithms and have been widely applied to solve combinatorial problems. Edge recombination is one of the famous crossovers design...
FORMATS
2004
Springer
14 years 3 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
When applied to real-world problems, the powerful optimization tool of Evolutionary Algorithms frequently turns out to be too time-consuming due to elaborate fitness calculations t...