En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

En este proyecto daremos las bases para la investigación y el desarrollo del proceso de Descubrimiento de Conocimiento en Bases de Datos con Ontologías. La principal motivación para la inclusión de ontologías en dicho proceso es la necesidad de incluir…

La búsqueda por similaridad por espacios métricos permite recuperar objetos similares o parecidos a una consulta dada. Algunas aplicaciones, requieren que dicha búsqueda se realicen en tiempo real. Por tanto, este trabajo muestra una implementación paralela de algoritmos de búsqueda…

En este trabajo se presenta una de las líneas del grupo de investigación “Procesadores de Lenguajes y Métodos Formales”, perteneciente al Departamento de Computación de la UNRC. El aspecto fundamental de dicha línea es la creación de un framework para…

Como resultado de las características del proceso evolutivo del paradigma hidroinformática, no se dispone de arquitecturas de software que faciliten la construcción de aplicaciones de modelación de simulación hidrológica flexibles. En el Proyecto que se lleva adelante en una línea…

El presente estudio permitió determinar el aprovechamiento integral y potencial que se le puede dar a la variedad de carambola cultivada en pequeñas extensiones cercanas a la ciudad de Chone provincia de Manabí. Los procedimientos se iniciaron a partir de…

En el cantón Pangua, la superficie plantada con caña de azúcar para otros usos es de 3,300 hectáreas (III Censo Nacional Agropecuario 2000) lo que permite tener una producción de panela mensual de 78.000 kilogramos. Estos datos, ponen de manifiesto…

En la actualidad existen estándares inalámbricos ya consolidados en el mercado cada uno con sus propios perfiles de aplicación, por ejemplo, Bluetooth tiene aplicaciones en las telecomunicaciones, audio, etc.; Wi-Fi se aplica a conexiones de internet, pero resulta estar sobredimensionadas…

En este artículo es presentado el software SFP Tool que permite medir el tamaño funcional de un sistema de software a partir de los escenarios generados en la Elicitación de Requerimientos. Específicamente, esta herramienta semiautomatizada facilita la aplicación del procedimiento…

UML es un lenguaje de representación de amplio propósito general, el cual para tal fin cuenta con vocabulario gráfico. En algunos casos cuando se quiere modelar un tipo de aplicación particular el vocabulario gráfico de UML resulta ser muy reducido.…