205 search results - page 9 / 41 » Transactions in Java Card |
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
The online auction is a well-known business model that shows how business can be changed with the aid of new technologies. On the other hand, although the online auction allows bu...
COOTS
1998
13 years 9 months ago
1998
The Web frequently suffers from failures which affect the performance and consistency of applications run over it. An important fault-tolerance technique is the use of atomic tran...
JAVACARD
2000
13 years 11 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
CARDIS
2008
Springer
13 years 9 months ago
2008
Springer
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
JAVACARD
2000
13 years 11 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...