Sciweavers

754 search results - page 83 / 151
» Transaction Processing in PRO-MOTION
Sort
View
ICSE
2003
IEEE-ACM
14 years 10 months ago
Mapping Requirements to Software Architecture by Feature-Orientation
Requirements engineering and software architecting are two key activities in software life cycle. Researchers have paid much attention to mapping and transformation from requireme...
Dongyun Liu, Hong Mei
PDP
2006
IEEE
14 years 4 months ago
Comparing Commodity SMP System Software with a Matrix Multiplication Benchmark
Commodity symmetric multiprocessors (SMPs), though originally intended for transaction processing, because of their availability, are now used for numerical analysis applications ...
Georgios Tsilikas, Martin Fleury
PODS
1999
ACM
127views Database» more  PODS 1999»
14 years 2 months ago
Atomicity with Incompatible Presumptions
We identify one of the incompatibility problems associated with atomic commit :protocols that prevents them from being used together and weiderive a correctness criterion that cap...
Yousef J. Al-Houmaily, Panos K. Chrysanthis
ASM
2010
ASM
13 years 12 months ago
Applying the B Method for the Rigorous Development of Smart Card Applications
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
Bruno Emerson Gurgel Gomes, David Déharbe, ...
FIMI
2004
134views Data Mining» more  FIMI 2004»
13 years 11 months ago
Recursion Pruning for the Apriori Algorithm
Implementations of the well-known Apriori algorithm for finding frequent item sets and associations rules usually rely on a doubly recursive scheme to count the subsets of a given...
Christian Borgelt