Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Kitouni, Ilham"'
Publikováno v:
In Artificial Intelligence In Medicine December 2022 134
Testing is a validation activity used to check the system's correctness with respect to the specification. In this context,test based on refusals is studied in theory and tools are effectively constructed. This paper addresses,a formal testing based
Externí odkaz:
http://arxiv.org/abs/1211.2708
The test is one of the approaches commonly used for validating systems to ensure qualitative and quantitative implementation requirements. In this paper, we interest in formal testing using graph transformation, thus we propose an approach for transl
Externí odkaz:
http://arxiv.org/abs/1209.5257
Publikováno v:
Ingénierie des Systèmes d'Information. Jun2022, Vol. 27 Issue 3, p377-385. 9p.
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 Contemporary Urban Affairs, Vol 2, Iss 3 (2018)
Architectural heritage conservation projects are one of the most risky and complex projects in the construction industry. Many studies have reported frequent performance failures in terms of time, cost and quality. To implement quality management in
Externí odkaz:
https://doaj.org/article/9205f335734941c8a8971f197909b2f9
Publikováno v:
Brahmi, B F, Boudemagh, S S, Kitouni, I & Kamari, A 2021, Digital technologies as a catalyst to elevating IPD+BIM synergy in sustainable renovation of heritage buildings . in V Semenov & R J Scherer (eds), ECPPM 2021-eWork and eBusiness in Architecture, Engineering and Construction : Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia . CRC Press/Balkema, pp. 446-453, 13th European Conference on Product & Process Modelling, Moscow, Russian Federation, 15/09/2021 . https://doi.org/10.1201/9781003191476-61
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::a0260cf4d119b56f11bffae825ac3d89
https://pure.au.dk/portal/da/publications/digital-technologies-as-a-catalyst-to-elevating-ipdbim-synergy-in-sustainable-renovation-of-heritage-buildings(47893776-e545-4a9a-a9a5-8475f6c691ca).html
https://pure.au.dk/portal/da/publications/digital-technologies-as-a-catalyst-to-elevating-ipdbim-synergy-in-sustainable-renovation-of-heritage-buildings(47893776-e545-4a9a-a9a5-8475f6c691ca).html
Autor:
Kouah Sofia, Kitouni Ilham
Publikováno v:
Journal of Information Technology Research. 11:32-52
Nowadays, the Internet of things (IoT) is becoming a promising technology which revolutionizes and simplifies our daily life style. It allows interaction and cooperation between a large variety of pervasive objects over wireless and wired connections
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ddfb47c1298bddcdb2ae9e9c236ba92
https://doi.org/10.4018/jitr.2018100103
https://doi.org/10.4018/jitr.2018100103
Publikováno v:
Construction Management & Economics; Mar2022, Vol. 40 Issue 3, p186-206, 21p, 2 Diagrams, 5 Charts
Publikováno v:
International Journal of Distributed Systems and Technologies. 7:21-41
The timed automata are extensively used in different fields of formal validation in particular the model checking one. In this paper the authors are interested by a class of TA called durational actions timed automata (daTA) and the zones graph which
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b152d5962da803dcb802a7e4b6476d6
https://doi.org/10.4018/ijdst.2016070102
https://doi.org/10.4018/ijdst.2016070102