Search Sciweavers | Sciweavers

145 search results - page 3 / 29

» sac 2009

click to vote

SAC
2009
ACM

109views Applied Computing» more SAC 2009»

Bayesian bot detection based on DNS traffic similarity

16 years 21 days ago

Download mmnet.iis.sinica.edu.tw

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

claim paper

Read More »

107

click to vote

SAC
2009
ACM

91views Applied Computing» more SAC 2009»

Formalizing Desargues' theorem in Coq using ranks

16 years 21 days ago

Download dpt-info.u-strasbg.fr

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

Nicolas Magaud, Julien Narboux, Pascal Schreck

claim paper

Read More »

120

click to vote

SAC
2009
ACM

80views Applied Computing» more SAC 2009»

Key processes to start software process improvement in small companies

16 years 21 days ago

Download alarcos.inf-cr.uclm.es

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

claim paper

Read More »

click to vote

SAC
2009
ACM

99views Applied Computing» more SAC 2009»

Enforcement monitoring wrt. the safety-progress classification of properties

16 years 21 days ago

Download www-verimag.imag.fr

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

claim paper

Read More »

126

click to vote

SAC
2009
ACM

62views Applied Computing» more SAC 2009»

Towards a compositional approach to model transformation for software development

16 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers