Sciweavers

81 search results - page 1 / 17
» Transactions for Java
Sort
View
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
13 years 3 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
EDO
2000
Springer
13 years 8 months ago
Advanced Transactions in Enterprise JavaBeans
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...
Marek Prochazka
TGC
2010
Springer
13 years 2 months ago
A Java Inspired Semantics for Transactions in SOC
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
Laura Bocchi, Emilio Tuosto
COOTS
1998
13 years 6 months ago
Java Transactions for the Internet
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...
Mark C. Little, Santosh K. Shrivastava
FASE
2004
Springer
13 years 10 months ago
Reasoning about Card Tears and Transactions in Java Card
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPRO...
Engelbert Hubbers, Erik Poll