6796 search results - page 123 / 1360 » Java for Embedded Systems |
106
Voted
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
117
click to vote
SP
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an experimental study showing that soft memory errors can lead to serious security vulnerabilities in Java and .NET virtual machines, or in any system that relies on ty...
112
click to vote
SEKE
2001
Springer
15 years 6 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
129
Voted
JUCS
2008
15 years 2 months ago
2008
: The latest versions of AspectJ, the most popular aspect-oriented extension for Java, must cope with the complex changes that occurred in the Java type system, specially with thos...
126
click to vote
ESOP
2007
Springer
15 years 6 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...