Sciweavers

10447 search results - page 389 / 2090
» The Philosophy of Computer Science
Sort
View
ICTCS
2003
Springer
16 years 24 days ago
Compositional Verification of Secure Streamed Data: A Case Study with EMSS
Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...