2089 search results - page 273 / 418 » Finding Environment Guarantees |
120
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Sensor networks are deployed to monitor the physical environment in public and vulnerable locations. It is not economically viable to house sensors in tamper-resilient enclosures ...
163
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
153
Voted
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Routing is the foremost issue in mobile ad hoc networks (MANETs), In a wireless environment characterized by small bandwidth and limited computation resources, positionbased ro...
142
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Multicast-based data communication is an efficient communication scheme especially in multihop ad hoc networks where the MAC layer is based on one-hop broadcast from one sourc...
140
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
– Clustering is a standard approach for achieving efficient and scalable performance in wireless sensor networks. Most of the published clustering algorithms strive to generate t...