Search Sciweavers | Sciweavers

641 search results - page 4 / 129

» Java Transactions for the Internet

click to vote

FM
2001
Springer

99views Formal Methods» more FM 2001»

Transacted Memory for Smart Cards

13 years 11 months ago

Download www.ub.utwente.nl

Transacted Memory oﬀers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...

Pieter H. Hartel, Michael J. Butler, Eduard de Jon...

claim paper

Read More »

click to vote

ICSOC
2010
Springer

254views Applied Computing» more ICSOC 2010»

BPMN Modelling of Services with Dynamically Reconfigurable Transactions

13 years 4 months ago

Download www.cs.le.ac.uk

We promote the use of transactional attributes for modelling business processes in the service-oriented scenario. Transactional attributes have been introduced in Enterprise JavaBe...

Laura Bocchi, Roberto Guanciale, Daniele Strollo, ...

claim paper

Read More »

click to vote

ACSAC
1999
IEEE

124views Security Privacy» more ACSAC 1999»

Transactions in Java Card

13 years 11 months ago

Download www.acsac.org

A smart card runtime environment must provide the proper transaction support for the reliable update of data, especially on multiapplication cards like the Java Card. The transact...

Marcus Oestreicher

claim paper

Read More »

click to vote

QOFIS
2001
Springer

83views Internet Technology» more QOFIS 2001»

Towards Better Support of Transaction Oriented Communication in Differentiated Services Networks

13 years 11 months ago