Sciweavers

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