Sciweavers

10392 search results - page 393 / 2079
» Introduction to Computer Science
Sort
View
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...
159
Voted
CSIE
2009
IEEE
15 years 11 months ago
Web-Based Troubleshooter Generation for System Administration
Takao Shimomura, Kenji Ikeda, Muneo Takahashi