Sciweavers

3872 search results - page 71 / 775
» The Java memory model
Sort
View
JTRES
2010
ACM
14 years 9 months ago
A locality model for the real-time specification for Java
Abdul Haseeb Malik, Andy J. Wellings, Yang Chang
FORTE
2009
14 years 9 months ago
A Type Graph Model for Java Programs
Arend Rensink, Eduardo Zambon
ICSM
2005
IEEE
15 years 5 months ago
Static Analysis of Object References in RMI-Based Java Software
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
Mariana Sharp, Atanas Rountev
ICSE
2004
IEEE-ACM
15 years 12 months ago
Using Compressed Bytecode Traces for Slicing Java Programs
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
Tao Wang, Abhik Roychoudhury
CCS
2009
ACM
15 years 6 months ago
Anonymous credentials on a standard java card
Secure identity tokens such as Electronic Identity (eID) cards are emerging everywhere. At the same time usercentric identity management gains acceptance. Anonymous credential sch...
Patrik Bichsel, Jan Camenisch, Thomas Groß, ...