58 search results - page 2 / 12 » Advanced control flow in Java card programming |
COMPSAC
2009
IEEE
14 years 28 days ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
APLAS
2003
ACM
13 years 11 months ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
EDO
2000
Springer
13 years 9 months ago
2000
Springer
Enterprise JavaBeans (EJB) is a new technology that aims at supporting distributed transactional component-based applications written in Java. In recent years, a lot of new advance...
DAGSTUHL
2001
13 years 7 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
ESOP
1999
Springer
13 years 10 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...