1711 search results - page 60 / 343 » Completing pseudojump operators |
WCRE
2005
IEEE
14 years 1 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
TABLEAUX
2005
Springer
14 years 1 months ago
2005
Springer
We extend classical first-order logic with subtyping by type predicates and type coercion. Type predicates assert that the value of a term belongs to a more special type than the ...
IFL
2004
Springer
14 years 1 months 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...
NIME
2004
Springer
14 years 1 months ago
2004
Springer
The Epipe is a novel electronic woodwind controller with continuous tonehole coverage sensing, an initial design for which was introduced at NIME ’03. Since then, we have succes...
ACSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...