Sciweavers

554 search results - page 52 / 111
» Abstraction of Communication Channels in Promela: A Case Stu...
Sort
View
92
Voted
INFOCOM
2007
IEEE
15 years 6 months ago
Proactive Scan: Fast Handoff with Smart Triggers for 802.11 Wireless LAN
Abstract— It has been a challenging problem to support VoIPtype delay sensitive applications in an 802.11 wireless LAN, because the standard handoff procedure implemented in many...
Haitao Wu, Kun Tan, Yongguang Zhang, Qian Zhang
COMPSAC
2009
IEEE
15 years 5 months ago
Towards the Operational Semantics of User-Centric Communication Models
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Esp...
DAC
2003
ACM
16 years 1 months ago
An IDF-based trace transformation method for communication refinement
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
Andy D. Pimentel, Cagkan Erbas
PERCOM
2010
ACM
14 years 11 months ago
Resilient image sensor networks in lossy channels using compressed sensing
—Data loss in wireless communications greatly affects the reconstruction quality of a signal. In the case of images, data loss results in a reduction in quality of the received i...
Scott Pudlewski, Arvind Prasanna, Tommaso Melodia
136
Voted
ANTSW
2010
Springer
14 years 10 months ago
Coordinating Heterogeneous Swarms through Minimal Communication among Homogeneous Sub-swarms
robotics, the agents are often assumed to be identical. In this abstract, we argue that the cooperation between swarms of different kinds of robots can enhance the capabilities of ...
Carlo Pinciroli, Rehan O'Grady, Anders Lyhne Chris...