Results 211 to 220 of about 2,954 (225)
Some of the next articles are maybe not open access.
Automatic Test Data Generation for Java Card Applications Using Genetic Algorithm
Journal of Software Engineering and Applications, 2015Mohammad Alshraideh +2 more
exaly
A light-weight compression method for Java card technology
ACM SIGBED Review, 2015Johannes Loinig, Reinhold Weis
exaly
Specification and Runtime Verification of Java Card Programs
Electronic Notes in Theoretical Computer Science, 2009Martin Musicante +2 more
exaly
JCML: A specification language for the runtime verification of Java Card programs
Science of Computer Programming, 2012Martin Musicante +2 more
exaly
Guaranteeing Correctness Properties of a Java Card Applet
Electronic Notes in Theoretical Computer Science, 2005Lars-Ake Fredlund
exaly
Operational semantics of the Java Card Virtual Machine
The Journal of Logic and Algebraic Programming, 2004exaly