Zobrazeno 1 - 10
of 44 590
pro vyhledávání: '"concretization"'
GUI test migration aims to produce test cases with events and assertions to test specific functionalities of a target app. Existing migration approaches typically focus on the widget-mapping paradigm that maps widgets from source apps to target apps.
Externí odkaz:
http://arxiv.org/abs/2409.05028
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alternating simulation relation (ASR), where it is possible to simplify t
Externí odkaz:
http://arxiv.org/abs/2403.09556
Autor:
Bounefla, Achwaq1 a_bounefla@esc-alger.dz, Maabout, Mohamed Zakaria1 mz_maabout@esc-alger.dz
Publikováno v:
Journal of Economics of Business & Finance. 2024, Vol. 8 Issue 3, p129-140. 12p.
Publikováno v:
IEEE.Transactions.on.Software.Engineering 50 (2024) 48-68
Existing safety assurance approaches for autonomous vehicles (AVs) perform system-level safety evaluation by placing the AV-under-test in challenging traffic scenarios captured by abstract scenario specifications and investigated in realistic traffic
Externí odkaz:
http://arxiv.org/abs/2307.07826
Publikováno v:
Nankai Business Review. 2023, Vol. 26 Issue 6, p224-234. 13p.
Autor:
Theo A. F. Kuipers
Publikováno v:
Organon F, Vol 30, Iss 2, Pp 153-159 (2023)
Leszek Nowak is rightly known as the pioneer of empirical concretization. As Giacomo Borbone notes, there is also a kind of conceptual concretization. This specific form of concept explication is illustrated by two transitions: from Bayesian conditio
Externí odkaz:
https://doaj.org/article/a14996778bd34aff92697ae8d7834e3d
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:
Ida Martinelli, Nalil Khairiah
Publikováno v:
Perspektif: Jurnal Ilmu-ilmu Sosial, Vol 13, Iss 1, Pp 18-31 (2024)
This article aims to investigate the implementation of accreditation to enhance the quality of technology-based education services in the new normal era. The primary focus of the research is on the concrete application of online accreditation based o
Externí odkaz:
https://doaj.org/article/cf0c0e3d04704923969c28fae99f6e35
Autor:
Нижник, Віктор1, Власенко, Інна1 vlasenkoinna23@gmail.com
Publikováno v:
Galician economic journal. 2023, Vol. 84 Issue 5, p31-38. 8p.