18 search results - page 1 / 4 » J-Sim: An Integrated Environment for Simulation and Model Ch... |
IPPS
2007
IEEE
13 years 11 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...
ICNS
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper introduces a fault-tolerant group communication protocol that is aimed at grid and wide area environments. The protocol has two layers. The lower layer provides a total...
TRIDENTCOM
2005
IEEE
13 years 10 months ago
2005
IEEE
Discrete-event packet-level network simulation is well-known and widely used. Network emulation is a hybrid approach that combines real elements of a deployed networked applicatio...
WONS
2005
IEEE
13 years 10 months ago
2005
IEEE
Developing and evaluating protocols and applications for mobile ad-hoc networks requires significant organisational effort when real mobile ad-hoc networks with several mobile te...
DSRT
2006
IEEE
13 years 11 months ago
2006
IEEE
In MANETs, majority of performance studies are carried out via simulations, where node mobility and radio propagation models play a crucial role. However, popular simulation tools...