3799 search results - page 608 / 760 » An Engineering Approach to Formal Methods |
128
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
The artificial immune system approach for self-nonself discrimination and its application to anomaly detection problems in engineering is showing great promise. A seminal contribu...
130
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
137
click to vote
VLDB
2007
ACM
15 years 11 months ago
2007
ACM
An increasing number of enterprises outsource their IT services to third parties who can offer these services for a much lower cost due to economy of scale. Quality of service is ...
148
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Genetic Algorithms (GAs) can efficiently produce high quality results for hard combinatorial real world problems such as the Vehicle Routing Problem (VRP). Genetic Vehicle Represe...
153
Voted
ICSOC
2004
Springer
15 years 10 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...