Sciweavers

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