Sciweavers

3872 search results - page 71 / 775
» The Java memory model
Sort
View
111
Voted
JTRES
2010
ACM
15 years 3 days ago
A locality model for the real-time specification for Java
Abdul Haseeb Malik, Andy J. Wellings, Yang Chang
111
Voted
FORTE
2009
14 years 12 months ago
A Type Graph Model for Java Programs
Arend Rensink, Eduardo Zambon
114
Voted
ICSM
2005
IEEE
15 years 7 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
134
Voted
ICSE
2004
IEEE-ACM
16 years 2 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
121
Voted
CCS
2009
ACM
15 years 9 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ß, ...