Results 11 to 20 of about 12,467 (249)
Choreographing configuration changes [PDF]
Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013), 2013 This paper describes the automatic generation of a set of reactive agents capable of autonomously reconfiguring a computing infrastructure into a specified goal state. The agent interactions are guaranteed to be deadlock/live-lock free, can preserve pre-specified global constraints during their execution, and autonomically maintain the goal state once ...
Herry, H +2 more
openaire +2 more sources
Formal Choreographic Languages
, 2022 We introduce formal choreography languages as a meta-model to study message-passing systems. This allows us to compare and generalise standard constructions and properties from the literature. In particular, we consider notions such as global view, local view, and projections from the former to the latter.
Barbanera, F, Lanese, I, Tuosto, E
openaire +5 more sources
An Abstract Framework for Choreographic Testing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2020 In Proceedings ICE 2020, arXiv:2009 ...
Alex Coto +2 more
openaire +3 more sources
SPECIFICS OF POSITIONING THE BODY AND LEGS OF STUDENTS AT THE INITIAL STAGE OF TEACHING CLASSICAL DANCE [PDF]
Studiul Artelor şi Culturologie: Istorie, Teorie, Practică, 2022 The article deals with one of the main problems of classical dance pedagogy – the positioning of the body and legs of students without secondary professional choreographic education, studying choreography at a higher educational institution to become ...
CASIAN, TATIANA
doaj
Choreographing an enzyme's dance [PDF]
Current Opinion in Chemical Biology, 2010 While ground state structures combined with chemical tools and enzyme kinetics deliver useful information on possible chemical mechanisms of enzyme catalysis, they do not unravel the finely balanced energy inventory to explain the impressive rate enhancement of enzymes.
Janice, Villali, Dorothee, Kern
openaire +2 more sources
Journal of Education, Health and Sport, 2020 The article is devoted to one of the current problems in vocational education – the formation of future choreographers information and communication competence (ICC).
Olena Avramenko, Serhii Humeniuk
doaj +1 more source
A Theory of Formal Choreographic Languages
Logical Methods in Computer Science, 2023 We introduce a meta-model based on formal languages, dubbed formal choreographic languages, to study message-passing systems. Our framework allows us to generalise standard constructions from the literature and to compare them. In particular, we consider notions such as global view, local view, and projections from the former to the latter.
Barbanera, F, Lanese, I, Tuosto, E
openaire +8 more sources
Danza e Ricerca, 2022 This essay intends to return the productive story and the articulated artistic events of Juliet and Romeo, a long-lived classic signed by the choreographer and director Fabrizio Monteverde.
Francesca Magnini
doaj +1 more source
Functional Choreographic Programming
, 2022 Choreographic programming is an emerging programming paradigm for concurrent and distributed systems, whereby developers write the communications that should be enacted and then a distributed implementation is automatically obtained by means of a compiler. Theories of choreographic programming typically come with strong theoretical guarantees about the
Luís Cruz-Filipe +4 more
openaire +2 more sources
"Idle Flux": A Composer/Choreographer Collaboration [PDF]
, 2023 The following thesis documents the collaboration process behind Idle Flux, a collaboration between Samuel A. Montgomery, a graduate composer at University of North Texas, and Emily Jensen, a graduate choreographer at Texas Woman's University.
Montgomery, Samuel A.
core +1 more source