Results 71 to 80 of about 814,717 (190)

Video Data Integrity Verification Method Based on Full Homomorphic Encryption in Cloud System

International Journal of Digital Multimedia Broadcasting, 2018
Cloud computing is a new way of data storage, where users tend to upload video data to cloud servers without redundantly local copies. However, it keeps the data out of users' hands which would conventionally control and manage the data.
Ruoshui Liu, Jianghui Liu, Jingjie Zhang, Moli Zhang   +3 more
doaj   +1 more source

Fragile Watermarking in the Pressure Signal of Online Signatures for Integrity Checking

IEEE Access
Online signature templates are increasingly stored, transmitted, and processed digitally, which raises integrity and provenance concerns. This paper presents a fragile watermarking strategy for online handwritten signatures that embeds a short payload in
Marcos Faundez-Zanuy, Moises Diaz, Miguel A. Ferrer   +2 more
doaj   +1 more source

Improving Integrity Constraints Checking In Distributed Databases by Exploiting Local Checking [PDF]

, 2008
Integrity constraints are important tools and useful for specifying consistent states of a database. Checking integrity constraints has proven to be extremely difficult to implement, particularly in distributed database.
Alwan, Ali Amer
core   +1 more source

Integrity Verification in Knowledge Bases [PDF]

, 1991
Martens, Bernd, Voronkov, Andrej, Bry, François, Manthey, Rainer   +3 more
core   +1 more source

Abstraction in directed model checking [PDF]

, 2004
ion is one of the most important issues to cope with large and infinite state spaces in model checking and to reduce the verification efforts. The abstract system is smaller than the original one and if the abstract system satisfies a correctness ...
Lluch-Lafuente, Alberto, Edelkamp, Stefan   +1 more
core  

Checking δ-Satisfiability of Reals with Integrals

Proceedings of the ACM on Programming Languages
Many synthesis and verification problems can be reduced to determining the truth of formulas over the real numbers. These formulas often involve constraints with integrals in them. To this end, we extend the framework of δ-decision procedures with techniques for handling integrals of user-specified real functions.
Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001   +4 more
openaire   +2 more sources

Examining How Fact-checking Hubs Counter Information Disorder in Africa

Komunikator
As fake news, misinformation, and communication disorders continue to raise societal concerns, several countermeasures are emerging to combat this growing challenge.
Isiaka Zubair Aliagan, Habeeb Opeyemi Daranijo   +1 more
doaj   +1 more source

Incremental integrity constraint checking in UML conceptual schemas

, 2005
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after each operation execution. Incremental integrity checking exploits available information about the structural events that define the ...
Cabot Sagrera, Jordi, Teniente López, Ernest   +1 more
core   +1 more source

A Framework for Data Integrity Checking In Cloud Computing

, 2017
PhD ThesisCloud computing has emerged as a utility computing paradigm that offers great potential for storing data remotely. It efficiently reduces data maintenance pressures of an organization.
Garg, Neenu
core   +1 more source

Integrity Constraint Checking in Federated Databases

, 1994
A federated database is comprised of multiple interconnected databases that cooperate in an autonomous fashion. Global integrity constraints are very useful in federated databases, but the lack of global queries, global transaction mechanisms, and global
Paul Grefen, Jennifer Widom
core