Guaranteeing properties for e-commerce systems

DOI10.1007/3-540-36378-5_16MaRDI QIDQ4421014zbMATH OpenFDO

Authors Frank Guerin, Jeremy Pitt

Publication date 18 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2531/25310253.htm

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99) Applications of game theory (91A80) Auctions, bargaining, bidding and selling, and other market models (91B26)

Recommendations

• A formal description of a practical agent for E-commerce
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• scientific article; zbMATH DE number 2084517
• Verifying Dominant Strategy Equilibria in Auctions
• Models and protocol structures for software agent based complex E-commerce transactions

Cited in

(2)

• A formal description of a practical agent for E-commerce
• Applying Formal Methods: Testing, Performance, and M/E-Commerce

This page was built for publication: Guaranteeing properties for e-commerce systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4421014)