Zobrazeno 1 - 10
of 125
pro vyhledávání: '"Rosario Pugliese"'
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
Publikováno v:
From Software Engineering to Formal Methods and Tools, and Back ISBN: 9783030309848
From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
The rigorous design of Service-Oriented Computing (SOC) applications has been identified as one of the primary research challenges for the next 10 years. Many foundational theories for SOC have been defined, but they often rely on mechanisms differen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::72be0a968982c2b4ea7b872d585ff326
http://hdl.handle.net/11581/447730
http://hdl.handle.net/11581/447730