7426 search results - page 1066 / 1486 » The LHC Computing Challenge |
161
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
197
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Existing cooperative diversity protocols are designed with the inherent assumption that users exhibit cooperative behavior all the time. However, in a practical cooperative wire...
209
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In wireless sensor networks, one of the big challenges is to achieve a satisfactory network lifetime while meeting quality of service (QoS) requirements. In this paper,...
167
click to vote
WMCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Cost is one of the key challenges facing the deployment of wireless networks. Though 802.11-based networks have shown that costly, licensed spectrum is not always necessary, the c...
183
click to vote
WMCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Air pollution, traffic congestion, stress and accidents are common features of today’s road transportation experience. New approaches to improving the efficiency and safety of t...