Zobrazeno 1 - 10
of 237
pro vyhledávání: '"Mascardi, V."'
This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This layer is capable of controlling events during the execution of the syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fffe6d5be4a057585e508834007c87b2
Publikováno v:
Scopus-Elsevier
The paper summarises a systematic literature review (SLR) over logic-based technologies for MAS.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c08d862f9279113fa3f46c529e3ebc0f
http://hdl.handle.net/11585/819065
http://hdl.handle.net/11585/819065
Publikováno v:
CEUR Workshop Proceedings
Runtime verification (RV) is an effective technique for dynamically monitoring, even after deployment, properties that could be hardly verified statically. To this aim, specification formalims for RV have to reconcile expressive power and monitoring
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9c6b6d9a504d96cd401745097befaea5
http://livrepository.liverpool.ac.uk/3124350/1/paper28.pdf
http://livrepository.liverpool.ac.uk/3124350/1/paper28.pdf
Publikováno v:
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3673384900ea019612f6dd862369037e
https://hdl.handle.net/11567/1071052
https://hdl.handle.net/11567/1071052
Publikováno v:
Scopus-Elsevier
This paper describes an approach for designing, formalizing and implementing sentinels that detect errors in fail-uncontrolled multiagent systems, and controllers that identify particular situations in ambient intelligence (AmI) systems. The formalis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1f703f2e30c968f8072bb9b1f3034560
http://hdl.handle.net/11383/2118416
http://hdl.handle.net/11383/2118416
Autor:
Beux, S., Briola, D., Corradi, A., Delzanno, G., Ferrando, A., Frassetto, F., Guerrini, G., Mascardi, V., Oreggia, M., Pozzi, F., Solimando, A., Armando TACCHELLA
Publikováno v:
Scopus-Elsevier
30th Italian Conference on Computational Logic, pp. 31–45, Genoa, 1-3/07/2015
info:cnr-pdr/source/autori:Beux S.; Briola D.; Corradi A.; Delzanno G.; Ferrando A.; Frassetto F.; Guerrini G.; Mascardi V.; Oreggia M.; Pozzi F.; Solimando A.; Tacchella A./congresso_nome:30th Italian Conference on Computational Logic/congresso_luogo:Genoa/congresso_data:1-3%2F07%2F2015/anno:2015/pagina_da:31/pagina_a:45/intervallo_pagine:31–45
30th Italian Conference on Computational Logic, pp. 31–45, Genoa, 1-3/07/2015
info:cnr-pdr/source/autori:Beux S.; Briola D.; Corradi A.; Delzanno G.; Ferrando A.; Frassetto F.; Guerrini G.; Mascardi V.; Oreggia M.; Pozzi F.; Solimando A.; Tacchella A./congresso_nome:30th Italian Conference on Computational Logic/congresso_luogo:Genoa/congresso_data:1-3%2F07%2F2015/anno:2015/pagina_da:31/pagina_a:45/intervallo_pagine:31–45
We discuss a logic-based methodology that we adopted to teach basic concepts of programming to high school students with a scientific profile and very basic knowledge of computer science. For our experiments we combined lectures on inductive reasonin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2cb496891b75cfe5182b1ce20ea883d3
http://hdl.handle.net/11567/822805
http://hdl.handle.net/11567/822805