Examinando por Materia "Process calculi"

Mostrando 1 - 4 de 4
  • No hay miniatura disponible
    Ítem
    Current trends and future research directions for interactive music
    (Asian Research Publishing Network, 2018-08-31) Toro, Mauricio; Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta-instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. The main disadvantage of formal approaches is lack of commercial tools. © 2005 – ongoing JATIT & LLS.
  • No hay miniatura disponible
    Ítem
    A general overview of formal languages for individual-based modelling of ecosystems
    (Elsevier BV, 2019-04-01) Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería Mecánica; Estudios en Mantenimiento (GEMI)
    Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct view and techniques for analyzing systems. Most of the languages are based on process calculi or P systems. In this article, we present a general overview of the existing modelling languages based on process calculi. We also discuss, briefly, other approaches such as P systems, cellular automata and Petri nets. Finally, we show advantages and disadvantages of these modelling languages and we propose some future research directions. (C) 2019 Elsevier Inc. All rights reserved.
  • No hay miniatura disponible
    Ítem
    A general overview of formal languages for individual-based modelling of ecosystems
    (Elsevier BV, 2019-04-01) Toro, Mauricio; Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct view and techniques for analyzing systems. Most of the languages are based on process calculi or P systems. In this article, we present a general overview of the existing modelling languages based on process calculi. We also discuss, briefly, other approaches such as P systems, cellular automata and Petri nets. Finally, we show advantages and disadvantages of these modelling languages and we propose some future research directions. (C) 2019 Elsevier Inc. All rights reserved.
  • No hay miniatura disponible
    Ítem
    NTCCRT: A concurrent constraint framework for soft real-time music interaction
    (Asian Research Publishing Network, 2015-01-01) Toro, M.; Rueda, C.; Agón, C.; Assayag, G.; Toro, M.; Rueda, C.; Agón, C.; Assayag, G.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    Writing music interaction systems is not easy because their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior. Using Pure Data (Pure Data) and Max/MSP, it is possible to program concurrency; however, it is difficult to synchronize processes based on multiple criteria. Process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus, overcome that problem by representing, declaratively, the synchronization of multiple criteria as constraints. In this article, we propose the framework Ntccrt, as a new alternative to manage concurrency in Pure Data and Max/MSP. Ntccrt is a real-time capable interpreter for ntcc. Using Ntccrt binary plugins in Pure Data, we executed models for machine improvisation and signal processing. We also analyzed two case studies: one of a machine improvisation system and one of a signal processing system. We found out that performance of both case studies is compatible with soft real-time music interaction; it means, a musician can interact with Ntccrt without noticeable delays during the interaction. © 2005 - 2015 JATIT & LLS. All rights reserved.