205 search results - page 27 / 41 » Transactions in Java Card |
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
New consumer appliances such as PDA, Set Top Box, GSM/UMTS terminals enable an easy access to the internet and strongly contribute to the development of ecommerce and m-commerce s...
IWPC
2000
IEEE
14 years 5 days ago
2000
IEEE
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
POS
1998
Springer
14 years 15 hour ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
ITCC
2005
IEEE
14 years 1 months ago
2005
IEEE
M-commerce has shown up as e-commerce in mobile and wireless communication, and now deals with on-line banking, stock trading, auctions, transactions, and mobile media. M-commerce...
TAP
2007
Springer
14 years 1 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...