469 search results - page 60 / 94 » Genetic Programming with Fitness Based on Model Checking |
IWDC
2004
Springer
14 years 1 months ago
2004
Springer
An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. Th...
WCRE
2007
IEEE
14 years 2 months ago
2007
IEEE
Defect density and defect prediction are essential for efficient resource allocation in software evolution. In an empirical study we applied data mining techniques for value seri...
BMCBI
2010
13 years 7 months ago
2010
Background: Both somatic copy number alterations (CNAs) and germline copy number variants (CNVs) that are prevalent in healthy individuals can appear as recurrent changes in compa...
SMI
2008
IEEE
14 years 2 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
IWPC
2002
IEEE
14 years 19 days ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...