4814 search results - page 417 / 963 » Combining abstract interpreters |
177
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...
200
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
152
click to vote
ICA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper derives a new algorithm that performs independent component analysis (ICA) by optimizing the contrast function of the RADICAL algorithm. The core idea of the p...
174
click to vote
ICANNGA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A new Genetic Programming variant called Liquid State Genetic Programming (LSGP) is proposed in this paper. LSGP is a hybrid method combining a dynamic memory for storing...
190
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We compared a support vector machine (SVM) with a back propagation neural network (BPNN) for the task of text classification of XiangShan science conference (XSSC) web do...