Sciweavers

161 search results - page 10 / 33
» Verifying Compensating Transactions
Sort
View
KIVS
2005
Springer
15 years 3 months ago
A Comparison of WS-BusinessActivity and BPEL4WS Long-Running Transaction
Although WS-BusinessActivity and BPEL4WS Long-Running Transaction (LRT) are conceptually very similar and are both designed to support the execution of complex business transaction...
Patrick Sauter, Ingo Melzer
ACSC
2009
IEEE
15 years 1 months ago
Verification of the SIP Transaction Using Coloured Petri Nets
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
Lin Liu
69
Voted
ICIP
2007
IEEE
15 years 3 months ago
Complexity Modeling for Motion Compensation in H.264/AVC Decoder
A complexity model for motion compensation in the H.264/AVC decoder is proposed. This model considers a rich set of inter prediction modes allowed by H.264 as well as the relation...
Szu-Wei Lee, C. C. Jay Kuo
TSP
2008
131views more  TSP 2008»
14 years 9 months ago
Causal Compensation for Erasures in Frame Representations
In a variety of signal processing and communications contexts, erasures occur inadvertently or can be intentionally introduced as part of a data reduction strategy. This paper disc...
Petros Boufounos, Alan V. Oppenheim, Vivek K. Goya...
ICDE
1996
IEEE
155views Database» more  ICDE 1996»
15 years 11 months ago
DSDT: Durable Scripts Containing Database Transactions
DSDT is a programming tool for writing durable scripts which contain short ACID transactions as components. The context of the script is made durable by writing a log record whene...
Betty Salzberg, Dimitri Tombroff