Zobrazeno 1 - 10
of 2 643
pro vyhledávání: '"timed automata"'
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
Publikováno v:
PeerJ Computer Science, Vol 10, p e2377 (2024)
Electronic examination serves as an efficient method for assessing learning outcomes, yet the integration of computers into exam processes introduces potential for unreliability. In this article, we propose a formal model for electronic examinations
Externí odkaz:
https://doaj.org/article/712619d8d9694fb78e5b81ac4d9512c5
Publikováno v:
Hangkong gongcheng jinzhan, Vol 15, Iss 2, Pp 108-116 (2024)
The aircraft AC power generation system is the main source of power for the whole aircraft, so a complete safety analysis is required. Traditionally safety analysis pays less attention to the security problems caused by nonlinear interaction between
Externí odkaz:
https://doaj.org/article/0ca061066a9046f180e83d3a2f004d73
Publikováno v:
IEEE Access, Vol 12, Pp 124260-124281 (2024)
Modeling and verification are crucial in designing traffic light control systems, guaranteeing these systems meet desired operational properties and handle dynamic traffic conditions effectively. The design process involves addressing complexities su
Externí odkaz:
https://doaj.org/article/2126f3b27b784344b23b2633f3143c46
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:
Frontiers in Blockchain, Vol 6 (2023)
In recent times, the research on blockchain interoperability has gained momentum, enabling the entities from different heterogeneous blockchain networks to communicate with each other seamlessly. Amid the proliferation of blockchain ventures, for ens
Externí odkaz:
https://doaj.org/article/f4fafc19336a43f3b2eb8780a89926a3
Autor:
Libero Nigro, Franco Cicirelli
Publikováno v:
Mathematics, Vol 12, Iss 6, p 812 (2024)
Modeling and verification of the correct behavior of embedded real-time systems with strict timing constraints is a well-known and important problem. Failing to fulfill a deadline in system operation can have severe consequences in the practical case
Externí odkaz:
https://doaj.org/article/f99bad6a57414dd7a94b7c9e35a8f25e
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.