Zobrazeno 1 - 10
of 1 358
pro vyhledávání: '"Verifier"'
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 3, Pp 240-279 (2024)
The article continues the series of publications on the development and verification of control programs based on LTL-specifications of a special type. Earlier, a declarative LTL-specification was proposed to describe the strictly deterministic behav
Externí odkaz:
https://doaj.org/article/7b8c9ffc0b3c480a8bd054fe01cca27a
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 2, Pp 120-141 (2024)
The article continues the series of works on development and verification of control programs based on LTL-specifications of a special type. Previously, it was proposed a declarative LTL-specification, which allows describing the behavior of control
Externí odkaz:
https://doaj.org/article/9e57936301e44ae5951ac50e3c89b5da
Autor:
Sunil Prajapat, Pankaj Kumar, Sandeep Kumar, Ashok Kumar Das, Sachin Shetty, M. Shamim Hossain
Publikováno v:
IEEE Access, Vol 12, Pp 14647-14658 (2024)
Due to the rapid advancement of quantum computers, there has been a furious race for quantum technologies in academia and industry. Quantum cryptography is an important tool for achieving security services during quantum communication. Designated ver
Externí odkaz:
https://doaj.org/article/f08f6eb43eb445c3a2bda4361d1523d3
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 30, Iss 4, Pp 308-339 (2023)
This work continues the series of articles on development and verification of control programs based on the LTL-specification. The essence of the approach is to describe the behavior of programs using formulas of linear temporal logic LTL of a specia
Externí odkaz:
https://doaj.org/article/584203ca53f54d858b748005cf82c3de
Publikováno v:
Computers, Vol 13, Iss 8, p 195 (2024)
This novel research introduces a game-changing architecture design for Quasi-Cyclic Low-Density Parity-Check (QC-LDPC) decoders in Fifth-Generation New-Radio (5G-NR) wireless communications, specifically designed to meet precise specifications and le
Externí odkaz:
https://doaj.org/article/3eeee864eecc4dbb862d147eb558a240
Publikováno v:
Mathematics, Vol 12, Iss 16, p 2558 (2024)
The rapid advancement of internet technology has raised attention to the importance of electronic voting in maintaining democracy and fairness in elections. E-voting refers to the use of electronic technology to facilitate the casting and counting of
Externí odkaz:
https://doaj.org/article/00ba468bdf7b48c3bd0756fc8de17ce6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Hangkong gongcheng jinzhan, Vol 14, Iss 4, Pp 177-188 (2023)
The high integration of the civil aircraft avionics systems will lead to an exponential rise in the size of airborne safety-critical software, and cause the numerous and inconsistent sources of its requirements, the transfer of requirements at each l
Externí odkaz:
https://doaj.org/article/522ef13f853746778f0129f1ed22d1a1
Publikováno v:
AIMS Mathematics, Vol 8, Iss 8, Pp 18234-18250 (2023)
In order to ensure that only the designated person can verify the signer's signature on the message, Steinfeld et al. introduced the concept of Universal Designated Verifier Signature (UDVS), which enables a designator who has obtained a signature on
Externí odkaz:
https://doaj.org/article/630f4e89da75425aaf7547f3f637e335
Publikováno v:
IEEE Access, Vol 11, Pp 99168-99177 (2023)
A decentralized marking fault diagnosis method is proposed to solve the problem that increasing the number of unobservable transitions may result in the inability to diagnose faulty markings, in a class of decentralized systems modeled by labeled Pet
Externí odkaz:
https://doaj.org/article/e186e2321ffc48f4a88d09adcd8f3511