Results 251 to 260 of about 2,058,291 (283)
Some of the next articles are maybe not open access.
ACM SIGLOG News, 2018
This quarter we have an expert introduction and survey about verification motivated problems on weighted automata, with max-plus and cost register models in focus. Starting gently, and by means of examples, we are quickly led to the state of the art.
openaire +1 more source
This quarter we have an expert introduction and survey about verification motivated problems on weighted automata, with max-plus and cost register models in focus. Starting gently, and by means of examples, we are quickly led to the state of the art.
openaire +1 more source
Accreditation—a verification ritual lacking verification
BMJ, 2018The King’s Fund found that Care Quality Commission (CQC) audits had little impact on the quality of care.1 Oxebridge has put this in the wider context, saying that placing confidence in related systems from the International Organization for Standardization (ISO) does not prevent loss of life.2 Compliance with such standards is equated with “quality.”
openaire +2 more sources
Logical verification and equational verification
ACM SIGACT News, 2005There were some errors in the last article of the Logic Column. Thanks to Claudia Zepeda for spotting them. They have been corrected in the online version of the article, available from the CORR archive at http://arxiv.org/abs/cs.LO/0502031. All articles published in this column are archived at CORR; the following URL will return them all: http://arxiv.
openaire +1 more source
A Survey on Assertion-based Hardware Verification
ACM Computing Surveys, 2022Hasini Witharana +2 more
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck +2 more
exaly
A multimodal-Siamese Neural Network (mSNN) for person verification using signatures and EEG
Information Fusion, 2021Partha Roy +2 more
exaly