10568 search results - page 1765 / 2114 » Computer Intelligence and Formalization |
155
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
In aspect-oriented programming languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if p...
116
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
CT Cellphones have the potential to improve education for the millions of underprivileged users in the developing world. However, mobile learning in developing countries remains un...
148
click to vote
ICIW
2009
IEEE
15 years 11 months ago
2009
IEEE
BitTorrent and Practical Network Coding are efficient methods for sharing files in a peer-to-peer network. Both face the problem to distribute a given file using peers with dif...
184
click to vote
FDG
2009
ACM
15 years 11 months ago
2009
ACM
In recent years the popularity of music and rhythm-based games has experienced tremendous growth. However almost all of these games require custom hardware to be used as input dev...
135
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
Quorums are a basic construct in solving many fundamental distributed computing problems. One of the known ways of making quorums scalable and efficient is by weakening their int...