Sciweavers

562 search results - page 65 / 113
» Agent-Mediated Electronic Commerce
Sort
View
XMLSEC
2003
ACM
14 years 28 days ago
Optimistic fair contract signing for Web services
Reliable and atomic transactions are a key to successful eBusiness interactions. Reliable messaging subsystems, such as IBM’s MQ Series, or broker-based techniques have been tra...
Hiroshi Maruyama, Taiga Nakamura, Tony Hsieh
SIGECOM
2010
ACM
165views ECommerce» more  SIGECOM 2010»
14 years 15 days ago
Computing optimal strategies to commit to in extensive-form games
Computing optimal strategies to commit to in general normal-form or Bayesian games is a topic that has recently been gaining attention, in part due to the application of such algo...
Joshua Letchford, Vincent Conitzer
ER
2001
Springer
96views Database» more  ER 2001»
14 years 5 days ago
Process Patterns to Generate E-commerce Systems
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
Prasad Jayaweera, Paul Johannesson, Petia Wohed
CSFW
2000
IEEE
14 years 3 days ago
C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
Anthony H. Dekker
WECWIS
2000
IEEE
155views ECommerce» more  WECWIS 2000»
14 years 1 days ago
Distributed and Scalable XML Document Processing Architecture for E-Commerce Systems
XML has become a very important emerging standard for E-commerce because of its flexibility and universality. Many software designers are actively developing new systems to handle...
David Wai-Lok Cheung, Sau Dan Lee, Thomas Lee, Wil...