Sciweavers

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