10733 search results - page 660 / 2147 » Distributed XML design |
183
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
204
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Automotive traffic monitoring using probe vehicles with Global Positioning System receivers promises significant improvements in cost, coverage, and accuracy. Current approaches, ...
221
click to vote
SOSP
2009
ACM
16 years 4 months ago
2009
ACM
This paper addresses the problem of scheduling concurrent jobs on clusters where application data is stored on the computing nodes. This setting, in which scheduling computations ...
225
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
Developing countries face significant challenges in network access, making even simple network tasks unpleasant. Many standard techniques—caching and predictive prefetching— ...
201
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
Target tracking is an important issue in wireless sensor network applications. In this paper, we design a Coverage-Hole Trap Model (CTM) based on a system that contains one moving...