Zobrazeno 1 - 10
of 1 135
pro vyhledávání: '"REACTIVE SYSTEMS"'
Autor:
Mete Özbaltan, Serkan Çaşka
Publikováno v:
Drones, Vol 8, Iss 5, p 206 (2024)
We introduce a modeling framework aimed at incorporating symbolic discrete controller synthesis (DCS) into a virtual robot experimental platform. This framework involves symbolically representing the behaviors of robotic systems along with their cont
Externí odkaz:
https://doaj.org/article/dc1d3c9ab3e34c6e8ac49908869c2c14
Publikováno v:
Applications in Energy and Combustion Science, Vol 16, Iss , Pp 100230- (2023)
A calibration-free multi-color pyrometry data analysis approach for determining the temporal change in the reciprocal temperature by only comparing the photomultiplier tube (PMT) responses to the system light emission is introduced. For Arrhenius rea
Externí odkaz:
https://doaj.org/article/15607996cdfb4e7fa5da3837b8fdcd24
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 Telecommunications and Information Technology, Iss 1 (2023)
Although simple wireless communication involving nodes built of microcontrollers and radio devices from the low end of the price spectrum is quite popular these days, one seldom hears about serious wireless networks built from such devices. Most of t
Externí odkaz:
https://doaj.org/article/b886e754690041e1a30f84b42bb2fd7b
Autor:
Krzysztof M. Brzeziński
Publikováno v:
Journal of Telecommunications and Information Technology, Iss 3 (2023)
In telecommunications and software engineering, testing is normally understood to be essentially active: a tester is said to stimulate, control, and enforce. Passive testing does not fit this paradigm and thus remains the niche research subject, whic
Externí odkaz:
https://doaj.org/article/93246c5208c74c189663c2392cab9074
Autor:
Adilson Bonifacio, Arnaldo Moura
Publikováno v:
CLEI Electronic Journal, Vol 25, Iss 3 (2023)
Due to their asynchronous interactions, testing reactive systems is a laborious activity present in any software development project. In this setting, the finite memory formalism of Labeled Transition Systems has been used to generate test suites t
Externí odkaz:
https://doaj.org/article/1b13cd4fddef43f8b8c9d28f4213b977
Autor:
Grzelak, Dominik, Lindner, Martin
We present a formal modeling approach for the design and simulation of Multi-Unmanned Aerial Vehicle (multi-UAV) inspection scenarios, where planning is based on model checking. As demonstration, we formalize and simulate a compositional UAV inspecti
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A90865
https://tud.qucosa.de/api/qucosa%3A90865/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A90865/attachment/ATT-0/
Autor:
Rachida Boucebsi, Faiza Belala
Publikováno v:
Journal of King Saud University: Computer and Information Sciences, Vol 32, Iss 9, Pp 1071-1080 (2020)
Recently, various types of wireless networks and mobile communication technologies have emerged; particularly the Wireless Mesh Networks (WMN) improving significantly the capacities of mobile communications. This paper aims to propose new insights on
Externí odkaz:
https://doaj.org/article/a7b95e42fb8548f985a7ac3a06dda4c3
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:
EAI Endorsed Transactions on Mobile Communications and Applications, Vol 6, Iss 19 (2021)
Ubi-Interact is a framework for interactive applications combining individual systems and devices distributed over a network. Specification and implementation of such applications should be modular, extendable and reusable. Performance, re-usability
Externí odkaz:
https://doaj.org/article/04b636cb3cf247cd9b90934a649e2fee