Zobrazeno 1 - 10
of 90 089
pro vyhledávání: '"specification"'
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
Publikováno v:
Cybersecurity, Vol 7, Iss 1, Pp 1-23 (2024)
Abstract An application programming interface (API) usage specification, which includes the conditions, calling sequences, and semantic relationships of the API, is important for verifying its correct usage, which is in turn critical for ensuring the
Externí odkaz:
https://doaj.org/article/63a8e6575dc746ffb122dc05afae6ff4
Publikováno v:
Jisuanji kexue yu tansuo, Vol 18, Iss 9, Pp 2361-2369 (2024)
The application of large language models in process specifications is an effective approach to addressing the issue of inaccurate process knowledge queries. At present, the domain model construction methods through domain knowledge graph embedding or
Externí odkaz:
https://doaj.org/article/86e8830d9e6c49feae4a7a78e0475bc2
Autor:
Yu. Ushchapovskyi
Publikováno v:
Економіка, управління та адміністрування, Vol 2, Iss 108, Pp 31-36 (2024)
A qualitative analysis of the constituent elements of the contractual paradigm, which is the result of a neo-institutional analysis of the market environment, requires a systematic approach. The main purpose of the article is to search for new method
Externí odkaz:
https://doaj.org/article/c1925a057bfa4a70b8ece0e07f14f508
Publikováno v:
Implementation Science Communications, Vol 5, Iss 1, Pp 1-13 (2024)
Abstract Background /Aims De-implementation, including the removal or reduction of unnecessary or inappropriate prescribing, is crucial to ensure patients receive appropriate evidence-based health care. The utilization of de-implementation efforts is
Externí odkaz:
https://doaj.org/article/016185b785e14ee3aea2065579495cf8
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