1362 search results - page 3 / 273 » Model Checking Large Network Protocol Implementations |
PADS
1998
ACM
13 years 9 months ago
1998
ACM
A number of library-based parallel and sequential network simulators have been designed. This paper describes a library, called GloMoSim (for Global Mobile system Simulator), for ...
FORTE
2004
13 years 7 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
IEEECIT
2006
IEEE
14 years 1 days ago
2006
IEEE
Coverage configuration is an important issue in large scale wireless sensor networks (WSNs). Existing coverage configuration methods are generally based on the concept of physical...
ANSS
2008
IEEE
14 years 15 days ago
2008
IEEE
—Real-time network simulation refers to simulating computer networks in real time so that the virtual network can interact with real implementations of network protocols, network...
IANDC
2008
13 years 6 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...