Sciweavers

3467 search results - page 123 / 694
» A New Localized Network Based Routing Model in Computer and ...
Sort
View
IPPS
2006
IEEE
14 years 3 months ago
Preserving source location privacy in monitoring-based wireless sensor networks
While a wireless sensor network is deployed to monitor certain events and pinpoint their locations, the location information is intended only for legitimate users. However, an eav...
Yong Xi, Loren Schwiebert, Weisong Shi
CPAIOR
2010
Springer
14 years 1 months ago
Constraint-Based Local Search for Constrained Optimum Paths Problems
Constrained Optimum Path (COP) problems arise in many real-life applications and are ubiquitous in communication networks. They have been traditionally approached by dedicated algo...
Pham Quang Dung, Yves Deville, Pascal Van Hentenry...
GLOBECOM
2007
IEEE
14 years 3 months ago
TCP Performance Analysis over Aggressive Physical Carrier Sensing Based Wireless Local Area Networks
— Aggressive physical carrier sensing (PCS), which improves the spatial reuse efficiency by shrinking the PCS range, is a promising technique to scale high density Wireless Loca...
Zexi Yang, Yanfeng Zhu, Zhisheng Niu, Qian Zhang
MA
2001
Springer
139views Communications» more  MA 2001»
14 years 1 months ago
Flying Emulator: Rapid Building and Testing of Networked Applications for Mobile Computers
This paper presents a mobile-agent framework for building and testing mobile computing applications. When a portable computing device is moved into and attached to a new network, t...
Ichiro Satoh
JACM
2002
163views more  JACM 2002»
13 years 8 months ago
Formal verification of standards for distance vector routing protocols
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gu...