Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Khaled Khalfaoui"'
Publikováno v:
Quantum Information Processing. 22
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6540ac70e5f20183712bdc4483420395
https://doi.org/10.1007/s11128-022-03803-3
https://doi.org/10.1007/s11128-022-03803-3
Publikováno v:
Modelling and Implementation of Complex Systems ISBN: 9783031185151
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5f5fd64fb2cfbb0d8c8545ac7a93579
https://doi.org/10.1007/978-3-031-18516-8_5
https://doi.org/10.1007/978-3-031-18516-8_5
Publikováno v:
Quantum Information Processing. 21
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01d52f67c14ea508efd6236fd3f5ebca
https://doi.org/10.1007/s11128-022-03550-5
https://doi.org/10.1007/s11128-022-03550-5
Publikováno v:
Quantum Information Processing. 20
Quantum computing is a field of study aimed at developing technologies based on the principles of quantum theory. In this research area, enormous theoretical progress has been made, but at the current state, few quantum algorithms have been developed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::92494a33cdc7ae1a98f4ba145e418eb6
https://doi.org/10.1007/s11128-021-03208-8
https://doi.org/10.1007/s11128-021-03208-8
Publikováno v:
International Journal of Computer Aided Engineering and Technology. 12:237
Activity diagrams are UML behaviour diagrams which describe global dynamic behaviours of systems in a user-friendly manner. Nevertheless, UML notations lack firm semantics which make them unsuitable for formal analysis. Formal methods are suitable te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a3a0ce87ee9ea25eb4d7c1ac999e453
https://doi.org/10.1504/ijcaet.2020.10026291
https://doi.org/10.1504/ijcaet.2020.10026291
Publikováno v:
2018 Fifth International Symposium on Innovation in Information and Communication Technology (ISIICT).
UML Interaction Overview Diagrams (IODs) are newly introduced in the second generation of UML to define interactions through a variant of activity diagrams in a way that promotes overview of the control flow. However, IODs lack a firm semantics which
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49a3d5b4d074f0f316e8a0a30498663b
https://doi.org/10.1109/isiict.2018.8613723
https://doi.org/10.1109/isiict.2018.8613723
A Software Product Line is a set of software products that share a number of core properties but also differ in others. Differences and commonalities between products are typically described in terms of features. A software product line is usually mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26cc9312da20fdfc622a1456ab5e1e03
Publikováno v:
IRI
Unified modeling language (UML) is a standardized modeling language enabling to specify, construct and document artifacts of a software system based on graphical notations. However, UML lacks a firm semantics which reduces the quality of system model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3db9d69db36a03f76b5e0ee0cbc3219a
https://doi.org/10.1109/iri.2018.00081
https://doi.org/10.1109/iri.2018.00081
Publikováno v:
International Journal of Software Engineering & Applications. 4:19-31
A Software Product Line is a set of software products that share a number of core properties but also differ in others. Differences and commonalities between products are typically described in terms of features. A software product line is usually mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9403e2be47de94cbb7b3aab960e9acb3
https://doi.org/10.5121/ijsea.2013.4202
https://doi.org/10.5121/ijsea.2013.4202
Publikováno v:
AICCSA
In order to automate Business Processes Modeling, the last research works in workflow technology have resulted in the identification of a number of models (workflow patterns) that describe the behavior of Business Processes. Like any new trend, the B
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9bcf980158d2e86279895674bab8c1d0
https://doi.org/10.1109/aiccsa.2015.7507176
https://doi.org/10.1109/aiccsa.2015.7507176