Sciweavers

396 search results - page 80 / 80
» Process Migration: A Generalized Approach Using a Virtualizi...
Sort
View
TOPLAS
2008
138views more  TOPLAS 2008»
14 years 11 months ago
Decomposing bytecode verification by abstract interpretation
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
Cinzia Bernardeschi, Nicoletta De Francesco, Giuse...