Sciweavers

4356 search results - page 247 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
GLOBECOM
2010
IEEE
15 years 4 months ago
Secure Cooperation Incentive Scheme with Limited Use of Public Key Cryptography for Multi-Hop Wireless Network
Abstract-Secure cooperation incentive schemes usually use public key cryptography, which incur too heavy overhead to be used efficiently in limited-resource nodes. In this paper, w...
Mohamed Elsalih Mahmoud, Xuemin Shen
SCP
2011
228views Communications» more  SCP 2011»
15 years 1 months ago
Dynamic consistency in process algebra: From Paradigm to ACP
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
TWC
2011
301views more  TWC 2011»
15 years 1 months ago
Performance Evaluation of a MIMO-Assisted MPR-MAC over Lossy Channels
Abstract—Coping with collisions is one of the biggest challenges in the design of MAC algorithms for wireless networks. Recent advances in MIMO communications have provided the p...
Sanaz Barghi, Hamid Jafarkhani, Homayoun Yousefi'z...
INFOCOM
2011
IEEE
14 years 10 months ago
Optimal channel assignment and power allocation for dual-hop multi-channel multi-user relaying
Abstract—We consider the problem of jointly optimizing channel pairing, channel-user assignment, and power allocation in a single-relay multiple-access system. The optimization o...
Mahdi Hajiaghayi, Min Dong, Ben Liang
CPP
2011
99views more  CPP 2011»
14 years 6 months ago
Proof-Carrying Code in a Session-Typed Process Calculus
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
Frank Pfenning, Luís Caires, Bernardo Tonin...