Sciweavers

7329 search results - page 1287 / 1466
» Network Extractor Protocols
Sort
View
143
Voted
ICASSP
2009
IEEE
15 years 1 months ago
Fast mean square convergence of consensus algorithms in WSNs with random topologies
The average consensus in wireless sensor networks is achieved under assumptions of symmetric or balanced topology at every time instant. However, communication and/or node failure...
Silvana Silva Pereira, Alba Pagès-Zamora
ICC
2009
IEEE
121views Communications» more  ICC 2009»
15 years 1 months ago
Cooperative Cognitive Radio with Priority Queueing Analysis
In this paper, we model the hierarchical structures inherent in cognitive radio networks as the priority queueing system in which primary users interact with the highest priority a...
Caoxie Zhang, Xinbing Wang, Jun Li
ICUMT
2009
15 years 1 months ago
Coordinate-based routing: Refining nodeIds in structured peer-to-peer systems
Structured peer-to-peer systems--also known as key-based routing protocols--offer a base for a broad range of applications. In the past, different topology adaptation mechanisms fo...
Fabian Hartmann, Bernhard Heep
CCR
2011
14 years 11 months ago
Session reports for SIGCOMM 2010
This document collects together reports of the sessions from the 2010 ACM SIGCOMM Conference, the annual conference of the ACM Special Interest Group on Data Communication (SIGCOM...
Shailesh Agrawal, Kavitha Athota, Pramod Bhatotia,...
NFM
2011
223views Formal Methods» more  NFM 2011»
14 years 11 months ago
opaal: A Lattice Model Checker
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Andreas Engelbredt Dalsgaard, René Rydhof H...
« Prev « First page 1287 / 1466 Last » Next »