Search Sciweavers | Sciweavers

17129 search results - page 234 / 3426

» Applied Computing

click to vote

SAC
2009
ACM

99views Applied Computing» more SAC 2009»

Enforcement monitoring wrt. the safety-progress classification of properties

16 years 1 months ago

Download www-verimag.imag.fr

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

claim paper

Read More »

109

click to vote

SAC
2009
ACM

91views Applied Computing» more SAC 2009»

Formalizing Desargues' theorem in Coq using ranks

16 years 1 months ago

Download dpt-info.u-strasbg.fr

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

Nicolas Magaud, Julien Narboux, Pascal Schreck

claim paper

Read More »

140

click to vote

SAC
2009
ACM

106views Applied Computing» more SAC 2009»

Fast mode decision for scalable video coding based on neighboring macroblock analysis

16 years 1 months ago

Download apple.cs.pusan.ac.kr

Gyeongeun Goh, Jinmi Kang, Misook Cho, Kidong Chun...

claim paper

Read More »

132

click to vote

SAC
2009
ACM

83views Applied Computing» more SAC 2009»

A biochemical metaphor for developing eternally adaptive service ecosystems

16 years 1 months ago

Download polaris.ing.unimo.it

Mirko Viroli, Matteo Casadei, Sara Montagna, Franc...

claim paper

Read More »

109

click to vote

SC
2009
ACM

214views Applied Computing» more SC 2009»

GridBot: execution of bags of tasks in multiple grids

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers