2363 search results - page 420 / 473 » How Secure is RFID |
190
Voted
OOPSLA
2004
Springer
16 years 25 days ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
191
Voted
OOPSLA
2004
Springer
16 years 25 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
174
click to vote
OOPSLA
2004
Springer
16 years 25 days ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
207
Voted
PEPM
2004
ACM
16 years 25 days ago
2004
ACM
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
173
click to vote
SAFECOMP
2004
Springer
16 years 25 days ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...