Sciweavers

307 search results - page 6 / 62
» java 2000
Sort
View
VLSID
2000
IEEE
89views VLSI» more  VLSID 2000»
15 years 1 months ago
Specification and Design of a Quasi-Delay-Insensitive Java Card
Fu-Chiung Cheng, Chuin-Ren Wang
ASM
2000
ASM
15 years 1 months ago
Investigating Java Concurrency Using Abstract State Machines
Yuri Gurevich, Wolfram Schulte, Charles Wallace
CCS
2000
ACM
15 years 1 months ago
A secure execution framework for Java
Manfred Hauswirth, Clemens Kerer, Roman Kurmanowyt...