Sciweavers

754 search results - page 32 / 151
» Transaction Processing in PRO-MOTION
Sort
View
COORDINATION
2004
Springer
15 years 7 months ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
Michael J. Butler, Carla Ferreira
ADBIS
2006
Springer
81views Database» more  ADBIS 2006»
15 years 8 months ago
Non-blocking Materialized View Creation and Transformation of Schemas
In existing systems, user transactions get blocked during materialized view creation and non-trivial database schema transformations. Blocking user transactions is not an option in...
Jørgen Løland, Svein-Olaf Hvasshovd
OOPSLA
2007
Springer
15 years 8 months ago
Elephant 2000: a programming language based on speech acts
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...
John McCarthy
WOSP
1998
ACM
15 years 6 months ago
Performance testing of software systems
ÐAn approach to software performance testing is discussed. A case study describing the experience of using this approach for testing the performance of a system used as a gateway ...
Filippos I. Vokolos, Elaine J. Weyuker
JCIT
2010
139views more  JCIT 2010»
14 years 8 months ago
Constructing Product Knowledge-Sharing System for Internet Transaction-Matching Model
This study explores the construction of an intermediary as a product knowledge-sharing system for design industry with the advanced features of the Extensible Markup Language (XML...
Yu-Cheng Chen, Hsin-Hsi Lai, Heng-Chang Lin