554 search results - page 64 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
162
click to vote
ICC
2009
IEEE
16 years 27 days ago
2009
IEEE
—With the opening of the 60 GHz spectrum for WLANs, there has been a great deal of interest in academia and industry on how best to exploit the more than 5 GHz of available bandw...
159
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— We present a detailed analysis of the loss performance in an optical buffer having access to a single outgoing channel. Such a system - consisting of a number of fiber delay li...
152
click to vote
STOC
2010
ACM
15 years 11 months ago
2010
ACM
In STOC’05, von Ahn, Hopper and Langford introduced the notion of covert computation. In covert computation, a party runs a secure computation protocol over a covert (or stegano...
143
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
— Given an AWGN channel, we look at the problem of designing a source controlled binary antipodal signaling system for transmitting blocks of binary symbols generated either by a...
177
click to vote
GLOBECOM
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract—We address the problem of maximizing the minimum signal to interference and noise ratio of individual users via linear precoding in a multiuser downlink channel with mul...