986 search results - page 151 / 198 » Simulation Modeling of Weak-Consistency Protocols |
TC
2010
13 years 2 months ago
2010
It is imperative to design efficient and effective online spectrum allocation methods since requests for spectrums often come in an online fashion. In this paper, we propose SALSA,...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
CN
2002
13 years 7 months ago
2002
The statistical characteristics of network traffic - in particular the observation that it can exhibit long range dependence - have received considerable attention from the resear...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
We investigate the impact of power control on latency in wireless ad-hoc networks. If transmission power is increased, interference increases, thus reducing network capacity. A no...