1362 search results - page 165 / 273 » Model Checking Large Network Protocol Implementations |
118
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— After identifying that current GMPLS specifications only allow for the implementation of a call blocking mode of operation that handles immediate-request calls (not book-ahead...
121
Voted
IPSN
2005
Springer
15 years 8 months ago
2005
Springer
Surveillance has been a typical application of wireless sensor networks. To conduct surveillance of a given area in real life, one can use stationary watch towers, or can also use...
106
Voted
SOSP
1997
ACM
15 years 4 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
136
click to vote
CLUSTER
2003
IEEE
15 years 8 months ago
2003
IEEE
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
153
click to vote
MASCOTS
2010
15 years 4 months ago
2010
Mobility models have traditionally been tailored to specific application domains such as human, military, or ad hoc transportation scenarios. This tailored approach often renders a...