Sage Journals: Discover world-class research

Retricted access

Research article

First published 1976-02

A General Consistency Check Procedure for Machine-Readable Data

Richard C. Roistacher

Sociological Methods & Research

Retricted access

Research article

First published 2010-7

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

Linh Anh Nguyen, Andrzej Szałas

Fundamenta Informaticae

Retricted access

Research article

First published 2000-7

Towards Automated Consistency Checking of Module Interface Specifications

Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz

Fundamenta Informaticae

Retricted access

Research article

First published 1994-09

Coordinating distributed ViewPoints: the Anatomy of a Consistency Check

Steve Easterbrook, Anthony Finkelstein, Jeff Kramer [...]

Concurrent Engineering

Retricted access

Research article

First published 2020-2

Checking the consistency of Object-Z formal specification based on theorem proof

Weiqing Wan, Yongqing Yu, Qingyan Zeng [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2005-1

Online Consistency Checking and Origin–Destination Demand Updating

Xuesong Zhou, Hani S. Mahmassani

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 1954-10

Checking a Translation for Consistency

Eugene A. Nida

The Bible Translator

Retricted access

Research article

First published 2004-9

A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs

Javier Esparza

Fundamenta Informaticae

Retricted access

Research article

First published 2006-10

A method for data consistency checking in compressor and variable-geometry turbine maps

J Galindo, J M Lujan, C Guardiola [...]

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Research article

First published 2014-1

Rollback Approach for Demand Consistency Checking of Real-Time Traffic Network State Estimation Models

Ala Alnawaiseh, Khaled Abdelghany, Ahmed Hassan

Transportation Research Record: Journal of the Transportation Research Board

Search results