Search Sciweavers | Sciweavers

2678 search results - page 29 / 536

» Operational Semantics of Transactions

119

Voted

ICWE
2010
Springer

92views Internet Technology» more ICWE 2010»

Models and Meta Models for Transactions in Web Applications

15 years 2 months ago

Download mdwe2010.pst.ifi.lmu.de

In this paper, we present a DSL to specify business and web transactions in a systematic way, addressing both informational and behavioral perspectives. Our meta-model is based on ...

Mark Douglas Jacyntho, Daniel Schwabe

claim paper

Read More »

140

Voted

SRDS
1997
IEEE

122views Operating System» more SRDS 1997»

Availability Analysis of Transaction Processing Systems based on User-Perceived Performance

15 years 8 months ago

Download www.cse.iitb.ac.in

Transaction processing systems are judged by users to be correctly functioning not only if their transactions are executed correctly, but also if most of them are completed within...

Varsha Mainkar

claim paper

Read More »

124

Voted

SOSP
1997
ACM

101views Operating System» more SOSP 1997»

Free Transactions With Rio Vista

15 years 5 months ago

Download www.eecs.umich.edu

Abstract: Transactions and recoverable memories are powerful mechanisms for handling failures and manipulating persistent data. Unfortunately, standard recoverable memories incur a...

David E. Lowell, Peter M. Chen

claim paper

Read More »

210

Voted

POPL
2001
ACM

104views Programming Languages» more POPL 2001»

Stratified operational semantics for safety and correctness of the region calculus

16 years 4 months ago