2470 search results - page 304 / 494 » Liveness-Preserving Simulation Relations |
142
click to vote
MUE
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a predictive location based relaying for hybrid cellular and ad-hoc systems that can provide interference minimization to uplink transmission. In the case of dense netw...
135
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
177
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
156
click to vote
SMC
2007
IEEE
15 years 11 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Placing relays around the base station (BS) to assist wireless communication is an effective way of extending coverage in cellular systems. This paper provides a quantitative a...