623 search results - page 88 / 125 » Declarative Network Verification |
MUE
2007
IEEE
14 years 3 months 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...
WS
2004
ACM
14 years 2 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...
IPSN
2004
Springer
14 years 2 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...
CLUSTER
2001
IEEE
14 years 10 days 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...
CCR
2006
13 years 8 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...