94 search results - page 3 / 19 » Sponsors and Supporters |
ELPUB
2007
ACM
13 years 11 months ago
2007
ACM
This paper draws on the results of recent research into digital publishing in Latin America sponsored by the European Commission's ALFA programme. It outlines the growth in p...
SIGCOMM
2004
ACM
14 years 13 days ago
2004
ACM
While application end-point architectures have proven to be viable solutions for large-scale distributed applications such as distributed computing and file-sharing, there is lit...
SIGSOFT
2009
ACM
14 years 7 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
AISC
2004
Springer
14 years 13 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
XPU
2007
Springer
14 years 1 months ago
2007
Springer
Most programmers are familiar with the notion that adding new resources to a project will most likely slow down progress if not bring it to a complete stop while new team members a...