Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Safia Nait-Bahloul"'
Publikováno v:
EAI Endorsed Transactions on Context-aware Systems and Applications, Vol 3, Iss 7, Pp 1-10 (2016)
The Context-aware approach has proven to be an effective technique for software model-checking verification. It focuses on the explicit modelling of environment as one or more contexts. In this area, specifying precise requirement is a challenged tas
Externí odkaz:
https://doaj.org/article/daa4d229ffdc448db578aa5aa5f06dd6
Autor:
Djamila Baroudi, Safia Nait-Bahloul
Publikováno v:
International Journal of Software Innovation. 9:1-17
Dwyer et al. proposed qualitative specification patterns that enable the practitioners of model checking tools to write formal specifications mainly used for automatic model checking. Although this involves formalisms that are not always easy to hand
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0fe54c7fe8760a012ee5ad698b717bf9
https://doi.org/10.4018/ijsi.2021040101
https://doi.org/10.4018/ijsi.2021040101
Publikováno v:
Engineering Applications of Artificial Intelligence. 115:105251
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca83f98b486d66ccf126946aa333e6da
https://doi.org/10.1016/j.engappai.2022.105251
https://doi.org/10.1016/j.engappai.2022.105251
Publikováno v:
IDEAS
Nowadays large-scale data-centric systems have become an essential element for companies to store, manipulate and derive value from large volumes of data. Capturing this value depends on the ability of these systems in managing large-scale workloads
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::658870184af5ed86a8fd5354b79a94c4
https://doi.org/10.1145/3472163.3472180
https://doi.org/10.1145/3472163.3472180
Autor:
Safia Nait-Bahloul, Nadjia Khatir
Publikováno v:
Kybernetes. 47:1973-1991
Purpose This study aims to evaluate a new fusion technique of visual and textual clusters of objects from a real multimedia data-driven collection to improve the performance of multimedia applications. Design/methodology/approach The authors focused
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a738b17963d143a6686b4990d410ea5b
https://doi.org/10.1108/k-01-2018-0030
https://doi.org/10.1108/k-01-2018-0030
Autor:
Safia Nait-Bahloul, Amel Benabbou
Publikováno v:
International Journal of Information System Modeling and Design. 9:23-47
Requirement specification is a key element in model-checking verification. The context-aware approach is an effective technique for automating the specification of requirement considering specific environmental conditions. In most of existing approac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac0b9b9e5a2cd94b284068a08c94ebf7
https://doi.org/10.4018/ijismd.2018070102
https://doi.org/10.4018/ijismd.2018070102
Autor:
Baroudi Rouba, Safia Nait-Bahloul
Publikováno v:
International Journal of Decision Support System Technology. 10:27-38
This article tackles the problem of outlier detection in the multicriteria decision aid (MCDA) field. The authors propose an outlier detection method based on binary outranking relations and Local Outlier Factor (LOF) algorithm. The outlier is detect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::07d4126df81c13d2ce47efdaef90c614
https://doi.org/10.4018/ijdsst.2018070102
https://doi.org/10.4018/ijdsst.2018070102
Publikováno v:
Software & Systems Modeling. 18:2093-2110
Ontology Web Language (OWL) is considered as a data representation format exploited by the Extensible Markup Language (XML) format. OWL extends XML by providing properties to further express the semantics of data. To this effect, transforming XML dat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::282e24e574eaf8d89d0a508699060074
https://doi.org/10.1007/s10270-017-0651-4
https://doi.org/10.1007/s10270-017-0651-4
Autor:
Safia Nait Bahloul, Baroudi Rouba
Publikováno v:
Multiagent and Grid Systems. 13:421-431
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9344b2a02284f41b6f1eb05825db38d5
https://doi.org/10.3233/mgs-170278
https://doi.org/10.3233/mgs-170278
Autor:
Mohamed Kechar, Safia Nait-Bahloul
Publikováno v:
BDIoT
Data partitioning is a well-known technique for decision-support query performance optimization. In this paper, we present a horizontal data partitioning approach tailored to a large data warehouse, interrogated through a high number of queries. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a71f642fb50b9b4c31ab13c99f8e488
https://doi.org/10.1145/3372938.3372947
https://doi.org/10.1145/3372938.3372947