2228 search results - page 256 / 446 » Electronic Payment Systems |
179
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
When new technologies for production and dissemination of information emerge and are adopted, we see a dramatic increase in the quantity of information that is made available for ...
196
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
186
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The paper presents an approach towards executing transactions between enterprises, governmental bodies and banking institutions, based on ERP applications connected over ...
185
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...
146
Voted
SPIRE
2000
Springer
15 years 10 months ago
2000
Springer
Biomolecular computing (BMC) aims to capture the innumerable advantages that biological molecules have gained in the course of millions of years of evolution to perform computatio...