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...
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...
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...
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...
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...