7890 search results - page 1330 / 1578 » The MathSAT 3 System |
176
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
199
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Over the course of a day a human interacts with tens or hundreds of individual objects. Many of these articles are nomadic, relying on human memory to manually index, inventory, o...
187
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
185
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Diagnosing production run failures is a challenging yet important task. Most previous work focuses on offsite diagnosis, i.e. development site diagnosis with the programmers prese...
158
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
The Web makes it possible for news readers to learn more about virtually any story that interests them. Media outlets and search engines typically augment their information with l...