Sciweavers

1245 search results - page 115 / 249
» Topology generation based on network design heuristics
Sort
View
IWCMC
2006
ACM
16 years 11 days ago
VANETCODE: network coding to enhance cooperative downloading in vehicular ad-hoc networks
Inter-vehicular communication is fast emerging as a popular application for mobile ad-hoc networks. Content distribution in Vehicular Ad-Hoc Networks (VANET) is particularly chall...
Shabbir Ahmed, Salil S. Kanhere
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 12 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
ICDCS
2010
IEEE
15 years 8 months ago
Minimizing Probing Cost and Achieving Identifiability in Network Link Monitoring
Continuously monitoring the link performance is important to network diagnosis. Recently, active probes sent between end systems are widely used to monitor the link performance. I...
Qiang Zheng, Guohong Cao
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
15 years 11 months ago
A Circuit SAT Solver With Signal Correlation Guided Learning
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...
Feng Lu, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. H...
TON
2010
171views more  TON 2010»
15 years 1 months ago
Constructing Maximum-Lifetime Data-Gathering Forests in Sensor Networks
Abstract--Energy efficiency is critical for wireless sensor networks. The data-gathering process must be carefully designed to conserve energy and extend network lifetime. For appl...
Yan Wu, Zhoujia Mao, Sonia Fahmy, Ness B. Shroff