Sciweavers

453 search results - page 4 / 91
» On the complexity of exchanging
Sort
View
SP
2007
IEEE
120views Security Privacy» more  SP 2007»
15 years 10 months ago
Endorsed E-Cash
An electronic cash (e-cash) scheme lets a user withdraw money from a bank and then spend it anonymously. E-cash can be used only if it can be securely and fairly exchanged for ele...
Jan Camenisch, Anna Lysyanskaya, Mira Meyerovich
138
Voted
WWW
2008
ACM
16 years 4 months ago
Offline matching approximation algorithms in exchange markets
Motivated by several marketplace applications on rapidly growing online social networks, we study the problem of efficient offline matching algorithms for online exchange markets....
Zeinab Abbassi, Laks V. S. Lakshmanan
242
Voted
ICDT
2009
ACM
149views Database» more  ICDT 2009»
16 years 4 months ago
Query languages for data exchange: beyond unions of conjunctive queries
The class of unions of conjunctive queries (UCQ) has been shown to be particularly well-behaved for data exchange; its certain answers can be computed in polynomial time (in terms...
Juan Reutter, Marcelo Arenas, Pablo Barceló
123
Voted
DAM
2007
83views more  DAM 2007»
15 years 3 months ago
The proof theoretic strength of the Steinitz exchange theorem
We show that the logical theory QLA proves the Cayley–Hamilton theorem from the Steinitz exchange theorem together with a strengthening of the linear independence principle. Sin...
Michael Soltys
122
Voted
WWW
2008
ACM
16 years 4 months ago
Using CEP technology to adapt messages exchanged by web services
Web service may be unable to interact with each other because of incompatibilities between their interfaces. In this paper, we present an event driven approach which aims at adapt...
Yehia Taher, Marie-Christine Fauvet, Marlon Dumas,...