5015 search results - page 878 / 1003 » Model Checking a Path |
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— Link and node reliability are important metrics in wireless ad hoc networks. Therefore, evaluating and quantifying reliability has become the cornerstone of research in this ď¬...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper presents an architecture for adaptive cognitive radio networks based on the concept of a “global control plane”. The proposed control architecture uses a predete...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper addresses the problem of designing a power-aware Multiple Access Control (MAC) protocol for Multihop Wireless Networks (MHWN). The problem is formulated as a cross l...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— IETF has proposed Mobile IPv6-based Network Mobility (NEMO) basic support protocol (BSP) to support network mobility. NEMO BSP inherits all the drawbacks of Mobile IPv6...
ICCCN
2007
IEEE
14 years 4 months ago
2007
IEEE
—Signaling protocols for GMPLS networks have been standardized and implemented in switch controllers. Most switch vendors allow for signaling messages to be carried over inband s...