Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Amal Gassara"'
Autor:
Khaled Taouil, Rahma Aloulou, Salma Bradai, Amal Gassara, Mohamed Wajdi Kharrat, Badii Louati, Michel Giordani
Publikováno v:
Energies, Vol 17, Iss 15, p 3680 (2024)
Swarm electrification-driven communities face significant challenges, including implementing advanced distributed control in areas with limited ICT access and establishing trust among villagers hesitant to grant access to their assets. This paper pro
Externí odkaz:
https://doaj.org/article/af2b89049e354f39905c8dd315f3bc70
Publikováno v:
BRAINS
Considering the ongoing digital transformation in Orange ecosystem, different marketplaces may co-exist together for different use cases: Energy, Telecom connectivity resources, IoT (Internet of Things) and more. To allow such exchanging platform to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65d177193aabf4ea298a105a841db3f4
https://doi.org/10.1109/brains49436.2020.9223273
https://doi.org/10.1109/brains49436.2020.9223273
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030415679
CRiSIS
CRiSIS
Adaptation of collaboration is needed to maintain the connectivity and quality of communication in group-wide collaborative activities. This becomes quite a challenge to handle when mobile entities are part of a wireless environment. In this paper, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::168bbce5e80bf563c7958ecf6bb4fe55
https://doi.org/10.1007/978-3-030-41568-6_20
https://doi.org/10.1007/978-3-030-41568-6_20
Publikováno v:
Computers & Electrical Engineering. 63:277-288
In this paper, we propose a formal approach supporting the correct description of deployment architectures and their reconfigurations. According to defined models, correct deployment architectures are generated and one of them is selected to be deplo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9f9e86dc3b01451bffe44469e8f6472
https://doi.org/10.1016/j.compeleceng.2017.05.018
https://doi.org/10.1016/j.compeleceng.2017.05.018
Publikováno v:
Journal of Information Security and Applications. 58:102775
In this paper, we propose a solution supporting the correct description of UAVs cooperation architectures and their reconfigurations. This solution is based on a graph transformation system that defines rules for changing UAVs cooperation architectur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0583c0233c96044be9062cc2dfb0aba4
https://doi.org/10.1016/j.jisa.2021.102775
https://doi.org/10.1016/j.jisa.2021.102775
Publikováno v:
EAI Endorsed Transactions on Context-aware Systems and Applications, Vol 2, Iss 4, Pp 1-9 (2015)
Software deployment is executed according a deployment architecture which describes the allocation of software components to its hardware hosts. In this paper, we tackle the issue of constructing correct deployment architectures for large distributed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7cb50d1dfd346597d996cdb6dd152587
http://eudl.eu/doi/10.4108/eai.4-8-2015.150041
http://eudl.eu/doi/10.4108/eai.4-8-2015.150041
Publikováno v:
SAC
Bigraphs and Bigraphical Reactive Systems have been successfully applied in describing software architectures and modeling applications for context-aware systems and System of Systems. Therefore, it is very important to have an implementation of its
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77ee74a059ab7cbf092e4bcc11781a7a
https://doi.org/10.1145/3019612.3019802
https://doi.org/10.1145/3019612.3019802
Publikováno v:
Computers and Electrical Engineering
Computers and Electrical Engineering, 2017, 58, pp.PP.113-125. ⟨10.1016/j.compeleceng.2017.01.016⟩
Computers and Electrical Engineering, Elsevier, 2017, 58, pp.PP.113-125. ⟨10.1016/j.compeleceng.2017.01.016⟩
Computers and Electrical Engineering, 2017, 58, pp.PP.113-125. ⟨10.1016/j.compeleceng.2017.01.016⟩
Computers and Electrical Engineering, Elsevier, 2017, 58, pp.PP.113-125. ⟨10.1016/j.compeleceng.2017.01.016⟩
A multi-scale modeling approach for System of Systems design.A formal methodology using Bigraphical reactive systems.A correct by construction approach for describing SoS architectures.An illustration of our methodology with a smart buildings case st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f933cf8c273036bf9eda4522467c3b1d
https://hal.laas.fr/hal-01471315
https://hal.laas.fr/hal-01471315
Publikováno v:
Electronic Notes in Discrete Mathematics
14th Cologne-Twente Workshop on Graphs and Combinatorial Optimization
14th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, Jun 2016, Gargnano, Italy. pp.216-219, ⟨10.1016/j.endm.2016.10.051⟩
14th Cologne-Twente Workshop on Graphs and Combinatorial Optimization
14th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, Jun 2016, Gargnano, Italy. pp.216-219, ⟨10.1016/j.endm.2016.10.051⟩
International audience; In this paper, we present a solution for executing bigraphical reactive systems based on an investigation on graph transformation systems. For this, we encode a bigraph into a ranked graph. This encoding is ensured, formally,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6981632561f1b44bdb6de0aac623890
https://hal.archives-ouvertes.fr/hal-01399477/document
https://hal.archives-ouvertes.fr/hal-01399477/document
Publikováno v:
WETICE
In this paper, we propose a multi-scale modeling methodology for software reconfigurable systems using the formal technique of Bigraphical Reactive Systems. This methodology provides a correct by design approach for the description of multi-scale arc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95fce747145062a15c1e976f716c7ec3
https://doi.org/10.1109/wetice.2016.14
https://doi.org/10.1109/wetice.2016.14