Sciweavers

17185 search results - page 198 / 3437
» Computational and Quantitative Studies
Sort
View
ICTCS
2003
Springer
16 years 11 days ago
Compositional Verification of Secure Streamed Data: A Case Study with EMSS
Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...