554 search results - page 57 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
Active applications can add value to communication. Yet it involves sophisticated domain knowledge and complex development process. In this paper we discuss a framework for the co...
PIMRC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract-We study the design parameters of pilot-symbolassisted modulation (PSAM) schemes for spatially correlated single-input multiple-output (SIMO) systems in time-varying Gauss...
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper studies the mutual information transfer characteristics of a novel iterative soft interference cancellation (SIC) aided beamforming receiver designed for qua...
JSAC
2006
13 years 8 months ago
2006
Abstract--In this paper, we investigate the dynamic resource allocation adapted to spread-spectrum multicarrier multiple-access (SS-MC-MA) systems in a multiuser power line communi...
NBIS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—The operation of achieving authenticated key agreement between two human-operated mobile devices over a short range wireless communication channel, such as Bluetooth or ...