DATA CONSISTENCY CHECKING

被引：1
|
作者：
KALLGREN, DC
机构：
[1] University of Minnesota, Minneapolis, MN
来源：
HISTORICAL METHODS | 1995年 / 28卷 / 01期
关键词：
D O I：
10.1080/01615440.1995.9955317
中图分类号：
K [历史、地理];
学科分类号：
06 ;
摘要：
[No abstract available]
引用
收藏
页码：66 / 69
页数：4
相关论文
共 50 条
  • [1] Implications of a data structure consistency checking system
    Kuncak, Viktor
    Lam, Patrick
    Zee, Karen
    Rinard, Martin
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 214 - 226
  • [2] Generalized typestate checking for data structure consistency
    Lam, P
    Kuncak, V
    Rinard, M
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 430 - 447
  • [3] On the Complexity of Checking Consistency for Replicated Data Types
    Biswas, Ranadeep
    Emmi, Michael
    Enea, Constantin
    [J]. COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 324 - 343
  • [4] Consistency checking method of surface coverage data results
    Li, Hai
    Gao, Wenchao
    Guo, Jing
    Yan, Qingqing
    Zhou, Jin
    Yin, Su
    [J]. XXIV ISPRS CONGRESS IMAGING TODAY, FORESEEING TOMORROW, COMMISSION IV, 2022, 43-B4 : 141 - 148
  • [5] Model checking data consistency for cache coherence protocols
    Pan, Hong
    Lin, Hui-Min
    Lv, Yi
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006, 21 (05): : 765 - 775
  • [6] Model Checking Data Consistency for Cache Coherence Protocols
    Hong Pan
    Hui-Min Lin
    Yi Lv
    [J]. Journal of Computer Science and Technology, 2006, 21 : 765 - 775
  • [7] Checking Model Consistency using Data-Flow Testing
    Wang, Chen-Wei
    Cavarra, Alessandra
    [J]. APSEC 09: SIXTEENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 414 - 421
  • [8] An Approach to Data Consistency Checking for the Dynamic Replacement of Service Process
    Gao, Honghao
    Duan, Yucong
    Miao, Huaikou
    Yin, Yuyu
    [J]. IEEE ACCESS, 2017, 5 : 11700 - 11711
  • [9] Consistency Checking for Workflows with an Ontology-Based Data Perspective
    Weiler, Gabriele
    Poetzsch-Heffter, Arnd
    Kiefer, Stephan
    [J]. DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2009, 5690 : 98 - +
  • [10] Application Data Consistency Checking for Anomaly Based Intrusion Detection
    Sarrouy, Olivier
    Totel, Eric
    Jouga, Bernard
    [J]. STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5873 : 726 - 740
12345