408 search results - page 2 / 82 » Towards a Logic for Performance and Mobility |
ACSD
2010
IEEE
13 years 2 months ago
2010
IEEE
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...
IROS
2009
IEEE
13 years 11 months ago
2009
IEEE
— This paper presents a feature based 3D mapping approach with regard to obtaining compact models of semistructured environments such as partially destroyed buildings where mobil...
ICRA
2006
IEEE
13 years 10 months ago
2006
IEEE
— Communication is essential for coordination in most cooperative control and sensing paradigms. In this paper, we present an experimental study of strategies for maintaining end...
GCC
2007
Springer
13 years 6 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
SBIA
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. The aim of this paper is to study a family of logics that approximates classical inference, in which every step in the approximation can be decided in polynomial time. Fo...