Sciweavers

144 search results - page 23 / 29
» Fair exchange in E-commerce
Sort
View
CSFW
2007
IEEE
16 years 12 days 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
16 years 11 days 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»
16 years 11 days 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»
16 years 9 days 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»
16 years 4 days 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