2228 search results - page 72 / 446 » Electronic Payment Systems |
SIGECOM
2000
ACM
15 years 4 months ago
2000
ACM
Software agent marketplaces require the development of new architectures, which are capable of coping with unreliable computational and network infrastructures, limited trust amon...
CRIWG
2000
15 years 1 months ago
2000
An approach to develop Organizational Memory Systems is presented. It is based on the re-use of computer-supported discussions held as meeting preparations. The discussions are ri...
119
click to vote
EGOV
2005
Springer
15 years 5 months ago
2005
Springer
It is generally considered that a key component of electronic government in the future will be electronic voting, as a means of facilitating the participation of citizens in electi...
ELECTRONICMARKETS
1998
14 years 11 months ago
1998
Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. This paper surveys several of these agentmediated elect...
114
click to vote
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...