Results 11 to 20 of about 89,318 (187)
On interoperability and conformance assessment in service composition [PDF]
, 2007 The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the different roles of systems involved in the service, and at distinct ...
Quartel, Dick, Sinderen, Marten van
core +8 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
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
Lending Petri nets and contracts [PDF]
, 2013 Choreography-based approaches to service composition typically assume that, after a set of services has been found which correctly play the roles prescribed by the choreography, each service respects his role.
K Honda +4 more
core +4 more sources
, 2018 Choreographic Programming is a correct-by-construction paradigm where a compilation procedure synthesises deadlock-free, concurrent, and distributed communicating processes from global, declarative descriptions of communications, called choreographies. Previous work used choreographies for the synthesis of programs. Alas, there is no formalisation that
Giallorenzo, Saverio +2 more
openaire +5 more sources
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
, 2019 This essay addresses how Africanist choreography operates as a practice of cultural citizenship, focussing on the work of Thomas ‘Talawa’ Prestø as a leading figure in shaping the cultural sphere for choreography based on African and diaspora forms in ...
Adewole, Funmi
core +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 Local Logic for Realizability in Web Service Choreographies [PDF]
, 2014 Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does there exist a set of service implementations I that conform to C ?
Ramanujam, R., Sheerazuddin, S.
core +8 more sources
On Asynchrony and Choreographies [PDF]
, 2017 Choreographic Programming is a paradigm for the development of concurrent software, where deadlocks are prevented syntactically. However, choreography languages are typically synchronous, whereas many real-world systems have asynchronous communications ...
Cruz-Filipe, Luís, Montesi, Fabrizio
core +3 more sources