Výsledky vyhledávání - "Hillah L. M."

Report

Raw Report on the Model Checking Contest at Petri Nets 2012

Autor: Kordon, F., Linard, A., Buchs, D., Colange, M., Evangelista, S., Fronc, L., Hillah, L. M., Lohmann, N., Paviot-Adet, E., Pommereau, F, Rohr, C., Thierry-Mieg, Y., Wimmel, H., Wolf, K.

This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second e

Externí odkaz: http://arxiv.org/abs/1209.2382

Zobrazit plný text záznamu

Automated deployment and management of Self-* applications on hybrid clouds

Autor: Hillah L. M., Assad R., Bertolino A., Maesano L., Iyoda J.

Publikováno v: Cloudscape Brazil and Workshop on Cloud Networks 2017, Sao Paolo, Brazil, 5-6 July 2017
info:cnr-pdr/source/autori:Hillah L.M.; Assad R.; Bertolino A.; Maesano L.; Iyoda J./congresso_nome:Cloudscape Brazil and Workshop on Cloud Networks 2017/congresso_luogo:Sao Paolo, Brazil/congresso_data:5-6 July 2017/anno:2017/pagina_da:/pagina_a:/intervallo_pagine

This position paper outlines an intercontinental research whose goal is twofold: (i) low code implementation of portable cloud applications with self-configuration, self-healing, self-recovery capabilities; (ii) low code automation of installation, c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::35f88d2db1484365d1ec1a0929c6f72e
http://www.cnr.it/prodotto/i/386496

Zobrazit plný text záznamu

Towards automated deployment of self-adaptive applications on hybrid clouds

Autor: Hillah L. M., Assad R., Bertolino A., Delamaro M., De Rosa F., Garcia V., Lonetti F., Maesano A. P., Maesano L., Marchetti E., Miranda B., Vincenzi A., Iyoda J.

Publikováno v: International Conference on Software Engineering and Formal Methods SEFM 2017, pp. 388–393, trento italy, 4-8/09/2017
info:cnr-pdr/source/autori:Hillah L. M.; Assad R.; Bertolino A.; Delamaro M.; De Rosa F.; Garcia V.; Lonetti F.; Maesano A. P.; Maesano L.; Marchetti E.; Miranda B.; Vincenzi A.; Iyoda J./congresso_nome:International Conference on Software Engineering and Formal Methods SEFM 2017/congresso_luogo:trento italy/congresso_data:4-8%2F09%2F2017/anno:2017/pagina_da:388/pagina_a:393/intervallo_pagine:388–393

Cloud computing promises high dynamism, flexibility, and elasticity of applications at lower infrastructure costs. However, resource management, portability, and interoperability remain a challenge for cloud application users, since the current major

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f91613c9531e8ac59796d5b89024b3c5

Zobrazit plný text záznamu

Layered Data: A Modular Formal Definition without Formalisms

Autor: Linard, A., Benoit Barbot, Buchs, D., Colange, M., Démoulins, C., Hillah, L. M., Martin, A.

Publikováno v: CEUR-WS.org
Petri Nets and Software Engineering (PNSE 2016)
Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306
Scopus-Elsevier

International audience; Defining formalisms and models in modular way is a painful task. Metamodeling tools and languages have usually not been created with this goal in mind. This article proposes a data structure, called layered data, that allows d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5984bd4ca11ef350c7f37e83e9c43267
https://hal.sorbonne-universite.fr/hal-01353944/file/pnse16-7-linard.pdf

Zobrazit plný text záznamu

Kniha

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.

Autor: Hillah, L. M., Kordon, F., Petrucci, L., Trèves, N.

Publikováno v: Applications & Theory of Petri Nets (9783642136740); 2010, p318-327, 10p

Zobrazit plný text záznamu

A primer on the Petri Net Markup Language and ISO/IEC 15909-2

Autor: Hillah, L. M., Ekkart Kindler, Kordon, F., Petrucci, L., Tréves, N.

Publikováno v: Technical University of Denmark Orbit
Petri Net Newsletter
Petri Net Newsletter, 2009, 76, pp.9-28

International audience; In 2000, there was a workshop [1] that should foster the definition of a standard transfer format for Petrinets as a satellite event of the annual ‘Petri Net Conference’ in Aarhus. As a result of this first workshop,after

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::11bc3e4f4cd62aa6d7040cc8814fe538
https://orbit.dtu.dk/en/publications/4e705642-18b4-4940-9260-a239599e897d

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání