Zobrazeno 1 - 10
of 66
pro vyhledávání: '"Franco Raimondi"'
Publikováno v:
Applied Network Science, Vol 2, Iss 1, Pp 1-30 (2017)
Abstract We analyse the problem of contradictory information distribution in networks of agents with positive and negative trust. The networks of interest are built by ranked agents with different epistemic attitudes. In this context, positive trust
Externí odkaz:
https://doaj.org/article/ac045650997b4926b0876fd9bb0500f9
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 112, Iss Proc. SR 2013, Pp 71-79 (2013)
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unified framework for strategies, partial observability and fairness constr
Externí odkaz:
https://doaj.org/article/053789c8c2ad4f3794618a24f0bc892f
Autor:
Stefano Mambretti, Claudia Dresti, Mariana Lobo Marchioni, Dario Kian, Gianfranco Becciu, Franco Raimondi
Publikováno v:
International Journal of Environmental Impacts: Management, Mitigation and Recovery. 4:219-230
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a141407202cc22a256ff0dfa62e137b
https://doi.org/10.2495/ei-v4-n3-219-230
https://doi.org/10.2495/ei-v4-n3-219-230
Publikováno v:
Foundations and Practice of Security ISBN: 9783031081460
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d025f1d2646d01e335071e64dab7d3f
https://doi.org/10.1007/978-3-031-08147-7_10
https://doi.org/10.1007/978-3-031-08147-7_10
Publikováno v:
Synthese. 198:5719-5744
The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ca5ab215ac8295d05d10d201df50dcf
https://doi.org/10.1007/s11229-019-02305-7
https://doi.org/10.1007/s11229-019-02305-7
Autor:
Franco Raimondi, Leonardo Mostarda, Claudia Vannucchi, Rosario Culmone, Nikos Gorogiannis, Diletta Cacciagrano, Flavio Corradini
Publikováno v:
Journal of Ambient Intelligence and Smart Environments. 10:261-273
Intelligent Environments (IEs) are physical spaces where Information Technology (IT) and other pervasive computing technologies are combined in order to achieve specific goals for the users and the environment. IEs have the goal of enriching user exp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::abb36f713abc25afeb4a674dcc19b53a
https://doi.org/10.3233/ais-180487
https://doi.org/10.3233/ais-180487
Publikováno v:
Journal of Automated Reasoning. 61:113-139
This paper describes progress with our agenda of formal verification of information flow security for realistic systems. We present CoSMed, a social media platform with verified document confidentiality. The system’s kernel is implemented and verif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca09c90436658e1c14aac4cd22aa3e06
https://doi.org/10.1007/s10817-017-9443-3
https://doi.org/10.1007/s10817-017-9443-3
Publikováno v:
Journal of Computer and System Sciences. 88:126-144
© 2017 The Authors Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bbb2039b6bc61693f8205c66e2d2cf05
https://doi.org/10.1016/j.jcss.2017.03.008
https://doi.org/10.1016/j.jcss.2017.03.008