Sciweavers

1674 search results - page 227 / 335
» On the Optimality of the ARQ-DDF Protocol
Sort
View
PSTV
1992
113views Hardware» more  PSTV 1992»
15 years 7 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
ATAL
2010
Springer
15 years 7 months ago
Agents towards vehicle routing problems
A multi-agent VRP solver is presented in this paper. It utilizes the contract-net protocol based allocation and several improvement strategies. It provides the solution with the q...
Jirí Vokrínek, Antonín Komend...
DEXAW
2009
IEEE
141views Database» more  DEXAW 2009»
15 years 7 months ago
Improving Practical Performance on Secure and Private Collaborative Linear Programming
Although information sharing in supply chain management dramatically reduces costs, parties are reluctant to do so, mainly due to fear of information leakage. Solutions based on se...
Rafael Deitos, Florian Kerschbaum
AIMS
2010
Springer
15 years 6 months ago
Adaptive Underwater Acoustic Communications
Underwater wireless networks consist of mobile and static nodes, which usually communicate using the acoustic channel since radio transmissions attenuate rapidly and optical commun...
Anuj Sehgal, Jürgen Schönwälder
CCR
2010
203views more  CCR 2010»
15 years 6 months ago
Minimizing energy consumptions in wireless sensor networks via two-modal transmission
We present a sophisticated framework to systematically explore the temporal correlation in environmental monitoring wireless sensor networks. The presented framework optimizes los...
Yao Liang, Wei Peng