182 search results - page 30 / 37 » Static Program Analysis for Java Card Applets |
ESORICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
VMCAI
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
122
Voted
IEEEPACT
2007
IEEE
15 years 3 months ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
PPOPP
2011
ACM
14 years 11 days ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...