554 search results - page 66 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
ISCIS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...
PIMRC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—In this paper, we review the most important performance characteristics of the 802.11 DCF wireless networks, point out some false common knowledge, and report on recent ...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—In this paper, we present MobTorrent, an ondemand, user-driven framework designed for vehicles which have intermittent high speed access to roadside WiFi access points (...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—A new 4 × 1 scheme of transmitting two real orthogonal space-time block codes (O-STBC) on the I- and Q-channels with pulse-shaped offset QAM is proposed. This scheme ac...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
— Bit interleaved coded multiple beamforming (BICMB) was previously designed to achieve full spatial multiplexing of min(N, M) and full spatial diversity of NM for N transmit and...