Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Elkamel Merah"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Informatica. 45
Multi-agent organizational modeling frameworks can be considered as an efficient solution regarding the distributed applications’ problems such as task bundle mechanisms, supply chain management, as well as air traffic control. The main objective o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee848c2219d8f10fc87ddcf37bbdc291
https://doi.org/10.31449/inf.v45i2.2967
https://doi.org/10.31449/inf.v45i2.2967
Publikováno v:
2020 4th International Symposium on Informatics and its Applications (ISIA).
This article deals with the verification of refinement of embedded systems. It's about demonstrating the correctness of the refinement engendered by transformations written in Pomset. This will allow, thereafter, the design of correct systems by cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::296c5df7f2922eb676cf2f2fbae7a37b
https://doi.org/10.1109/isia51297.2020.9416544
https://doi.org/10.1109/isia51297.2020.9416544
Publikováno v:
International Journal of Business Process Integration and Management. 9:158
Business process modelling notation (BPMN) represents an industrial standard created in order to provide a graphical semi-formal notation that is readily understandable by all business users, from the business analyst to the technical developers, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce6d712c83790c4db53b222d7ce94176
https://doi.org/10.1504/ijbpim.2019.100922
https://doi.org/10.1504/ijbpim.2019.100922
Autor:
Elkamel Merah, Allaoua Chaoui
Publikováno v:
2009 Second International Conference on the Applications of Digital Information and Web Technologies.
In this paper we propose an extension of the functional programming language Caml Light called ACCL for A Concurrent Caml Light which aims to encompass functional, imperative and concurrent programming paradigms in a single programming language. For
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9dd588ba19202b09129ce5e36588307a
https://doi.org/10.1109/icadiwt.2009.5273977
https://doi.org/10.1109/icadiwt.2009.5273977
Autor:
Elkamel Merah, Allaoua Chaoui
Publikováno v:
2009 First International Conference on Networked Digital Technologies.
In this paper, we discuss the design of an experimental language, mCamllight which extends the functional programming language Caml Light to support concurrent and distributed programming. It is also aimed towards mobility. In contrast to others solu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ccfbfa2fa32cbadedd0a467bdb975f8d
https://doi.org/10.1109/ndt.2009.5272180
https://doi.org/10.1109/ndt.2009.5272180