Results 21 to 30 of about 814,717 (190)
Towards Intelligent Databases [PDF]
, 1993 This article is a presentation of the objectives and techniques of deductive databases. The deductive approach to databases aims at extending with intensional definitions other database paradigms that describe applications extensionaUy.
Bry, François +2 more
core +1 more source
On-Line Instruction-checking in Pipelined Microprocessors [PDF]
, 2008 Microprocessors performances have increased by more than five orders of magnitude in the last three decades. As technology scales down, these components become inherently unreliable posing major design and test challenges.
Di Natale, Giorgio +7 more
core +1 more source
Security Analysis of a Certificateless Provable Data Possession Scheme in Cloud
IEEE Access, 2019 He et al. proposed a certificateless provable data possession protocol for big data storage on cloud. They claimed that the scheme is not only secure, but also can achieve data integrity checking without downloading the stored data from the cloud server.
Yongjian Liao +3 more
doaj +1 more source
Online integrity and authentication checking for Quran electronic versions
Applied Computing and Informatics, 2017 The ability to control data and information through the Internet can be challenging. Preliminary analysis showed that some tampering and forgery may occur to some words of the Quran in the electronic versions that span the Internet.
Izzat Alsmadi, Mohammad Zarour
doaj +1 more source
Global Semantic Integrity Constraint Checking for a System of Databases [PDF]
, 2005 In today’s emerging information systems, it is natural to have data distributed across multiple sites. We define a System of Databases (SyDb) as a collection of autonomous and heterogeneous databases.
Madiraju, Praveen
core +1 more source
Checking Function-Level Kernel Control Flow Integrity for Cloud Computing
IEEE Access, 2018 With the advancement of cloud computing, the control flow integrity (CFI) of virtual machines' kernel becomes more and more important for the security of cloud services. Many CFI checking and protecting approaches have been proposed.
Lin Ye +6 more
doaj +1 more source
Integrity and correctness checking of a lexical database [PDF]
Computer Science Journal of Moldova, 2006 A Romanian lexical database being the core of the Romanian Reusable Resources for Natural Language Technology should be thoroughly checked for integrity, correctness, and completeness before to be made widely available. This case study is presented.
S. Cojocaru, A. Colesnicov, L. Malahova
doaj
DTrace: fine-grained and efficient data integrity checking with hardware instruction tracing
Cybersecurity, 2019 Recently released Intel processors have been equipped with hardware instruction tracing facilities to securely and efficiently record the program execution path.
Xiayang Wang, Fuqian Huang, Haibo Chen
doaj +1 more source
Identity-based cloud storage integrity checking from lattices
Tongxin xuebao, 2019 With the rapid development of cloud storage,more and more users are storing their data in the cloud.To verify whether the users’ data stored in the cloud is corrupted,one effective method is to adopt cloud storage integrity checking schemes.An identity ...
Miaomiao TIAN, Chuang GAO, Jie CHEN
doaj +2 more sources
Checking sequence construction using adaptive and preset distinguishing sequences [PDF]
, 2009 Methods for testing from finite state machine-based specifications often require the existence of a preset distinguishing sequence for constructing checking sequences.
Husnu Yenigun +11 more
core +1 more source