Sciweavers

12 search results - page 1 / 3
» ictcs 2003
Sort
View
59
Voted
ICTCS
2003
Springer
15 years 2 months ago
Towards a Smart Compilation Manager for Java
Giovanni Lagorio
75
Voted
ICTCS
2003
Springer
15 years 2 months ago
Compositional Verification of Secure Streamed Data: A Case Study with EMSS
Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...
57
Voted
ICTCS
2003
Springer
15 years 2 months ago
Security-Aware Program Transformations
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...