En la actual era postgenómica, el estudio de las interacciones existentes entre proteínas resulta una pieza clave en la compresión de los complejos mecanismos moleculares presentes en los procesos biológicos. Es sabido que la información acerca de interacciones proteínaproteína mejora…

El tiempo es una magnitud que afecta a todas las actividades humanas y es un componente esencial en todos los procesos. Registrar el momento exacto en que se suceden los acontecimientos es fundamental. Una aplicación que utiliza firma digital sobre…

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,…

La b usqueda por similaridad consiste en recuperar todos aquellos objetos dentro de una base de datos que sean parecidos o relevantes a una determinada consulta. Este concepto tiene una amplia gama de aplicaciones en areas como bases de datos…

Un sistema de memoria compartida consiste de una colección de procesos en comunicación, como en un sistema de red. Pero en vez de enviar y recibir mensajes sobre un canal de comunicación, los procesos realizan operaciones instantáneas sobre datos compartidos.

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 trabajo presentamos SmartBooks, un método para documentar frameworks orientados a objetos. En base a este método, es posible diseñar un agente inteligente que guíe el proceso de instanciación, ele acuerdo con la funcionalidad requerida para la aplicación que…

En este artículo se presenta un análisis de los frameworks Brainstorm/J y Framas desarrollados en el Instituto de Sistemas ISIST AN. El análisis tiene como objetivo determinar las ventajas y las limitaciones de cada uno de ellos en el desarrollo…

El desarrollo de un sistema de software requiere entender el macrosistema en el que será utilizado.
Para ello los ingenieros de requerimientos utilizan métodos para comprender y modelar los elementos del macrosistema. Client-oriented baseline (Leite 1995) contribuye a la solución…

Para reducir los costos de búsqueda y acelerar los tiempos de respuestas sobre grandes colecciones de datos se utilizan índices que particionan los datos en subconjuntos de manera tal que las respuestas a las consultas pueden ser evaluadas sin examinar…