2880 search results - page 479 / 576 » Types are calling conventions |
154
click to vote
SP
2006
IEEE
16 years 11 days ago
2006
IEEE
Attackers and defenders of computer systems both strive to gain complete control over the system. To maximize their control, both attackers and defenders have migrated to low-leve...
227
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
221
click to vote
DIGRA
2005
Springer
15 years 11 months ago
2005
Springer
Is there a way to analyze games by the means of a game? Is there a way to brainstorm game ideas and design solutions through theory? Finnish scholar and game designer Aki Järvine...
192
click to vote
MUM
2004
ACM
15 years 11 months ago
2004
ACM
Within the expanding paradigm of medical imaging and wireless communications there is increasing demand for transmitting diagnostic medical imagery over error-prone wireless commu...
180
click to vote
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...