554 search results - page 35 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
110
click to vote
ENTCS
2008
15 years 21 days ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
108
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract—This paper studies an efficient receiver design for concatenated space-frequency coded orthogonal frequency division multiplexing (OFDM) systems under severe multipath c...
124
Voted
TIT
2010
14 years 7 months ago
2010
Abstract--The role of multiple antennas for secure communication is investigated within the framework of Wyner's wiretap channel. We characterize the secrecy capacity in terms...
77
Voted
VTC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— We consider the performance of underwater acoustic ad-hoc networks. We assume a uniform distribution of the nodes over a finite area. The node-to-node channel is model...
124
click to vote
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...