1614 search results - page 45 / 323 » Polymorphism and Genetic Programming |
ICNP
2007
IEEE
14 years 4 months ago
2007
IEEE
—It is crucial to detect zero-day polymorphic worms and to generate signatures at the edge network gateways or honeynets so that we can prevent the worms from propagating at thei...
SAS
1994
Springer
14 years 2 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
ESOP
1994
Springer
14 years 2 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
ICCCN
2007
IEEE
14 years 4 months ago
2007
IEEE
—Worms are a significant threat to network systems, both through resource consumption and malicious activity. This paper examines the spread of a class of hitlist-based worms tha...