554 search results - page 75 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
WICOMM
2010
13 years 7 months ago
2010
The rapid proliferation of wireless systems makes interference management more and more important. This paper presents a novel cognitive coexistence framework, which enables an in...
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
—The problem of Adjacent Satellite Interference (ACI) within the Direct-To-Home (DTH) satellite broadcast reception scenario is considered. The use of small DTH frontend receptio...
CMSB
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
EUROPAR
2007
Springer
14 years 2 months ago
2007
Springer
We study the connectivity properties of a family of random graphs which closely model the Bluetooth’s device discovery process, where each device tries to connect to other device...
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Recent studies have been conducted to indicate the ineffective usage of licensed bands due to the static spectrum allocation. In order to improve the spectrum utilizatio...