2089 search results - page 273 / 418 » Finding Environment Guarantees |
161
click to vote
ACSAC
2006
IEEE
16 years 1 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 ...
205
click to vote
CSFW
2006
IEEE
16 years 1 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 ...
206
click to vote
GLOBECOM
2006
IEEE
16 years 1 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...
184
click to vote
GLOBECOM
2006
IEEE
16 years 1 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...
188
Voted
GLOBECOM
2006
IEEE
16 years 1 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...