554 search results - page 90 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
141
click to vote
FOSSACS
2001
Springer
15 years 5 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
138
click to vote
CORR
2007
Springer
15 years 13 days ago
2007
Springer
Abstract— In this paper, collocated and distributed spacetime block codes (DSTBCs) which admit multi-group maximum likelihood (ML) decoding are studied. First the collocated case...
102
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—This paper studies the problem of utility maximization for clients with delay based QoS requirements in wireless networks. We adopt a model used in a previous work that ...
115
Voted
TWC
2011
14 years 7 months ago
2011
Abstract—Regulation in Europe and Japan requires the implementation of detect-and-avoid (DAA) techniques in some bands for the coexistence of licensed primary systems and seconda...
80
Voted
COMPCON
1995
IEEE
15 years 4 months ago
1995
IEEE
A link is an unreliable FIFO channel. As we mentioned earlier, it is an abstraction of a point-topoint wire or of a simple broadcast LAN. It is unreliable because noise or other ph...