11484 search results - page 636 / 2297 » Modeling in the Large and Modeling in the Small |
174
click to vote
ERLANG
2006
ACM
16 years 1 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
205
click to vote
CCGRID
2005
IEEE
16 years 1 months ago
2005
IEEE
Knowledge about the workload is an important aspect for scheduling of resources as parallel computers or Grid components. As the scheduling quality highly depends on the character...
173
click to vote
ICAC
2005
IEEE
16 years 1 months ago
2005
IEEE
Methods for automatically managing the performance of computing services must estimate a performance model of that service. This paper explores properties that are necessary for p...
197
click to vote
ICNP
2003
IEEE
16 years 20 days ago
2003
IEEE
Peer-to-peer systems have quickly become a popular way for file sharing and distribution. In this paper, we focus on the subsystem consisting of peers and their actions relative ...
211
click to vote
MOBICOM
2003
ACM
16 years 19 days ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...