Sciweavers

144 search results - page 23 / 29
» Fair exchange in E-commerce
Sort
View
CSFW
2007
IEEE
14 years 1 months ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
GLOBECOM
2007
IEEE
14 years 1 months ago
A Cluster-Based Multiuser Cooperative Network
Abstract— A novel cluster-based coherent multi-user (MU) relaying system is proposed, where a number of source/destination pairs communicate concurrently over the same physical c...
Celal Esli, Armin Wittneben
ICC
2007
IEEE
133views Communications» more  ICC 2007»
14 years 1 months ago
Impact of Interference and Medium Access Control on Flow Allocation in Multi-Hop Wireless Networks
—The interaction between MAC protocols and interference in wireless multi-hop networks introduces extra constraints on achievable flow rates. In this paper, we formulate an optim...
Kun-da Wu, Wanjiun Liao
WECWIS
2007
IEEE
148views ECommerce» more  WECWIS 2007»
14 years 1 months ago
The Core and Shapley Value Analysis for Cooperative Formation of Procurement Networks
Formation of high value procurement networks involves a bottom-up assembly of complex production, assembly, and exchange relationships through supplier selection and contracting d...
T. S. Chandrashekar, Y. Narahari
WADS
2007
Springer
195views Algorithms» more  WADS 2007»
14 years 1 months ago
Approximation Algorithms for the Sex-Equal Stable Marriage Problem
The stable marriage problem is a classical matching problem introduced by Gale and Shapley. It is known that for any instance, there exists a solution, and there is a polynomial ti...
Kazuo Iwama, Shuichi Miyazaki, Hiroki Yanagisawa