Sciweavers

5882 search results - page 424 / 1177
» networks 2010
Sort
View
CONCUR
2010
Springer
15 years 8 months ago
Parameterized Verification of Ad Hoc Networks
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavat...
191
Voted
ESORICS
2010
Springer
15 years 8 months ago
Providing Mobile Users' Anonymity in Hybrid Networks
We present a novel hybrid communication protocol that guarantees mobile users' k-anonymity against a wide-range of adversaries by exploiting the capability of handheld devices...
Claudio Agostino Ardagna, Sushil Jajodia, Pierange...
193
Voted
ICML
2010
IEEE
15 years 8 months ago
Deep networks for robust visual recognition
Deep Belief Networks (DBNs) are hierarchical generative models which have been used successfully to model high dimensional visual data. However, they are not robust to common vari...
Yichuan Tang, Chris Eliasmith
ICASSP
2010
IEEE
15 years 7 months ago
Joint bandwidth and power allocation in wireless multi-user decode-and-forward relay networks
The resource allocation problem in wireless multi-user decode-and-forward (DF) relay networks is considered. The conventional resource allocation schemes based on the equal distri...
Xiaowen Gong, Sergiy A. Vorobyov, Chintha Tellambu...
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 7 months ago
A Multiprocessor Communication Architecture For High Speed Networks
Over the years, communication speed of networks has increased from few Kbps to several Mbps. as also the bandwidth demand. Communication protocols, however, have not improved to t...
S. Iyengar, N. Apte, A. A. Roy, S. Sanyal, N. M. S...