Sciweavers

2527 search results - page 203 / 506
» A UML-Based Approach to System Testing
Sort
View
RAID
2004
Springer
15 years 9 months ago
Fast Detection of Scanning Worm Infections
Worm detection and response systems must act quickly to identify and quarantine scanning worms, as when left unchecked such worms have been able to infect the majority of vulnerabl...
Stuart E. Schechter, Jaeyeon Jung, Arthur W. Berge...
PPSN
1998
Springer
15 years 8 months ago
A Decoder-Based Evolutionary Algorithm for Constrained Parameter Optimization Problems
Several methods have been proposed for handling nonlinear constraints by evolutionary algorithms for numerical optimization problems; a survey paper [7] provides an overview of var...
Slawomir Koziel, Zbigniew Michalewicz
ERSHOV
2006
Springer
15 years 8 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
KES
2008
Springer
15 years 4 months ago
Reinforcing fuzzy rule-based diagnosis of turbomachines with case-based reasoning
This paper presents an integrated knowledge-based system, which combines fuzzy rule-based reasoning with case-based reasoning, for turbomachinery diagnosis. By incorporating a case...
Meijun Yang, Qiang Shen
EMSOFT
2007
Springer
15 years 10 months ago
Performance estimation of distributed real-time embedded systems by discrete event simulations
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
Gabor Madl, Nikil Dutt, Sherif Abdelwahed