Sciweavers

17920 search results - page 420 / 3584
» Recentering computer science
Sort
View
ICTCS
2003
Springer
16 years 1 days ago
Security-Aware Program Transformations
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
ICTCS
2003
Springer
16 years 1 days ago
Compositional Verification of Secure Streamed Data: A Case Study with EMSS
Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...