554 search results - page 13 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
116
click to vote
TSP
2010
14 years 4 months ago
2010
Abstract--Sensor localization using channel energy measurements of distributed sensors has been studied in various scenarios. However, it is usually assumed that the target does no...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper argues for the need to address the issue of multi-channel network performance under constraints on channel switching. We present examples from emergent directions in...
101
click to vote
PIMRC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract-- We study the Gaussian multiple-input multipleoutput (MIMO) wiretap channel, which consists of a transmitter, a legitimate user, and an eavesdropper. In this channel, the...
PIMRC
2008
IEEE
15 years 4 months ago
2008
IEEE
We study the secrecy capacity of the frequency-selective wiretap channel. Assuming that a guard interval of L symbols is inserted to avoid the inter-block interference and these s...
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...