Sciweavers

1255 search results - page 187 / 251
» A Proof Environment for the Development of Group Communicati...
Sort
View
ICOIN
2001
Springer
14 years 4 days ago
Pervasive Adaptation for Mobile Computing
Mobile Computing platforms such as mobile phones, PDAs or wearable computers operate in a much more volatile and limited environment than their stationary counterparts. Such platf...
Tim Edmonds, Andy Hopper, Steve Hodges
POLICY
2001
Springer
14 years 4 days ago
IPSec/VPN Security Policy: Correctness, Conflict Detection, and Resolution
IPSec (Internet Security Protocol Suite) functions will be executed correctly only if its policies are correctly specified and configured. Manual IPSec policy configuration is inef...
Zhi Fu, Shyhtsun Felix Wu, He Huang, Kung Loh, Fen...
CDC
2008
IEEE
14 years 2 months ago
Simultaneous placement and assignment for exploration in mobile backbone networks
Abstract— This paper presents new algorithms for conducting cooperative sensing using a mobile backbone network. This hierarchical sensing approach combines backbone nodes, which...
Emily M. Craparo, Jonathan P. How, Eytan Modiano
SECON
2010
IEEE
13 years 5 months ago
EcoExec: An Interactive Execution Framework for Ultra Compact Wireless Sensor Nodes
Abstract--EcoExec is a host-assisted interactive execution environment for wireless sensing systems. Users can interact with sensor nodes by viewing attributes and invoking functio...
Chih-Hsiang Hsueh, Yi-Hsuan Tu, Yen-Chiu Li, Pai H...
ATAL
2005
Springer
14 years 1 months ago
Agent-organized networks for dynamic team formation
Many multi-agent systems consist of a complex network of autonomous yet interdependent agents. Examples of such networked multi-agent systems include supply chains and sensor netw...
Matthew E. Gaston, Marie desJardins