1699 search results - page 252 / 340 » On the Expressive Power of QLTL |
166
click to vote
ICC
2008
IEEE
16 years 15 days ago
2008
IEEE
—Cognitive radios have the ability to sense their RF environment and adapt their transmission parameters to perform optimally in any situation. Part of this involves selecting th...
187
click to vote
ICIW
2008
IEEE
16 years 15 days ago
2008
IEEE
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
161
Voted
TOOLS
2008
IEEE
16 years 13 days ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
165
click to vote
VTC
2008
IEEE
16 years 13 days ago
2008
IEEE
— We consider the downlink of a multiuser multi-input multi-output (MIMO) broadcast channel under a single cell structure. To study the achievable link coverage performance of ze...
187
click to vote
WETICE
2008
IEEE
16 years 13 days ago
2008
IEEE
This paper describes WOLF, a development environment for WADE-based applications. WADE is a software platform, based on JADE, a popular Open Source framework, for the development ...