554 search results - page 46 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
91
Voted
ICC
2008
IEEE
15 years 7 months ago
2008
IEEE
—This paper studies the problem of minimizing symbol loss probability while keeping the system throughput above a certain threshold in downlink transmission of future OFDMA based...
94
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—We investigate the reliability of radio channel simulators in capturing the important properties of radio channels throughout a well-specified environment. Indoor envir...
GC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
122
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
52
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— We derive new analytic approximations to the capacity distribution of frequency-selective Rayleigh fading MIMO channels. The results apply specifically to OFDM-based s...