Search Sciweavers | Sciweavers

145 search results - page 3 / 29

» sac 2009

Voted

SAC
2009
ACM

109views Applied Computing» more SAC 2009»

Bayesian bot detection based on DNS traffic similarity

15 years 10 months ago

Download mmnet.iis.sinica.edu.tw

Ricardo Villamarín-Salomón, Jos&eacu...

claim paper

Read More »

Voted

SAC
2009
ACM

91views Applied Computing» more SAC 2009»

Formalizing Desargues' theorem in Coq using ranks

15 years 10 months ago

Download dpt-info.u-strasbg.fr

ÓÖÑ Ð Þ Ò ÓÑ ØÖÝ Ø ÓÖ Ñ× Ò ÔÖÓÓ ×× ×Ø ÒØ Ð ÓÕ × ÐÐ Ò Ò º × ÑÔ × Þ Ò Ø Ð Ø Ö ØÙÖ ¸ Ø ÒÓÒ¹ Ò Ö Ý ÓÒ Ø ÓÒ× Ð × �...

Nicolas Magaud, Julien Narboux, Pascal Schreck

claim paper

Read More »

click to vote

SAC
2009
ACM

80views Applied Computing» more SAC 2009»

Key processes to start software process improvement in small companies

15 years 10 months ago

Download alarcos.inf-cr.uclm.es

Francisco J. Pino, Félix García, Mar...

claim paper

Read More »

Voted

SAC
2009
ACM

99views Applied Computing» more SAC 2009»

Enforcement monitoring wrt. the safety-progress classification of properties

15 years 10 months ago

Download www-verimag.imag.fr

Yliès Falcone, Jean-Claude Fernandez, Laure...

claim paper

Read More »

103

Voted

SAC
2009
ACM

62views Applied Computing» more SAC 2009»

Towards a compositional approach to model transformation for software development

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers