Results 231 to 240 of about 42,044 (262)

Visualization of Checking Results for Graphical Validation Rules

2015
Graphically represented Business Process Models (BPMs) are common artifacts in documentation as well as in early phases of (software) development processes. The Graphical Computation Tree Logic (G-CTL) is a notation to define formal graphical validation rules on the same level of abstraction as the BPMs, allowing to specify high-level requirements ...
Sören Witt, Sven Feja, Christian Hadler, Andreas Speck, Elke Pulvermüller   +4 more
openaire   +1 more source

An Algorithm for Design Rule Checking on a Multiprocessor

22nd ACM/IEEE Design Automation Conference, 1985
George E. Bier, Andrew R. Pleszkun
openaire   +2 more sources

Integrity and rule checking in nonmonotonic knowledge bases

Knowledge-Based Systems, 1996
Anomalies such as redundant, contradictory or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed and applied in the past years, but they usually deal with rule-based systems.
openaire   +3 more sources

Multi-ontology fusion and rule development to facilitate automated code compliance checking using BIM and rule-based reasoning

Advanced Engineering Informatics, 2022
Liu Jiang
exaly  

Knowledge-informed semantic alignment and rule interpretation for automated compliance checking

Automation in Construction, 2022
Yu-Cheng Zhou, Zhe Zheng, Xinzheng Lu
exaly  

Developing A Rule-Based Dynamic Safety Checking Method for Enhancing Construction Safety

Sustainability, 2022
Jianliang Zhou
exaly  

Proof Rules for Model Checking Systems with Data

1998
Model checking is an automated technique for verifying temporal properties of finite-state systems. The technique can be used, for example, to verify the finite control parts of computer hardware designs and communication protocols. However, because it requires exhaustively searching the state space of a system to be verified, it cannot generally be ...
openaire   +2 more sources

Integrating NLP and context-free grammar for complex rule interpretation towards automated compliance checking

Computers in Industry, 2022
Yu-Cheng Zhou, Zhe Zheng, Xinzheng Lu
exaly  

Business-Based Rule Translation for Building Information Modelling-Based Checking

Lecture Notes in Computer Science, 2022
Peter Gade, Rasmus Lund Jensen, Kjeld Svidt   +2 more
exaly  

Simplified schema queries for supporting BIM-based rule-checking applications

Automation in Construction, 2020
Wawan Solihin, Johannes Dimyadi, Yongcheol Lee   +2 more
exaly