Sciweavers

8068 search results - page 45 / 1614
» Java Data Objects
Sort
View
VL
2002
IEEE
144views Visual Languages» more  VL 2002»
14 years 3 months ago
Interactive Visualization of Java Programs
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
Paul V. Gestwicki, Bharat Jayaraman
PPPJ
2003
ACM
14 years 4 months ago
A Java implemented key collision attack on the data encryption standard (DES)
A Java implementation of a key collision attack on DES suggested by Eli Biham, [1], is discussed. Storage space minimization and fast searching techniques to speed up the attack a...
John Loughran, Tom Dowling
CAV
2012
Springer
270views Hardware» more  CAV 2012»
12 years 1 months ago
Automated Termination Proofs for Java Programs with Cyclic Data
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
Marc Brockschmidt, Richard Musiol, Carsten Otto, J...
ICTCS
2007
Springer
14 years 5 months ago
Analyzing Non-Interference with respect to Classes
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
Damiano Zanardini
ESIAT
2009
IEEE
13 years 8 months ago
Design of Distributed Architecture Based on Java Remote Method Invocation Technology
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
Delin Hou, Huosong Xia