2488 search results - page 430 / 498 » An improvement in formal verification |
112
click to vote
ICARIS
2009
Springer
15 years 8 months ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...
121
click to vote
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
133
click to vote
PROVSEC
2009
Springer
15 years 8 months ago
2009
Springer
Signcryption is a cryptographic primitive that provides authentication and confidentiality simultaneously in a single logical step. It is often required that multiple senders have...
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
113
click to vote
BMEI
2008
IEEE
15 years 7 months ago
2008
IEEE
Standard Gene Expression Programming(GEP) works with fixed rate of mutation and crossover, ignoring the variation of the individual fitness, hence it works in the local optimum st...