Results 11 to 20 of about 814,717 (190)
Inconsistency-Tolerant Integrity Checking [PDF]
IEEE Transactions on Knowledge and Data Engineering, 2009 Integrity checking has been a perennial topic in almost all database conferences, journals, and research labs. The importance of the issue is testified by very large amounts of research activities and publications. They are motivated by the fact that integrity checking is practically unfeasible for significant amounts of stored data without a dedicated
H. Decker, MARTINENGHI, DAVIDE
core +7 more sources
Provenance based data integrity checking and verification in cloud environments. [PDF]
PLoS ONE, 2017 Cloud computing is a recent tendency in IT that moves computing and data away from desktop and hand-held devices into large scale processing hubs and data centers respectively.
Muhammad Imran +5 more
doaj +2 more sources
Pervasive Integrity Checking With Coupled Objects [PDF]
Procedia Computer Science, 2011 AbstractIntegrity checking is important in many activities, such as logistics, telecommunications or even usual tasks such as checking for someone missing in a group. While the computing and telecommunications worlds commonly use digital integrity checking, many activities from the real world do not benefit from automatic mechanisms for ensuring ...
Couderc, Paul +2 more
openaire +3 more sources
Multi-replicas integrity checking scheme with supporting probability audit for cloud-based IoT [PDF]
PeerJ Computer ScienceNowadays, more people are choosing to use cloud storage services to save space and reduce costs. To enhance the durability and persistence, users opt to store important data in the form of multiple copies on cloud servers.
Yilin Yuan +4 more
doaj +3 more sources
Integrity constraint checking in federated databases [PDF]
Proceedings First IFCIS International Conference on Cooperative Information Systems, 2002 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 concurrency control renders traditional constraint management techniques inapplicable.
Grefen, P.W.P.J., Widom, Jennifer
openaire +5 more sources
Checking the Integrity of Spatial Integrity Constraints
, 2007 Integrity constraints play a major role when the quality of spatial data is checked by automatic procedures. Nevertheless the possibilities of checking the internal consistency of the integrity constraints themselves are hardly researched jet. This work analyses the applicability of reasoning techniques like the composition of spatial relations and ...
Mäs, Stephan
openaire +5 more sources
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
, 2009 Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-
Cordeiro, Lucas +5 more
core +3 more sources
Academic Integrity in Canada [PDF]
, 2022 This open access book presents original contributions and thought leadership on academic integrity from a variety of Canadian scholars. It showcases how our understanding and support for academic integrity have progressed, while pointing out areas ...
core +1 more source
Information Integrity checking methods for smartphones with Android operating system
Безопасность информационных технологий, 2023 The tendency of organizations to use unprotected mobile devices with the Android operating system leads to an increase in incidents with the loss of important information.
Mikhail M. Smotryaev +3 more
doaj +1 more source
Transaction Management with Integrity Checking [PDF]
, 2005 Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typically up to the database designer and application programmer to enforce integrity via triggers or tests at the application level, which are difficult to maintain and error prone.
MARTINENGHI, DAVIDE, H. Christiansen
openaire +3 more sources