Sciweavers

4356 search results - page 176 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
GRC
2010
IEEE
15 years 7 months ago
Local Pattern Mining from Sequences Using Rough Set Theory
Abstract--Sequential pattern mining is a crucial but challenging task in many applications, e.g., analyzing the behaviors of data in transactions and discovering frequent patterns ...
Ken Kaneiwa, Yasuo Kudo
207
Voted
IC3
2009
15 years 4 months ago
Verification of Liveness Properties in Distributed Systems
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
Divakar Yadav, Michael Butler
188
Voted
DEXA
2010
Springer
133views Database» more  DEXA 2010»
15 years 1 months ago
Low Power Management of OLTP Applications Considering Disk Drive Power Saving Function
Abstract. A power-saving management for OLTP applications has become an important task for user budgets and datacenter operations. This paper presents a novel power-saving method f...
Norifumi Nishikawa, Miyuki Nakano, Masaru Kitsureg...
LADC
2011
Springer
14 years 9 months ago
Byzantine Fault-Tolerant Deferred Update Replication
Abstract—Replication is a well-established approach to increasing database availability. Many database replication protocols have been proposed for the crash-stop failure model, ...
Fernando Pedone, Nicolas Schiper, José Enri...
176
Voted
HPDC
2008
IEEE
16 years 1 months ago
XenLoop: a transparent high performance inter-vm network loopback
Advances in virtualization technology have focused mainly on strengthening the isolation barrier between virtual machines (VMs) that are co-resident within a single physical machi...
Jian Wang, Kwame-Lante Wright, Kartik Gopalan