849 search results - page 44 / 170 » Network-Aware Distributed Computing: A Case Study |
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
—We obtain detailed analytic formulas for the density and probability distribution of the waiting time in a time-division multiple-access (TDMA) model with a finite buffer and s...
IFIP13
2004
13 years 9 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocol...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
MOBIHOC
2004
ACM
14 years 1 months ago
2004
ACM
In third generation (3G) wireless data networks, repeated requests for popular data items can exacerbate the already scarce wireless spectrum. In this paper we propose an architec...