Sciweavers

20638 search results - page 139 / 4128
» Network Computing
Sort
View
DSN
2009
IEEE
15 years 11 months ago
Exploiting refactoring in formal verification
Xiang Yin, John C. Knight, Westley Weimer
NDSS
2009
IEEE
15 years 11 months ago
RB-Seeker: Auto-detection of Redirection Botnets
Xin Hu, Matthew Knysz, Kang G. Shin
POLICY
2009
Springer
15 years 11 months ago
Delegation Assistance
Achim D. Brucker, Helmut Petritsch, Andreas Schaad