11397 search results - page 254 / 2280 » A Relational Abstraction for Functions |
184
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...
209
click to vote
ICIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study the approximation of the integration of multivariate functions classes in the quantum model of computation. We first obtain a lower bound of the n-th minimal qu...
182
click to vote
CAMP
2005
IEEE
16 years 27 days ago
2005
IEEE
Abstract— In this article we propose an architecture of a tracking system that can judge its own performance by an auto-critical function. Performance drops can be detected which...
191
click to vote
APLAS
2004
ACM
16 years 21 days ago
2004
ACM
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
196
click to vote
IFL
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...