2935 search results - page 331 / 587 » An Integrated Approach to High Integrity Software Verificati... |
120
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The performance of prevalent MAC protocols in MANETs relies on the level of contention in networks. While contention-based MAC protocols such as CSMA suffer from inefficiency u...
172
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
In this study, we argue that modality planning in multimodal presentation systems needs to consider the modality characteristics at not only the presentational level but also the ...
194
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...
148
click to vote
ROMAN
2007
IEEE
16 years 24 days ago
2007
IEEE
— Intuitive human-robot cooperation presents a challenge to robots since it demands of them a high level of understanding of the human user. Our approach is to estimate the human...
149
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
In high density (HD) mesh networks, packet losses can occur due to co-channel interference (asynchronous interference) or collisions (synchronous interference). In this paper, we f...