Results 301 to 310 of about 2,767,476 (321)
Some of the next articles are maybe not open access.
An Algorithm for Design Rule Checking on a Multiprocessor
22nd ACM/IEEE Design Automation Conference, 1985George E. Bier, Andrew R. Pleszkun
openaire +1 more source
Integrity and rule checking in nonmonotonic knowledge bases
Knowledge-Based Systems, 1996Anomalies 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 +2 more sources
In Search of Open and Practical Language-Driven BIM-Based Automated Rule Checking Systems
Advances in Informatics and Computing in Civil and Construction Engineering, 2018W. Solihin, J. Dimyadi, Yong-Cheol Lee
semanticscholar +1 more source
Efficient vulnerability detection based on an optimized rule-checking static analysis technique
Frontiers of Information Technology & Electronic Engineering, 2017Deng Chen +7 more
semanticscholar +1 more source
Developing A Rule-Based Dynamic Safety Checking Method for Enhancing Construction Safety
Sustainability, 2022Jianliang Zhou +2 more
exaly
Proof Rules for Model Checking Systems with Data
1998Model 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 +1 more source