386 search results - page 53 / 78 » Providing Fine-grained Access Control for Java Programs |
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...
127
click to vote
MICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
150
Voted
LCTRTS
2000
Springer
15 years 5 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
107
Voted
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
160
click to vote
ESE
2006
15 years 1 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...