Zobrazeno 1 - 10
of 782
pro vyhledávání: '"Statistical Model-Checking"'
Autor:
Libero Nigro, Franco Cicirelli
Publikováno v:
Modelling, Vol 5, Iss 3, Pp 694-719 (2024)
Mutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the number of
Externí odkaz:
https://doaj.org/article/60556c19bb2143a5b74c718389bb3de5
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:
ITM Web of Conferences, Vol 60, p 00012 (2024)
The study of business process analysis and optimization has attracted significant scholarly interest in the recent past, due to its integral role in boosting organizational performance. A specific area of focus within this broader research field is P
Externí odkaz:
https://doaj.org/article/fa330b283fdf4b44bce82fa1d8151612
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.
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.
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:
Future Internet, Vol 15, Iss 12, p 378 (2023)
The study of business process analysis and optimisation has attracted significant scholarly interest in the recent past, due to its integral role in boosting organisational performance. A specific area of focus within this broader research field is p
Externí odkaz:
https://doaj.org/article/61ecde51138a465ca6aa691d8ef1f617
Autor:
Junting Lin, Xiaoqin Min
Publikováno v:
Archives of Transport, Vol 1, Iss 61, Pp 7-19 (2022)
With the rapid development of communication technology, the Train-centric Communication-based Train Control (TcCBTC) system adopting the train-train communication mode to reduce the transmission link of control information, will become the direction
Externí odkaz:
https://doaj.org/article/530b0a81407d46dda65726d5381f6afc
Publikováno v:
IEEE Open Journal of Control Systems, Vol 1, Pp 294-305 (2022)
Statistical model checking is a class of sequential algorithms that can verify specifications of interest on an ensemble of cyber-physical systems (e.g., whether 99% of cars from a batch meet a requirement on their functionality). These algorithms in
Externí odkaz:
https://doaj.org/article/3bfd36804c974981a5271f899b028787
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.