Sciweavers

17129 search results - page 234 / 3426
» Applied Computing
Sort
View
SAC
2009
ACM
16 years 1 months ago
Formalizing Desargues' theorem in Coq using ranks
ÓÖÑ Ð Þ Ò ÓÑ ØÖÝ Ø ÓÖ Ñ× Ò ÔÖÓÓ ×× ×Ø ÒØ Ð ÓÕ × ÐÐ Ò Ò º × ÑÔ × Þ Ò Ø Ð Ø Ö ØÙÖ ¸ Ø ÒÓÒ¹ Ò Ö Ý ÓÒ Ø ÓÒ× Ð × ...
Nicolas Magaud, Julien Narboux, Pascal Schreck
SAC
2009
ACM
16 years 1 months ago
A biochemical metaphor for developing eternally adaptive service ecosystems
Mirko Viroli, Matteo Casadei, Sara Montagna, Franc...
SC
2009
ACM
16 years 1 months ago
GridBot: execution of bags of tasks in multiple grids
Mark Silberstein, Artyom Sharov, Dan Geiger, Assaf...