Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Karima Mahdi"'
Publikováno v:
International Journal of Organizational and Collective Intelligence. 12:1-23
This work addresses one of the core issues in modern enterprises applications: Business Process (BP), by proposing a new comprehensive model-driven approach for automated and formal verification of BP models. This allows BP specialists to formally an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c689373702127e998e70737e4a47b8fc
https://doi.org/10.4018/ijoci.304887
https://doi.org/10.4018/ijoci.304887
Publikováno v:
International Journal of Information Technology and Computer Science. 5:15-27
In this work we present an approach and a tool for transforming business patterns to labelled Petri nets. This transformation is justified by the fact that Petri nets have efficient analysis techniques. We specify first, business patterns and labelle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9f15b344e338c6c9385b2551f9d7864
https://doi.org/10.5815/ijitcs.2013.02.02
https://doi.org/10.5815/ijitcs.2013.02.02
Publikováno v:
Progress in Artificial Intelligence ISBN: 9783540307372
EPIA
EPIA
This paper provides a new proposal that aims to solve multi-objective optimization problems (MOPs) using quantum evolutionary paradigm. Three main features characterize the proposed framework. In one hand, it exploits the states superposition quantum
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4daa1727023648d7ea9051e21587c549
https://doi.org/10.1007/11595014_19
https://doi.org/10.1007/11595014_19
