Zobrazeno 1 - 10
of 3 053
pro vyhledávání: '"reactive system"'
Autor:
Sebastian, Avani
Publikováno v:
Meditari Accountancy Research, 2023, Vol. 32, Issue 2, pp. 613-629.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/MEDAR-03-2022-1625
Autor:
Kolli Manel
Publikováno v:
Acta Universitatis Sapientiae: Informatica, Vol 15, Iss 2, Pp 181-204 (2023)
We propose a formal approach based on Bigraphical Reactive Systems (BRS) to provide a formal modeling of multi-viewpoint ontology alignment by composition systems’ structure using bigraphs their dynamic behaviors using bigraphical reaction rules. I
Externí odkaz:
https://doaj.org/article/719416fccbe44c309d5f90a50e9f133f
Autor:
Kolli Manel
Publikováno v:
Applied Computer Systems, Vol 28, Iss 1, Pp 78-91 (2023)
In this paper, we propose a new approach, based on bigraphic reactive systems (BRS), to provide a formal modelling of the architectural elements of a Multi-Viewpoints ontology (MVp ontology). We introduce a formal model in which the main elements of
Externí odkaz:
https://doaj.org/article/c36cbf202b4b4cb9a6585f4b352a6ae9
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:
Journal of Synchrotron Radiation, Vol 29, Iss 3, Pp 644-653 (2022)
A novel approach to the remote-control system for the compact multi-crystal energy-dispersive spectrometer for X-ray emission spectroscopy (XES) applications has been developed. This new approach is based on asynchronous communication between softwar
Externí odkaz:
https://doaj.org/article/34a6f829faf54c2b8286a3e998b6fd4a
Autor:
Sprinson, John, author, Berrick, Ken, author
Publikováno v:
Unconditional Care in Context : Engaging with Ecological Adversity, 2022.
Externí odkaz:
https://doi.org/10.1093/oso/9780197506790.003.0013
Publikováno v:
Моделирование и анализ информационных систем, Vol 27, Iss 4, Pp 428-441 (2020)
Sequential reactive systems include programs and devices that work with two streams of data and convert input streams of data into output streams. Such information processing systems include controllers, device drivers, computer interpreters. The res
Externí odkaz:
https://doaj.org/article/325d3b2edc7c4ccbb8546903d0b057eb
Publikováno v:
Моделирование и анализ информационных систем, Vol 27, Iss 4, Pp 396-411 (2020)
Sequential reactive systems include hardware devices and software programs which operate in continuous interaction with the external environment, from which they receive streams of input signals (data, commands) and in response to them form streams o
Externí odkaz:
https://doaj.org/article/c42fc8cd23f7451294a5e81947f16176
Autor:
V. N. Glushkova, K. S. Korovina
Publikováno v:
Advanced Engineering Research, Vol 20, Iss 4, Pp 422-429 (2020)
Introduction. Verification packages design and analyze the correctness of parallel and distributed systems within the framework of various classes of temporal logics of linear and branching time. The paper discusses a polynomially realizable class of
Externí odkaz:
https://doaj.org/article/5a3a5adaf3be4565ac7ee865cc0238b1
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.