623 search results - page 88 / 125 » Declarative Network Verification |
154
Voted
MUE
2007
IEEE
16 years 11 days ago
2007
IEEE
Swarm Intelligence (SI) inspired routing algorithms have become a research focus in recent years due to their self-organizing nature, which is very suitable to the routing problem...
140
click to vote
WS
2004
ACM
15 years 11 months ago
2004
ACM
802.11i is an IEEE standard designed to provide enhanced MAC security in wireless networks. The authentication process involves three entities: the supplicant (wireless device), t...
162
click to vote
IPSN
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
175
click to vote
CLUSTER
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper describes GulfStream, a scalable distributed software system designed to address the problem of managing the network topology in a multi-domain server farm. In particul...
175
Voted
CCR
2006
15 years 6 months ago
2006
The Probe Gap Model (PGM) was proposed as a lightweight and fast available bandwidth estimation method. Measurement tools such as Delphi and Spruce are based on PGM. Compared to e...