Sciweavers

776 search results - page 16 / 156
» Transaction Support for Ada
Sort
View
ICDCSW
2007
IEEE
14 years 2 months ago
Transactions in Content-Based Publish/Subscribe Middleware
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
Luis Vargas, Lauri I. W. Pesonen, Ehud Gudes, Jean...
ADAEUROPE
2008
Springer
13 years 10 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
CASCON
1993
114views Education» more  CASCON 1993»
13 years 10 months ago
A transaction manager component for cooperative transaction models
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
George T. Heineman
AKA
2004
13 years 10 months ago
On Transaction Design for UML Components
: The transaction concept enables the efficient development of concurrent and fault tolerant applications. Transaction services are therefore an essential part of modern component ...
Sten Loecher
INFSOF
2002
72views more  INFSOF 2002»
13 years 8 months ago
Translating object-oriented database transactions into relational transactions
In this paper, we present methods of translating transactions from object-oriented database(OODB) to relational database(RDB). The process involves schema mapping in data definiti...
Joseph Fong