Zobrazeno 1 - 10
of 165
pro vyhledávání: '"freshness constraint"'
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:
Advances in Transdisciplinary Engineering ISBN: 9781643683522
Influenced by the Covid-19 pandemic, fresh food e-commerce market in China developed quickly. Efficient solution for Order Batch Problem (OBP) could achieve efficient batching operation and then reduce costs and control risks. However, the OBP model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4945e70b953d8a4e5be4d3814f171e89
https://doi.org/10.3233/atde221075
https://doi.org/10.3233/atde221075
Conference
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:
Mobile Information Systems, Vol 2021 (2021)
Unmanned aerial vehicle (UAV) technique with flexible deployment has enabled the development of Internet of Things (IoT) applications. However, it is difficult to guarantee the freshness of information delivery for the energy-limited UAV. Thus, we st
Publikováno v:
Sustainability (2071-1050); Dec2022, Vol. 14 Issue 24, p16659, 14p
Publikováno v:
4th European Congress on Embedded Real Time Software (ERTS 2008)
4th European Congress on Embedded Real Time Software (ERTS 2008), 2008, Toulouse, France
4th European Congress on Embedded Real Time Software (ERTS 2008), 2008, Toulouse, France
The paper provided is a reworked version of the paper included in the ERTS Proceedings.; International audience; This paper deals with the configuration of the static segment of a FlexRay network, in the case where the tasks producing the signals are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5cb11ce59e8bf9d7f15e8a02f100669e
https://hal.inria.fr/inria-00273886/file/FlexRay_RTaW.pdf
https://hal.inria.fr/inria-00273886/file/FlexRay_RTaW.pdf
Publikováno v:
Computers, Materials & Continua; 2024, Vol. 81 Issue 1, p1529-1563, 35p
Pushdown systems (PDS) are known as an abstract model of recursive programs, and model checking methods for PDS have been studied. Register PDS (RPDS) are PDS augmented by registers to deal with data values from an infinite domain in a restricted way
Externí odkaz:
http://arxiv.org/abs/2203.11826
Autor:
Schmidt-Schauß, Manfred1 (AUTHOR) schauss@ki.cs.uni-frankfurt.de, Kutsia, Temur2 (AUTHOR) kutsia@risc.jku.at, Levy, Jordi3 (AUTHOR) levy@iiia.scic.es, Villaret, Mateu4 (AUTHOR) villaret@ima.udg.edu, Kutz, Yunus1 (AUTHOR) kutz@ki.cs.uni-frankfurt.de
Publikováno v:
Fundamenta Informaticae. 2022, Vol. 185 Issue 3, p247-283. 37p.
Conference
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.