Sciweavers

1600 search results - page 259 / 320
» Clustering for opportunistic communication
Sort
View
CAV
2007
Springer
164views Hardware» more  CAV 2007»
14 years 3 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
ICCCN
2007
IEEE
14 years 3 months ago
Exploring Load-Balance to Dispatch Mobile Sensors in Wireless Sensor Networks
In this paper, a hybrid sensor network consisting of static and mobile sensors is considered, where static sensors are used to detect events, and mobile sensors can move to event l...
You-Chiun Wang, Wen-Chih Peng, Min-Hsien Chang, Yu...
APNOMS
2006
Springer
14 years 2 months ago
A Policy-Based Management Framework for Self-managed Wireless Sensor Networks
This paper proposes a policy-based management framework for self-managed wireless sensor networks (WSNs) called SNOWMAN (SeNsOr netWork MANagement). In WSNs, a number of sensor nod...
Jong-Eon Lee, Si-Ho Cha, Jae-Oh Lee, Seokjoong Kan...
APWEB
2008
Springer
14 years 1 months ago
An Energy-Efficient Multi-agent Based Architecture in Wireless Sensor Network
Wireless sensor network (WSN) containing thousands of tiny and low-power nodes can be used to monitor environment. An energy-efficient and reliable wireless communication architect...
Yi-Ying Zhang, WenCheng Yang, Kee-Bum Kim, Min-Yu ...
CCGRID
2005
IEEE
14 years 1 months ago
The Composite Endpoint Protocol (CEP): scalable endpoints for terabit flows
We introduce the Composite Endpoint Protocol (CEP) which efficiently composes a set of transmission elements to support high speed flows which exceed the capabilities of a single...
Eric Weigle, Andrew A. Chien