Now showing items 1-5 of 5

    • An Approach to formal Modeling of grid Computing. 

      Ramírez Restrepo, Carlos Alberto (Universidad del ValleColombiaFACULTAD DE INGENIERÍADOCTORADO EN INGENIERÍA-ÉNFASIS EN CIENCIAS DE LA COMPUTACIÓN, 2016)
      Grid computing (GC) is a large-scale computational paradigm and infrastructure that comprises a massive poolofresources. Users interact with the gridby concurrently adding new challenging tasks
    • Arquitectura de software para descubrimiento de conocimiento. 

      Aranda Bueno, Jesús Alexander; Gaona Cuevas, Carlos M.; Millán González, Marta Elena; Valencia de Abadía, María E. (2011-10-13)
      Este artículo presenta una propuesta de arquitectura de software para sistemas de descubrimiento de conocimiento, la descripción detallada de cada uno de sus componentes y una aplicación de dicha arquitectura en el desarrollo ...
    • Crear : consejero para la repartición de artículos y evaluadores en eventos académicos, 

      Aranda Bueno, Jesús Alexander; Díaz Frias, Juan Francisco; Ortíz, James J. (2011-10-13)
      Este artículo presenta crear, una aplicación computacional desarrollada para realizar más eficientemente el proceso de distribución de los artículos candidatos para participar en el evento del Clei . Para su desarrollo ...
    • Desarrollo de un modelo de satisfacción de restricciones para la asignación de citas terapéuticas en la Clínica de Rehabilitación del Valle. 

      Salazar Osorio, Holmes Giovanny; Rengifo Romero, Harvin Jessid (Universidad del ValleColombiaFACULTAD DE INGENIERÍAINGENIERIA DE SISTEMAS, 2013)
      La programación de restricciones es una tecnología de software utilizada para la descripción y posterior resolución efectiva de problemas grandes y complejos, particularmente aquellos de naturaleza combinatoria, los cuales ...
    • On decidability properties of two fragments of the asynchronous π-calculus. 

      Aranda Bueno, Jesús Alexander (2014-03-28)
      In (Cacciagrano, et al., 2008) the authors studied the expressiveness of persistence in the asynchronous π-calculus, henceforth Aπ. They considered Aπ and three sub-languages of it, each capturing one source of persistence: ...