Sciweavers

9888 search results - page 99 / 1978
» compute 2009
Sort
View
SAC
2009
ACM
16 years 1 months ago
Bayesian bot detection based on DNS traffic similarity
Ricardo Villamarín-Salomón, Jos&eacu...
SAC
2009
ACM
16 years 1 months ago
Formalizing Desargues' theorem in Coq using ranks
ÓÖÑ Ð Þ Ò ÓÑ ØÖÝ Ø ÓÖ Ñ× Ò ÔÖÓÓ ×× ×Ø ÒØ Ð ÓÕ × ÐÐ Ò Ò º × ÑÔ × Þ Ò Ø Ð Ø Ö ØÙÖ ¸ Ø ÒÓÒ¹ Ò Ö Ý ÓÒ Ø ÓÒ× Ð × ...
Nicolas Magaud, Julien Narboux, Pascal Schreck
ICDCSW
2009
IEEE
16 years 1 months ago
An Adapting Random Walk for Ad Hoc and Sensor Networks
Adnan Noor Mian, Roberto Baldoni, Roberto Beraldi