554 search results - page 39 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
99
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract Secure video communication on mobile handheld devices is challenging mainly due to (a) the significant computational needs of both video coding and encryption algorithms ...
123
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—This paper focuses on designing a distributed medium access control algorithm that aims at achieving time fairness among contending stations and throughput maximization ...
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— A central scheduling problem in wireless communications is that of allocating resources to one of many mobile stations that have a common radio channel. Much attention ...
97
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed opportunistic scheduling (DOS) is studied for wireless ad-hoc networks in which many links contend for the channel using random access before data transmissions. Simpl...
106
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Many sensor network applications are tightly coupled with the geometric environment where the sensor nodes are deployed. The topological skeleton extraction has shown gr...