554 search results - page 77 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— The sparse nature of location finding problem makes the theory of compressive sensing desirable for indoor positioning in Wireless Local Area Networks (WLANs). In this...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
The communication protocol IEEE 802.15.4 is becoming pervasive for low power and low data rate wireless sensor networks (WSNs) applications, including control and automation. Never...
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— The emergence of future pervasive ICT environments, characterized by the massive proliferation of embedded electronic devices with communication and computing capabilit...
IH
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Traditionally, cryptographic protocols are described as a sequence of steps, in each of which one principal sends a message to another. It is assumed that the fundamental...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— Most mobile wireless networking research today relies on simulations. However, fidelity of simulation results has always been a concern, especially when the protocols being st...