Sciweavers

3073 search results - page 258 / 615
» Real World Verification
Sort
View
DSOM
2007
Springer
16 years 25 days ago
Botnets for Scalable Management
With an increasing number of devices that must be managed, the scalability of network and service management is a real challenge. A similar challenge seems to be solved by botnets ...
Jérôme François, Radu State, O...
ER
2007
Springer
103views Database» more  ER 2007»
16 years 25 days ago
Ontological Semantics for the Use of UML in Conceptual Modeling
Despite its origins in software modeling, there has been growing interest in using the Unified Modeling Language (UML) for conceptual modeling of application domains. However, the...
Xueming Li, Jeffrey Parsons
EVOW
2007
Springer
16 years 25 days ago
A Probabilistic Beam Search Approach to the Shortest Common Supersequence Problem
The Shortest Common Supersequence Problem (SCSP) is a well-known hard combinatorial optimization problem that formalizes many real world problems. This paper presents a novel rando...
Christian Blum, Carlos Cotta, Antonio J. Fern&aacu...
GECCO
2007
Springer
196views Optimization» more  GECCO 2007»
16 years 25 days ago
An estimation of distribution algorithm with guided mutation for a complex flow shop scheduling problem
An Estimation of Distribution Algorithm (EDA) is proposed to approach the Hybrid Flow Shop with Sequence Dependent Setup Times and Uniform Machines in parallel (HFSSDST-UM) proble...
Abdellah Salhi, José Antonio Vázquez...
GECCO
2007
Springer
154views Optimization» more  GECCO 2007»
16 years 25 days ago
Option pricing model calibration using a real-valued quantum-inspired evolutionary algorithm
Quantum effects are a natural phenomenon and just like evolution, or immune processes, can serve as an inspiration for the design of computing algorithms. This study illustrates ...
Kai Fan, Anthony Brabazon, Conall O'Sullivan, Mich...