Sciweavers

255 search results - page 10 / 51
» A Semantic-Based Transaction Processing Model for Multilevel...
Sort
View
ICLP
2011
Springer
12 years 11 months ago
Transaction Logic with Defaults and Argumentation Theories
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
Paul Fodor, Michael Kifer
IJWET
2007
114views more  IJWET 2007»
13 years 7 months ago
A comprehensive design model for integrating business processes in web applications
: Web applications have evolved from simple read-only websites to complex data- and operation-intensive systems. The main goal of this kind of application is to provide the users w...
Damiano Distante, Gustavo Rossi, Gerardo Canfora, ...
BPM
2007
Springer
149views Business» more  BPM 2007»
13 years 11 months ago
CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
Haiyang Sun, Jian Yang
ISCA
2005
IEEE
101views Hardware» more  ISCA 2005»
14 years 1 months ago
Virtualizing Transactional Memory
Writing concurrent programs is difficult because of the complexity of ensuring proper synchronization. Conventional lock-based synchronization suffers from wellknown limitations, ...
Ravi Rajwar, Maurice Herlihy, Konrad K. Lai
COORDINATION
2009
Springer
14 years 8 months ago
High-Performance Transactional Event Processing
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...
Antonio Cunei, Rachid Guerraoui, Jesper Honig Spri...