Zobrazeno 1 - 10
of 486
pro vyhledávání: '"Formal Modelling"'
Publikováno v:
European Journal of Futures Research, Vol 12, Iss 1, Pp 1-12 (2024)
Abstract In recent years, there appears to be a growing consensus among policymakers in both the East and the West, that the decades of global peace after the Cold War has now come to an end, and that the world is facing mounting security risks to th
Externí odkaz:
https://doaj.org/article/ea2bde2d6d5b42d682003e0442047925
Autor:
Libero Nigro
Publikováno v:
Mathematics, Vol 12, Iss 16, p 2443 (2024)
This study describes our thorough experience of formal modeling and exhaustive verification of concurrent systems, particularly mutual exclusion algorithms. The experience focuses on Lycklama and Hadzilacos’s (LH) mutual exclusion algorithm. LH res
Externí odkaz:
https://doaj.org/article/e220e2035dd240e381a835ff5b529238
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.
Autor:
Ahmed Taki Eddine DIB, Ramdane Maamri
Publikováno v:
Journal of King Saud University: Computer and Information Sciences, Vol 34, Iss 8, Pp 6125-6139 (2022)
There exist several approaches proposed for building Context-Aware Systems (CAS). However, due to the continually changing environment, the large number of interrelated components, complexity and diversity of application domains make the modelling of
Externí odkaz:
https://doaj.org/article/168f5bd6db5e421cbf55c2426ca043f1
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:
Sensors, Vol 22, Iss 20, p 7845 (2022)
Recent technological advancements and the evolution of industrial manufacturing paradigms have substantially increased the complexity of product-specific production systems. To reduce the time cost of modelling and verification and to enhance the deg
Externí odkaz:
https://doaj.org/article/c94439208890464ebe72f1c73de8d154
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:
IEEE Access, Vol 7, Pp 117088-117099 (2019)
Enhanced wireless communication improves the connectivity of vehicular networks in which vehicles are utilized as infrastructures for communication and computation. Thus, a new concept “Vehicular Edge Computing (VEC)” is formed. As VEC utilizes a
Externí odkaz:
https://doaj.org/article/cf327a678f5f40bd9c3bdda90628ca92