Search Sciweavers | Sciweavers

20638 search results - page 128 / 4128

» Computer Networks

click to vote

DSN
2009
IEEE

87views Computer Networks» more DSN 2009»

Exploiting refactoring in formal verification

15 years 4 months ago

Download www.cs.virginia.edu

Xiang Yin, John C. Knight, Westley Weimer

claim paper

Read More »

click to vote

DSN
2009
IEEE

107views Computer Networks» more DSN 2009»

Parametric NdRFT for the derivation of optimal repair strategies

15 years 4 months ago

Download www.sti.uniurb.it

Marco Beccuti, Giuliana Franceschinis, Daniele Cod...

claim paper

Read More »

click to vote

NDSS
2009
IEEE

135views Computer Networks» more NDSS 2009»

RB-Seeker: Auto-detection of Redirection Botnets

15 years 4 months ago

Download www.isoc.org

Xin Hu, Matthew Knysz, Kang G. Shin

claim paper

Read More »

click to vote

NDSS
2009
IEEE

151views Computer Networks» more NDSS 2009»

Spectrogram: A Mixture-of-Markov-Chains Model for Anomaly Detection in Web Traffic

15 years 4 months ago

Download www.isoc.org

Yingbo Song, Angelos D. Keromytis, Salvatore J. St...

claim paper

Read More »

click to vote

NOCS
2009
IEEE

104views Computer Networks» more NOCS 2009»

Packet-level static timing analysis for NoCs

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers