554 search results - page 20 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
148
click to vote
GLOBECOM
2006
IEEE
16 years 4 days ago
2006
IEEE
Abstract— In this paper, we propose a new cooperative communication protocol, which achieves high bandwidth efficiency while guaranteeing full diversity order. The proposed sche...
175
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- This paper concerns the multiple access performance of spreading codes used in the downlink of multicarrier code-division multiple-access (MC-CDMA). Complex-valued sprea...
213
click to vote
SSS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper evaluates the performance of two seminal rateless erasure codes, LT Codes and Online Codes. Their properties make them appropriate for coping with communicatio...
151
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
161
click to vote
WINET
2010
15 years 4 months ago
2010
Broadcasting is an efficient and scalable way of transmitting data over wireless channels to an unlimited number of clients. In this paper the problem of allocating data to multip...