26 search results - page 2 / 6 » A Type System for Java Bytecode Subroutines |
OOPSLA
1998
Springer
13 years 9 months ago
1998
Springer
IJNSEC
2007
13 years 4 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
ESOP
2007
Springer
13 years 8 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
APSEC
2008
IEEE
13 years 11 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
CASES
2007
ACM
13 years 9 months ago
2007
ACM
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...