1623 search results - page 298 / 325 » No Sorting |
WDAG
1989
Springer
15 years 4 months ago
1989
Springer
We focus on unreliable asynchronous shared memory model which support only atomic read and write operations. For such a model we provide a necessary condition for the solvability ...
112
click to vote
BIRTHDAY
2007
Springer
15 years 4 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
94
Voted
CHI
2007
ACM
15 years 4 months ago
2007
ACM
Large-scale online communities need to manage the tension between critical mass and information overload. Slashdot is a news and discussion site that has used comment rating to al...
CHI
2009
ACM
15 years 4 months ago
2009
ACM
Due to the increasing penetration of mobile phones even into poor communities, mobile payment schemes could bring formal financial services to the "unbanked". However, b...
131
click to vote
MIR
2010
ACM
15 years 4 months ago
2010
ACM
Mobile devices are increasingly powerful in media storage and rendering. The prevalent request of decent video browsing on mobile devices is demanding. However, one limitation com...