VLSI Algorithms, Architectures, and Implementation of a Versatile GF(2m) Processor
IEEE Transactions on Computers
Protocols for processes: programming in the large for open systems (extended abstract)
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
Conversational semantics sustained by commitments
Autonomous Agents and Multi-Agent Systems
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Distributed architectures for electronic cash schemes: a survey
International Journal of Parallel, Emergent and Distributed Systems
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
A semantic approach for designing commitment protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
A semantic approach for designing e-business protocols
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Since the advent of banking in the Middle Ages, bank customers have used paper based instruments to move money between accounts. In the past 25 years (1972-97), electronic messages moving through private networks have replaced paper for most of the value exchanged among banks each day. With the arrival of the Internet as a mass market data network, new technologies and business models are being developed to facilitate electronic credit and debit transfers by ordinary consumers. These new systems include CyberCash (which is a gateway between the Internet and the authorization networks of the major credit cards) and the Secure Electronic Transactions protocol (a standard for presenting credit card transactions on the Internet), as well as First Virtual (a way of using e-mail to secure approval for credit card purchases of information), GC Tech (a payment system that can use credit or debit via an intermediation server), and NetBill (a public private key encryption system for purchasing information)