1984 search results - page 169 / 397 » The colourful feasibility problem |
177
click to vote
VTC
2008
IEEE
16 years 26 days ago
2008
IEEE
—Metropolitan wireless mesh networks are being deployed to provide broadband connectivity to city-wide hotspots. However, its commercial feasibility and business model have not y...
199
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
162
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background:Receptors and scaffold proteins possess a number of distinct domains and bind multiple partners. A common problem in modeling signaling systems arises from a combinator...
194
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
171
click to vote
JSAC
2011
14 years 9 months ago
2011
—Cognitive radio is a promising paradigm to achieve efficient utilization of spectrum resource by allowing the unlicensed users (i.e., secondary users, SUs) to access the licens...