4167 search results - page 371 / 834 » Evolutionary functional testing |
154
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
142
Voted
MMSEC
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we propose a secure biometric based authentication scheme which fundamentally relies on the use of a robust hash function. The robust hash function is a one-way tra...
114
Voted
SIAMJO
2008
15 years 4 months ago
2008
We present a nonsmooth optimization technique for nonconvex maximum eigenvalue functions and for nonsmooth functions which are infinite maxima of eigenvalue functions. We prove glo...
120
Voted
AR
2002
15 years 4 months ago
2002
This paper analyzes the effects of the application of visual adaptation mechanisms on snapshot-based guidance methods. The guidance principle of the visual homing is proven to be a...
128
click to vote
AI
1998
Springer
15 years 4 months ago
1998
Springer
This paper introduces a niching technique called GAS (S stands for species) which dynamically creates a subpopulation structure (taxonomic chart) using a radius function instead of...