Results 21 to 30 of about 22,095 (253)
Towards Refinable Choreographies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2020 In Proceedings ICE 2020, arXiv:2009 ...
Ugo de'Liguoro +2 more
openaire +5 more sources
OUTSOURCING AS A MODERN TOOL FOR IMPROVING BUSINESS EFFICIENCY
Arts Academy, 2023 The article explores the role of outsourcing in the modern business environment and its importance for improving the efficiency of business processes.
Samenova Ainura Mukhtarovna
doaj +1 more source
On Asynchrony and Choreographies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In Proceedings ICE 2017, arXiv:1711 ...
Luís Cruz-Filipe, Fabrizio Montesi
openaire +4 more sources
Merging Multiparty Protocols in Multiparty Choreographies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Choreography-based programming is a powerful paradigm for defining communication-based systems from a global viewpoint. A choreography can be checked against multiparty protocol specifications, given as behavioural types, that may be instantiated ...
Fabrizio Montesi, Marco Carbone
doaj +1 more source
The role and significance of national values in teaching students to creative thinking [PDF]
BIO Web of Conferences, 2023 Since ancient times, the relationship between language and culture has been closely linked. Their common features associated with national values are combined in folklore.
Naralieva Shakhlo +2 more
doaj +1 more source
Advanced Dance Choreography System Using Bidirectional LSTMs
Systems, 2023 Recently, the craze of K-POP contents is promoting the development of Korea’s cultural and artistic industries. In particular, with the development of various K-POP contents, including dance, as well as the popularity of K-POP online due to the non-face ...
Hanha Yoo, Yunsick Sung
doaj +1 more source
A semantical framework for the orchestration and choreography of web services [PDF]
, 2005 Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the composition of individual services through orchestration and choreography to
Zhu, Yaoling, Pahl, Claus
core +1 more source
Communications in choreographies, revisited [PDF]
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018 Choreographic Programming is a paradigm for developing correct-by-construction concurrent programs, by writing high-level descriptions of the desired communications and then synthesising process implementations automatically. So far, choreographic programming has been explored in the monadic setting: interaction terms express point-to-point ...
Luís Cruz-Filipe +2 more
openaire +2 more sources
Choreographies in Practice [PDF]
, 2016 Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O operations in programs, called choreographies, and then mechanically synthesise distributed implementations in terms of standard process models via a mechanism known as ...
Luís Cruz-Filipe, Fabrizio Montesi
openaire +3 more sources
Frontiers in Neurorobotics, 2022 To study the influence of Artificial Intelligence (AI) on dancing robots in choreography, this paper introduces the biped-humanoid robot-imagined choreography model alongside the Psychological Space Construction (Psychological Construct) and Human ...
Liu Yang, Liu Yang
doaj +1 more source