La motivación de este trabajo es que (...) el grado de expresividad de FO es sumamente limitado ya que en [CH80] se demostró que está estrictamente contenido en (y es muy inferior a) DSPACE(log n). Nosotros consideraremos extensiones de FO…

En este paper presentamos una arquitectura Orientada a Objetos para sistemas de referencias en el marco del diseño de aplicaciones geográficas.
Un sistema de referencia, genera un marco espacial para una entidad geográfica, brindando la información y el comportamiento necesario…

Este artículo presenta una nueva red neuronal para clustering y segmentación de los datos o patrones de entrada que, a diferencia de los modelos existentes, no requiere la indicación de parámetros de aceptación dependientes del problema.
En la estrategia propuesta…

En este artículo se presenta una metodología y el conjunto de herramientas open source utilizado para la automatización de las pruebas funcionales de productos con interfaz web. Este conjunto de herramientas está compuesto por: Selenium, Eclipse y extensiones de Mozilla…

En los últimos años, el World Wide Web Con-sortium (W3C) ha desplegado esfuerzos hacia una estandarización de la Web Semántica, con el objetivo de diseñar estándares técnicos que permitan la inclusión de metadatos en la Web, para proveer la representación…

En el estudio de la Ingeniería de Software se ha destinado un gran esfuerzo por parte de distintos grupos de investigación, para incorporar a las especificaciones de software, ciertos atributos no funcionales relacionados con la performance, tiempo, fiabilidad, planificación, entre…

Este artículo presenta los temas que se están comenzando a explorar en el Laboratorio de Investigación en Nuevas Tecnologías Informáticas como parte de una línea de investigación en sistemas operativos y expone los primeros resultados obtenidos.
La rápida evolución en…

Los componentes software permiten la crear aplicaciones a través de ensamblaje, y realizar ajustes y extensión al agregar o cambiar un conjunto de componentes interdependientes. Sin embargo, esta flexibilidad conlleva riesgos sino se administra cuidadosamente, dado que de otra manera…

En nuestro trabajo estudiamos las consultas a bases de datos, o queries, usando como marco teórico la Teoría de Modelos Finitos ([AHV95] y [EF95]), con el objetivo de contribuir a la construcción de una Teoría de Bases de Datos que,…

Los sistemas móviles son aquellos sistemas distribuídos donde se incorpora el uso de dispositivos de trabajo que migran de locación. Los sistemas trabajan autónornamente hasta que requieren el acceso a datos compartidos. Estos datos pueden ser alcammbles con relativa facilidad,…