1239 search results - page 72 / 248 » Control Generation for Logic Programs |
ACSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
RSCTC
2000
Springer
13 years 11 months ago
2000
Springer
: This paper presents a Lab. implementation of a computer vision using fuzzy models for pattern recognition for the detection of boundaries in images obtained through a camera inst...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
—We consider the management of electric vehicle (EV) loads within a market-based Electric Power System Control Area. EV load management achieves cost savings in both (i) EV batte...
ACSC
2005
IEEE
14 years 1 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...