Sciweavers

26 search results - page 1 / 6
» A Reservation-Based Extended Transaction Protocol
Sort
View
TPDS
2008
90views more  TPDS 2008»
13 years 4 months ago
A Reservation-Based Extended Transaction Protocol
With the advent of the new generation of Internet-based technology, in particular Web Services, the automation of business activities that are distributed across multiple enterpri...
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
JWSR
2008
99views more  JWSR 2008»
13 years 4 months ago
A Reservation-based Extended Transaction Protocol for Coordination of Web Services
: Web Services can be used to automate business activities that span multiple enterprises over the Internet. Such business activities require a coordination protocol to reach consi...
Wenbing Zhao, Firat Kart, Louise E. Moser, P. M. M...
DATE
2005
IEEE
164views Hardware» more  DATE 2005»
13 years 6 months ago
Fast and Accurate Transaction Level Modeling of an Extended AMBA2.0 Bus Architecture
Transaction Level Modeling (TLM) approach is used to meet the simulation speed as well as cycle accuracy for large scale SoC performance analysis. We implemented a transaction-lev...
Young-Taek Kim, Taehun Kim, Youngduk Kim, Chulho S...
ISCA
2007
IEEE
198views Hardware» more  ISCA 2007»
13 years 10 months ago
Making the fast case common and the uncommon case simple in unbounded transactional memory
Hardware transactional memory has great potential to simplify the creation of correct and efficient multithreaded programs, allowing programmers to exploit more effectively the s...
Colin Blundell, Joe Devietti, E. Christopher Lewis...
FAC
2008
80views more  FAC 2008»
13 years 4 months ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...