6796 search results - page 36 / 1360 » Java for Embedded Systems |
AMAST
2004
Springer
14 years 23 days ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
CSSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Embedded systems have been used widely promoted by the advancement of semiconductor technology. This also makes embedded system education a challenge for the universities. The cur...
IH
2005
Springer
14 years 2 months ago
2005
Springer
We describe a dynamic software watermark embedded in the memory trace of an executing Java program. Our approach is a generalisation of the spread–transform watermarking techniqu...
FMOODS
2003
13 years 10 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
CASSIS
2004
Springer
14 years 2 months ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...