Now showing items 1-20 of 76

    • A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications 

      Sanabria-Ardila, Mateo; Benavides-Navarro, Luis Daniel; Díaz-López, Daniel; Garzón-Alfonso, Wilmer (2020)
      The proliferation of on-demand internet services delivered over a network of a heterogeneous set of computing devices has created the need for high-performing dynamic systems in real-time. Services such as audio and video ...
    • Agent-Based Mediation System to Facilitate Cooperation in Distributed Design 

      Ospina-Becerra, Victoria Eugenia; Fougères, Alain-Jérôme (WSEASE.E.U.U., 2009)
      In this article we present the use of knowledge for a Mediation System, developed to give support to participants in mechanical-system-designer activities. To use a cooperative system sufficient assistance is needed to ...
    • AIDE À LA CONCEPTION COLLABORATIVE. UN SYSTEME DE MEDIATION POUR L'USAGE DE MICRO- OUTILS LOGICIELS 

      Fougères, Alain-Jérôme; Ospina-Becerra, Victoria Eugenia (In CognitoFrance, 2009)
      Nous présentons, dans cet article, deux concepts pour améliorer l'assistance à la coopération en conception de systèmes mécaniques : 1) le concept de micro-outils développé pour assister l'activité elle-même des concepteurs ...
    • Análisis de Perfiles con Técnicas No Supervisadas de Minería de Datos como Soporte a la Toma de Decisiones en la Estrategia UNIDOS para la Superación de la Pobreza en Colombia 

      Silva Monsalve, Andrés Eugenio; Conti, Dante; Ospina Becerra, Victaria Eugenia (Colombia, 2020)
      En la búsqueda de garantizar que los hogares más pobres y vulnerables puedan superar sus condiciones de vida, la Estrategia Red UNIDOS, consolida y gestiona información que permite conocer la situación de los hogares y ...
    • Applying Ontologies for Semantic Information Integration on Electronic Medical Records (EMRs) 

      Suarez Barón, M. J; Ospina Becerra, V.E.; Salinas Valencia, K.E (Research India PublicationsHolanda, 2018)
      This work describes the development of ontology in the domain of Electronic Medical Records (EMRs). The purpose is to apply the semantic web as an integrating tool for information and knowledge management in clinical ...
    • Aprendizajes de programación de computadores y resolución de problemas en un ambiente de trabajo en colaboración 

      Castañeda Bermudez, Claudia Patricia (Educación para el siglo XXIColombia., 2011)
      En esta investigación exploro los efectos, en el aprendizaje de programación de computadores de alumnos universitarios, de una estrategia de aprendizaje que integra trabajo en colaboración y resolución de problemas, el ...
    • Architecting systems of systems: A tertiary study 

      Cadavid, Héctor; Andrikopoulos, Vasilios; Avgeriou, Paris (Elsevier, 2020)
      Context: The term System of Systems (SoS) has increasingly been used in a wide variety of domains to describe those systems composed of independent constituent systems that collaborate towards a mission that they could not ...
    • Automatic proof-search heuristics in the Maude invariant analyzer tool 

      Rocha, Camilo (Switzerland, 2013)
      The Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This ...
    • Axiomatic Set Theory à la Dijkstra and Scholten 

      Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo (Springer NatureUSA., 2017)
      The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...
    • Axiomatic Set Theory à la Dijkstra and Scholten 

      Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo (Springer NatureSuiza, 2017)
      The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...
    • Bioescenarios III. 

      Mora, Juan José; Robayo Rodríguez, Sandra Milena (Asociación Colombiana de Ingenieros de Sistemas (ACIS)Colombia, 2008)
      El uso de las tendencias bioinspiradas en el desarrollo de soluciones informáticas se está imponiendo en el mundo por ser una opción en el tratamiento de problemas complejos. En Colombia se están realizando los primeros ...
    • Bioescenarios IV Inteligencia de enjambres: optimización por cúmulos de partículas 

      Casallas Fonseca, Carlos Eduardo; Vargas Aristizábal, Steven Francisco (Asociación Colombiana de Ingenieros de Sistemas (ACIS)Colombia, 2010)
      Conocer técnicas como las de los algoritmos bioinspirados, que han mostrado simplicidad y eficiencia en la solución de problemas complejos, es útil para los Ingenieros de Sistemas. Bioescenarios IV crea modelos para el ...
    • Building malware classificators usable by State security agencies 

      Useche-Peláez, David Esteban; Díaz-López, Daniel Orlando; Sepúlveda-Alzate, Daniela; Cabuya-Padilla, Diego Edison (Colombia, 2018)
      El sandboxing ha sido usado de manera regular para analizar muestras de software y determinar si estas contienen propiedades o comportamientos sospechosos. A pesar de que el sandboxing es una técnica poderosa para desarrollar ...
    • Comunidades 2.0 

      Díaz Rozo, Mónica Alejandra; Díaz Rozo, María Irma (Asociación Colombiana de Ingenieros de Sistemas (ACIS)Colombia, 2010-10)
      La generación de herramientas llamada Web 2.0 está transformando la manera de comunicarnos, aprender y trabajar. Específicamente ha permitido la conformación de las llamadas Comunidades 2.0 auto organizadas de manera ...
    • Consideraciones tecnológicas como resultado de la construcción de la arquitectura empresarial para una institución de educación superior 

      Santiago Cely, Claudia Patricia; Castillo Navetty, Oswaldo (Editorial Escuela Colombiana de Ingeniería Julio GaravitoBogotá, 2015)
      Las tecnologías de la información y la telecomunicación (TIC) permean todos los ámbitos de cualquier organización y por ello es clave aprovechar al máximo su uso. Basándose en las necesidades y modo de operación de una ...
    • Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories 

      Rocha, Camilo; Meseguer, José (SpringerBerlín, 2010)
      Sufficient completeness has been throughly studied for equational specifications, where function symbols are classified into constructors and defined symbols. But what should sufficient completeness mean for a rewrite ...
    • Continuous Delivery Pipelines for Teaching Agile and Developing Software Engineering Skills 

      Informática (© 2018 MECS, 2018)
      The differences between academy and industry when it comes to working settings (schedules, workload, working environments, etc.), have motivated the development of a significant body of research on how to achieve meaningful ...
    • CONTROL AUTÓNOMO DE ROBOTS DE APLICACIÓN AGRÍCOLA CON PLEXIL 

      Cadavid Rengifo, Héctor Fabio; Chaparro Preciado, Javier Alberto (Buenos Aires, Argentina., 2016)
      Aunque el campo de la robótica no ha tenido aun gran impacto en países como Colombia, las posibilidades que ofrece para ayudar a resolver algunos de sus problemas, como el daño ambiental que está causando la agricultura ...
    • COSMOS: Collaborative, Seamless and Adaptive Sentinel for the Internet of Things 

      Nespoli, Pantaleone; Useche Pelaez, David; Díaz López, Daniel; Gómez Mármol, Felix (Suiza, 2019)
      The Internet of Things (IoT) became established during the last decade as an emerging technology with considerable potentialities and applicability. Its paradigm of everything connected together penetrated the real world, ...
    • Developing Secure IoT Services: A Security-Oriented Review of IoT Platforms 

      Daniel Díaz López; Blanco Uribe, María; Santiago Cely, Claudia; Tarquino Murgueitio, Daniel; Garcia Garcia, Edwin; Nespoli, Pantaleone; Gómez Mármol, Félix (Suiza, 2018)
      Undoubtedly, the adoption of the Internet of Things (IoT) paradigm has impacted on our every-day life, surrounding us with smart objects. Thus, the potentialities of this new market attracted the industry, so that many ...