2006 search results - page 155 / 402 » Heuristic Security-Testing Methods |
80
Voted
HICSS
1994
IEEE
15 years 5 months ago
1994
IEEE
1 This paper presents a methodology to guide equational reasoning in a goal directed way. Suggested by rippling methods developed in the eld of inductive theorem proving we use att...
APWEB
2006
Springer
15 years 4 months ago
2006
Springer
We give a new view on building content clusters from page pair models. We measure the heuristic importance within every two pages by computing the distance of their accessed positi...
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
97
Voted
ACSD
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
92
Voted
AISB
1995
Springer
15 years 4 months ago
1995
Springer
This paper discusses a series of recombination operators for the timetabling problem. These operators act upon a direct representation of the timetable and maintain the property of...