651 search results - page 128 / 131 » Security of Electronic Money |
FM
2005
Springer
14 years 1 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
MFCS
2004
Springer
14 years 27 days ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
OOPSLA
2004
Springer
14 years 27 days ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
SAC
2003
ACM
14 years 23 days ago
2003
ACM
Recent developments in mobile technologies and associated economies of scale via mature manufacturing processes have made possible the construction of pervasive systems in specifi...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we investigate the effectiveness of different types of bidding behaviour for trading agents in the Continuous Double Auction (CDA). Specifically, we consider behavi...