Sciweavers

2470 search results - page 397 / 494
» Liveness-Preserving Simulation Relations
Sort
View
112
Voted
NEW2AN
2007
Springer
15 years 6 months ago
Performance Analysis of the REAchability Protocol for IPv6 Multihoming
Abstract. There is ongoing work on the IETF aimed to provide support for different flavors of multihoming configurations, such as SHIM6 for multihomed sites, multiple CoAs suppo...
Antonio de la Oliva, Marcelo Bagnulo, Alberto Garc...
110
Voted
SCALESPACE
2007
Springer
15 years 6 months ago
A Consistent Spatio-temporal Motion Estimator for Atmospheric Layers
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
Patrick Héas, Étienne Mémin, ...
105
Voted
SOFSEM
2007
Springer
15 years 6 months ago
Incremental Learning of Planning Operators in Stochastic Domains
In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment c...
Javad Safaei, Gholamreza Ghassem-Sani
105
Voted
TELETRAFFIC
2007
Springer
15 years 6 months ago
Quality-of-Service Provisioning for Multi-service TDMA Mesh Networks
Multi-service mesh networks allow existence of guaranteed delay Quality-of-Service (QoS) traffic streams such as Voice over IP and best effort QoS traffic streams such as file tr...
Petar Djukic, Shahrokh Valaee
UIC
2007
Springer
15 years 6 months ago
Self-deployment of Mobile Nodes in Hybrid Sensor Networks by AHP
Abstract. The proper deployment of sensors is very important for the successful completion of the sensing tasks due to the inevitable relation with the physical world. This paper p...
Xiaoling Wu, Jinsung Cho, Brian J. d'Auriol, Sungy...