205 search results - page 5 / 41 » Transactions in Java Card |
91
Voted
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
129
Voted
ECOOP
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. Transcript is a system that enhances JavaScript with support for transactions. Hosting Web applications can use transactions to demarcate regions that contain untrusted g...
109
click to vote
EDO
2000
Springer
15 years 3 months ago
2000
Springer
Enterprise JavaBeans (EJB) is a new technology that aims at supporting distributed transactional component-based applications written in Java. In recent years, a lot of new advance...
76
Voted
CADE
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
CASSIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This short paper introduces the issues and challenges of next generation Java-based smart card platforms. Betting on a continuous evolution toward open computing devices,...