3995 search results - page 286 / 799 » Model-Driven Design of Distributed Applications |
117
click to vote
ICFP
2007
ACM
16 years 3 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...
149
Voted
SOSP
2009
ACM
16 years 12 days 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 ...
138
click to vote
SAC
2010
ACM
15 years 10 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...
117
Voted
PPPJ
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we present a JXTA-based platform, called Juxta-CAT, which is an effort to use the JXTA architecture to build a job execution-sharing distributed environment. The Ju...
134
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
It is widely believed that diversity in operating systems, software packages, and hardware platforms will decrease the virulence of worms and the effectiveness of repeated applic...