9370 search results - page 1462 / 1874 » An Abstract Notion of Application |
222
click to vote
UIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The coverage problem in wireless sensor networks (WSNs) is to determine the number of active sensor nodes needed to cover the sensing area. The purpose is to extend the l...
142
click to vote
WADS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Assumptions about node density in the Sensor Networks literature are frequently too strong or too weak. Neither absolutely arbitrary nor uniform deployment seem feasible ...
168
click to vote
WWIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The explosive growth of VoIP tra c poses a potential challenge to the stability of the Internet that, up to now, has been guaranteed by the TCP congestion control. In thi...
180
click to vote
COMSWARE
2006
IEEE
16 years 28 days ago
2006
IEEE
Abstract— In the last few years, WLAN has seen immense growth and it will continue this trend due to the fact that it provides convenient connectivity as well as high speed links...
202
click to vote
CSFW
2006
IEEE
16 years 28 days 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 ...