Now showing items 1-6 of 6

    • Modelo de análisis de datos para simular y visualizar el destino de los usuarios de un sistema de Buses de Transito Rápido (BTR) 

      Valencia Salamanca, Diego Esteban (Ingeniería de Sistemas, 2021)
      Las ciudades inteligentes buscan aprovechar las tecnologías de la información y comunicación para analizar los datos recolectados de las actividades cotidianas de los ciudadanos. Una de esas actividades (y fuente grande ...
    • On Distributed Collaboration for Biomedical Analyses 

      Boujdad, Fatima-Zahra; Gaignard, Alban; Südholt, Mario; Garzón-Alfonso, Wilmer; Benavides Navarro, Luis Daniel; Redon, Richard (IEEE XploreLárnaca, Chipre., 2019)
      Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based ...
    • On Distributed Collaboration for Biomedical Analyses 

      Boujdad, Fatima-Zahra; Gaignard, Alban; Südholt, Mario; Garzón-Alfonso, Wilmer; Benavides Navarro, Luis Daniel; Redon, Richard (IEEE XploreLarnaca, Cyprus, 2019)
      Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based ...
    • REAL-T: Time Modularization in Reactive Distributed Applications 

      Benavides Navarro, Luis Daniel; Pimienta, Camilo; Sanabria, Mateo; Díaz, Daniel; Garzón, Wilmer; Melo, Willson; Arboleda, Hugo (Springer NatureSuiza, 2018)
      In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
    • REAL-T: Time Modularization in Reactive Distributed Applications 

      Benavides Navarro, Luis Daniel; Pimienta, Camilo; Sanabria, Mateo; Díaz, Daniel; Garzón, Wilmer; Mello, Wilson; Arboleda, Hugo (Springer NatureSwitzerland., 2018)
      In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
    • Towards Real-Time Semantics for a Distributed Event-Based MOP Language 

      Sanabria, Mateo; Garzón Alfonso, Wilmer; Benavides Navarro, Luis Daniel (Springer NatureSwitzerland., 2018)
      This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between ...