Sciweavers

20638 search results - page 128 / 4128
» Computer Networks
Sort
View
DSN
2009
IEEE
15 years 11 months ago
Exploiting refactoring in formal verification
Xiang Yin, John C. Knight, Westley Weimer
DSN
2009
IEEE
15 years 11 months ago
Parametric NdRFT for the derivation of optimal repair strategies
Marco Beccuti, Giuliana Franceschinis, Daniele Cod...
NDSS
2009
IEEE
15 years 11 months ago
RB-Seeker: Auto-detection of Redirection Botnets
Xin Hu, Matthew Knysz, Kang G. Shin
125
Voted
NDSS
2009
IEEE
15 years 11 months ago
Spectrogram: A Mixture-of-Markov-Chains Model for Anomaly Detection in Web Traffic
Yingbo Song, Angelos D. Keromytis, Salvatore J. St...
NOCS
2009
IEEE
15 years 11 months ago
Packet-level static timing analysis for NoCs
Evgeni Krimer, Mattan Erez, Isaac Keslassy, Avinoa...