2006 search results - page 154 / 402 » Heuristic Security-Testing Methods |
92
Voted
WCRE
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper promotes the use of a mathematical concept lattice based upon the binary relation of accesses between methods and fields as a novel visualization of individual JAVA cl...
91
Voted
EVOW
2003
Springer
15 years 6 months ago
2003
Springer
This paper considers the problem of minimizing the response time for a given database workload by a proper choice of indexes. This problem is NP-hard and known in the literature as...
109
click to vote
ECAL
2001
Springer
15 years 5 months ago
2001
Springer
In this paper a formal approach to construction of a similarity measure for complex creatures is presented. The simulation model is described, and a Framsticks agent is expressed i...
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
105
Voted
EURODAC
1994
IEEE
15 years 5 months ago
1994
IEEE
An approach for stuck-at-i and delay-fault testing of redundant circuits without modifying the logic is proposed. The only requirement is the ability to control both phases of eac...