Zobrazeno 1 - 10
of 125
pro vyhledávání: '"Rosario Pugliese"'
Autor:
Tania Bruno, Ettore Etenzi, Luca Gualandi, Eraldo Katra, Rosario Pugliese, Alessio Taranto, Francesco Tiezzi
Publikováno v:
Blockchain: Research and Applications, Vol 5, Iss 4, Pp 100226- (2024)
Nowadays, user-generated content is pivotal for many companies: people trust other customers' opinions more than any brand advertisement. Brands are aware of this and try to promote and motivate their customers to create high-quality content. However
Externí odkaz:
https://doaj.org/article/682268f181d84a54911d14dda62e6f12
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 2 (2020)
We present a number of contributions to bridging the gap between supervisory control theory and coordination of services in order to explore the frontiers between coordination and control systems. Firstly, we modify the classical synthesis algorithm
Externí odkaz:
https://doaj.org/article/009836a5af7e44d7908900d27839e89b
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 188, Iss Proc. WWV 2015, Pp 33-50 (2015)
The advent of large-scale, complex computing systems has dramatically increased the difficulties of securing accesses to systems' resources. To ensure confidentiality and integrity, the exploitation of access control mechanisms has thus become a cruc
Externí odkaz:
https://doaj.org/article/607f27b7eeb246169a6075f1a188f237
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 123, Iss Proc. WWV 2013, Pp 3-18 (2013)
We focus on a form of joining conversations among multiple parties in service-oriented applications where a client may asynchronously join an existing conversation without need to know in advance any information about it. More specifically, we show h
Externí odkaz:
https://doaj.org/article/2e1a404a728847c59090136247ec652d
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 41, Iss Proc. EXPRESS 2010, Pp 16-30 (2010)
We introduce a new criterion, replacement freeness, to discern the relative expressiveness of process calculi. Intuitively, a calculus is strongly replacement free if replacing, within an enclosing context, a process that cannot perform any visible a
Externí odkaz:
https://doaj.org/article/257e0cbb1c89455a8e34898b0efa4abc
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8126ee35bf4b7ea737181da0eef6cd2
https://doi.org/10.1007/978-3-031-19759-8_18
https://doi.org/10.1007/978-3-031-19759-8_18
The Small and Medium-sized Enterprises’ (SMEs) level of organizational cybersecurity readiness has been poorly investigated to date. Currently, all SMEs need to maintain an adequate level of cybersecurity to run their businesses, not only those wis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a1c3aede43248c5d354eb3412232019
http://hdl.handle.net/11568/1152579
http://hdl.handle.net/11568/1152579
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles ISBN: 9783030614690
ISoLA (2)
ISoLA (2)
Developing robotics applications is a demanding software engineering challenge. Such a software has to perform multiple cooperating tasks in a well-coordinated manner in order to avoid unsatisfactory behavior. In this paper, we define an approach for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58241f6e1aca9010802aac47dcbe93b9
https://doi.org/10.1007/978-3-030-61470-6_22
https://doi.org/10.1007/978-3-030-61470-6_22
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030223960
COORDINATION
Lecture Notes in Computer Science
21th International Conference on Coordination Languages and Models (COORDINATION)
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.129-147, ⟨10.1007/978-3-030-22397-7_8⟩
21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'19), pp. 129–147, Kongens Lyngby, Denmark, 17-21/06/2019
info:cnr-pdr/source/autori:Basile D.; ter Beek M.H.; Pugliese R./congresso_nome:21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'19)/congresso_luogo:Kongens Lyngby, Denmark/congresso_data:17-21%2F06%2F2019/anno:2019/pagina_da:129/pagina_a:147/intervallo_pagine:129–147
COORDINATION
Lecture Notes in Computer Science
21th International Conference on Coordination Languages and Models (COORDINATION)
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.129-147, ⟨10.1007/978-3-030-22397-7_8⟩
21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'19), pp. 129–147, Kongens Lyngby, Denmark, 17-21/06/2019
info:cnr-pdr/source/autori:Basile D.; ter Beek M.H.; Pugliese R./congresso_nome:21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'19)/congresso_luogo:Kongens Lyngby, Denmark/congresso_data:17-21%2F06%2F2019/anno:2019/pagina_da:129/pagina_a:147/intervallo_pagine:129–147
Part 3: Exploring New Frontiers; International audience; We explore the frontiers between coordination and control systems by discussing a number of contributions to bridging the gap between supervisory control theory and coordination of services. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0cee8ee1447e2f1d0049abcc6fa521c1
https://doi.org/10.1007/978-3-030-22397-7_8
https://doi.org/10.1007/978-3-030-22397-7_8