Sciweavers

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