Sciweavers

IJDE
2007
105views more  IJDE 2007»
13 years 11 months ago
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
Pavel Gladyshev, Andreas Enbacka
DEXAW
1998
IEEE
136views Database» more  DEXAW 1998»
14 years 3 months ago
Adaptable Transaction Consistency for Mobile Environments
Consistency criteria adopted for the transactional management of shared objects define the degree of allowable interleaving between concurrent transactions. This paper presents an...
Andry Rakotonirainy
SAC
2006
ACM
14 years 5 months ago
Revisiting 1-copy equivalence in clustered databases
Recently renewed interest in scalable database systems for shared nothing clusters has been supported by replication protocols based on group communication that are aimed at seaml...
Rui Carlos Oliveira, José Pereira, Alfr&aci...