2253 search results - page 406 / 451 » The ComFoRT Reasoning Framework |
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper introduces a model-based approach to estimating longitudinal wheel slip and detecting immobilized conditions of autonomous mobile robots operating on outdoor terrain...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— In this paper, we address the problem of cross-layer denial of service attack in wireless data networks. We introduce SPREAD - a novel adaptive diversification approach to pro...
123
click to vote
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— The performances in cooperative communications depend on careful resource allocation such as relay selection and power control, but traditional centralized resource allocation ...
ISVLSI
2007
IEEE
15 years 4 months ago
2007
IEEE
Although RTL power macromodeling is a mature research topic, it is not yet broadly accepted in the industrial environment. One of the main reasons impairing its widespread use as ...
104
click to vote
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...