Results 231 to 240 of about 673,528 (247)

Punch cards vs Java

XRDS: Crossroads, The ACM Magazine for Students, 2010
openaire   +2 more sources

A light-weight compression method for Java card technology

ACM SIGBED Review, 2015
Christian Steger, Reinhold Weis, Johannes Loinig   +2 more
exaly  

JCSI: A tool for checking secure information flow in Java Card applications

Journal of Systems and Software, 2012
Paolo Masci, Marco Avvenuti, Cinzia Bernardeschi   +2 more
exaly  

Java Card and OCF

2000
Uwe Hansmann, Martin S. Nicklous, Thomas Schäck, Frank Seliger   +3 more
openaire   +1 more source

A Novel Buffer Cache Scheme Using Java Card Object with High Locality for Efficient Java Card Applications

Lecture Notes in Computer Science, 2007
Min-Soo Jung, Won-Ho Choi, Ha-Yong Jeon
exaly  

JCML: A specification language for the runtime verification of Java Card programs

Science of Computer Programming, 2012
Martin A. Musicante, Umberto S Costa, Anamaría Martins Moreira   +2 more
exaly  

Hardware/software co-design for a high-performance Java Card interpreter in low-end embedded systems

Microprocessors and Microsystems, 2015
Christian Steger, Reinhold Weis, Johannes Loinig   +2 more
exaly  

Advanced control flow in Java card programming

ACM SIGPLAN Notices, 2004
exaly   +2 more sources

An Introduction to Java Card Programming

2014
Raja Akram, Konstantinos Markantonakis, Keith Mayes   +2 more
exaly  

Combined Software and Hardware Attacks on the Java Card Control Flow

Lecture Notes in Computer Science, 2011
Guillaume Bouffard, Jean-Louis Lanet
exaly