Listar AD - CTG – Informática por título
Mostrando ítems 14-33 de 76
-
Comunidades 2.0
(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
(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
(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
(© 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
(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
(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
(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 ... -
E-health y m-health en Colombia: antecedentes, restricciones y consideraciones para el desarrollo de nuevas tecnologías basadas en software
(Escuela Colombiana de IngenieríaColombia, 2018)Los conceptos de e-health y m-health representan una gran oportunidad para superar las grandes limitaciones de cobertura, equidad y calidad de los servicios de salud de países como Colombia. Por eso se busca, mediante una ... -
An elementary and unified approach to program correctness
(Springer, 2009)We present through the algorithmic language DHL (Dijkstra-Hehner language), a practical approach to a simple first order theory based on calculational logic, unifying Hoare and Dijkstra’s iterative style of programming ... -
¿Es OPENLDAP una buena solución libre para la centralización de usuarios?
(LACCEIBoca Raton, Florida – USA., 2015)This article establishes the state of the art about existing solutions in the market, free or licensed that allow the centralization of users, independent to the operating system they use (OS X, Windows, Linux); all of the ... -
Evaluation of collaborative consumption of food delivery services throughweb mining techniques
(ElsevierReino Unido, 2019)Online food delivery services rely on urban transportation to alleviate customers' burden of traveling in highly dense cities. As new business models, these services exploit user-generated contents to promote collaborative ... -
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(Springer NatureUSA.Switzerland, 2012)The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ... -
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(© 2020 Springer Nature Switzerland AG.Springer, Berlin, Heidelberg., 2012)The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ... -
A formal library of set relations and its application to synchronous languages
(Elsevier B.V., 2011)Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and ... -
The Formal System of Dijkstra and Scholten
(Springer.Springer, Cham., 2015)The logic of E.W. Dijkstra and C.S. Scholten has been shown to be useful in program correctness proofs and has attracted a substantial following in research, teaching, and programming. However, there is confusion regarding ... -
A Graphical Environment for the Semantic Validation of a Plan Execution Language
(© Copyright 2021 IEEEUSA., 2009)This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ... -
Hardware and software architecture for Plexil-based, simulation supported, robot automation
(Bogotá. Colombia., 2016)Some obsolete - but common - practices in the application of fertilizers and pesticides are causing serious environmental problems in Colombia; a situation that could be addressed by combining robotics and modern farming ... -
An Inductive Theorem on the Correctness of General Recursive Programs
(Oxford University Press, 2007)We prove a relatively simple inductive theorem (analogous to Floyd and Dijkstra's Invariance Theorem for iterative programs) to verify the correctness of an ample class of non-deterministic general recursive programs. This ... -
Information Technologies and Analytics as Decision Support Systems in Hospital Logistics: Four Research Experiences in the Colombian Case
(Colombia., 2017)This article presents four research experiences in hospital logistics using simultaneously mathematical models and information management. The cases analyzed included the efficient scheduling of nursing shifts, kidney ... -
Information Technologies and Analytics as Decision Support Systems in Hospital Logistics: Four Research Experiences in the Colombian Case
(IARAS PUB, 2017)This article presents four research experiences in hospital logistics using simultaneously mathematical models and information management. The cases analyzed included the efficient scheduling of nursing shifts, kidney ...