1362 search results - page 43 / 273 » Model Checking Large Network Protocol Implementations |
WMASH
2005
ACM
15 years 7 months ago
2005
ACM
The unprecedented proliferation of wireless networking services and products has taken the notion of hotspots a step further to accommodate “mobile hotspots”. The deployment o...
SIGCOMM
1999
ACM
15 years 6 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
120
click to vote
EUC
2008
Springer
15 years 3 months ago
2008
Springer
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
132
click to vote
MASCOTS
1993
15 years 3 months ago
1993
: Weak-consistency replication protocols can be used to build wide-area services that are scalable, fault-tolerant, and useful for mobile computer systems. We have evaluated the ti...
123
click to vote
SENSYS
2003
ACM
15 years 7 months ago
2003
ACM
Wireless ad-hoc sensor networks have emerged as an interesting and important research area in the last few years. The applications envisioned for such networks require collaborati...