Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Rouwaida Abdallah"'
Publikováno v:
Smart Cities, Vol 7, Iss 4, Pp 2283-2317 (2024)
This paper introduces an innovative response to the pressing challenge of rapid and effective incident detection and management in urban settings. The proposed solution is a decentralized incident reporting system (IRS) harnessing blockchain technolo
Externí odkaz:
https://doaj.org/article/c11af3b9c50643f3ae4ca74e7a80b854
Autor:
Rouwaida Abdallah, Rim Abdallah
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783031140532
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e6a3a041f85748245f32cef436a1866
https://doi.org/10.1007/978-3-031-14054-9_40
https://doi.org/10.1007/978-3-031-14054-9_40
Publikováno v:
Electronics
Electronics, 2022, 11 (4), pp.628. ⟨10.3390/electronics11040628⟩
Electronics; Volume 11; Issue 4; Pages: 628
Electronics, 2022, 11 (4), pp.628. ⟨10.3390/electronics11040628⟩
Electronics; Volume 11; Issue 4; Pages: 628
International audience; In an electric distribution system, the management of peak demands is becoming increasingly difficult. Every method we have to flatten the consumption curve greatly reduces the energy generation costs, CO$_2$ emissions, and co
Publikováno v:
Model-Driven Engineering and Software Development (MODELSWARD), 2015 3rd International Conference on
Model-Driven Engineering and Software Development (MODELSWARD), 2015 3rd International Conference on, Jul 2015, Kaufbeuren, Germany
MODELSWARD
Model-Driven Engineering and Software Development (MODELSWARD), 2015 3rd International Conference on, Jul 2015, Kaufbeuren, Germany
MODELSWARD
International audience; In this paper, we propose a model-driven framework for security analysis. We present a security analysis process that begins from the design phase of the system architecture then allows performing several security analysis met
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb0146eedbfafc34521fc97af8dea900
https://hal-cea.archives-ouvertes.fr/cea-01810074/file/07323180.pdf
https://hal-cea.archives-ouvertes.fr/cea-01810074/file/07323180.pdf
Publikováno v:
Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science
Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science, Feb 2015, Angers, France. pp.278-292, ⟨10.1007/978-3-319-27869-8_16⟩
Communications in Computer and Information Science ISBN: 9783319278681
MODELSWARD (Revised Selected Papers)
Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science, Feb 2015, Angers, France. pp.278-292, ⟨10.1007/978-3-319-27869-8_16⟩
Communications in Computer and Information Science ISBN: 9783319278681
MODELSWARD (Revised Selected Papers)
Conference of 3rd International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015 ; Conference Date: 9 February 2015 Through 11 February 2015; Conference Code:160579; International audience; Nowadays, security analysis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94bf65bbbe345ee55c433d383f70399d
https://hal-cea.archives-ouvertes.fr/cea-01836561
https://hal-cea.archives-ouvertes.fr/cea-01836561
Publikováno v:
Software and Systems Modeling
Software and Systems Modeling, Springer Verlag, 2015, 14, pp.10-32. ⟨10.1007/s10270-013-0357-1⟩
Software and Systems Modeling, 2015, 14, pp.10-32. ⟨10.1007/s10270-013-0357-1⟩
Software and Systems Modeling, Springer Verlag, 2015, 14, pp.10-32. ⟨10.1007/s10270-013-0357-1⟩
Software and Systems Modeling, 2015, 14, pp.10-32. ⟨10.1007/s10270-013-0357-1⟩
This work revisits the problem of program synthesis from specifications described by high-level message sequence charts. We first show that in the general case, synthesis by a simple projection on each component of the system allows more behaviors in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::833ad1140803bd6846c3f1f2d8dca56b
https://hal.archives-ouvertes.fr/hal-00840372/document
https://hal.archives-ouvertes.fr/hal-00840372/document
Publikováno v:
FASE 2013
FASE 2013, Mar 2013, Rome, France. pp.194-209
[Research Report] 2013
Fundamental Approaches to Software Engineering ISBN: 9783642370564
FASE
FASE 2013, Mar 2013, Rome, France. pp.194-209
[Research Report] 2013
Fundamental Approaches to Software Engineering ISBN: 9783642370564
FASE
This work considers implementation of requirements expressed as High-level Message Sequence Charts (HMSCs). All HMSCs are not implementable, and the question of whether an HMSC speci cation can be implemented by communicating machines is undecidable
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48d6ed2b5ac1b67ed5b24fec6b6b5be1
https://hal.archives-ouvertes.fr/hal-00840393
https://hal.archives-ouvertes.fr/hal-00840393
Autor:
Rouwaida Abdallah, Claude Jard
Publikováno v:
NOTERE
We discuss the automatic protocol generation of protocols that can have a specification described by a local High level Message Sequence Chart (HMSC). We will use a synthesis method that allows to any local HMSC to be correctly implementable by addin
Publikováno v:
2010 Second International Conference on Computational Intelligence, Modelling and Simulation.
Arc consistency (AC) is very important in Constraint Satisfaction Problems (CSPs). Several algorithms have been made to deal with arc consistency, the most known is the Maintaining arc consistency algorithm (MAC). The usefulness of AC processing was