1077 search results - page 176 / 216 » Introducing Software Engineering by means of Extreme Program... |
148
click to vote
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...
217
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
106
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
113
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...