2162 search results - page 330 / 433 » A Meta-Notation for Protocol Analysis |
CISS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Two fundamental properties of wireless networks, the variable link quality and the broadcast nature of the transmission, have often been ignored in the design of routing protoc...
EUROMICRO
2007
IEEE
15 years 4 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Wireless multi-hop, mesh networks are being considered as a candidate to backhaul data traffic from access networks to the wired Internet. These mesh networks are referred to a...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
– MIMO (Multiple Input Multiple Output) is capable of offering several-fold increase in spectral efficiency over singleantenna systems through spatial processing. However, curren...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
: Increasing speed of hardware device and versatile functionalities of small equipments e.g. laptop, PDA etc. are introducing various voice oriented applications with mobility. Lik...