El estudio de las arquitecturas de los procesadores es esencial en la ciencia de la computación. Conocer el funcionamiento del procesador permite construir programas que aprovechen eficientemente sus recursos. El procesador DLX (Deluxe) se ha tomado como base para el…

Las redes móviles están en pleno auge desde no hace más de una década. Las redes móviles están compuestas por dispositivos que no siempre poseen conexión con la red.
Sobre los dispositivos pueden correr aplicaciones que, en caso de trabajar…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…

Este trabajo presenta un análisis desde el punto de vista tecnológico de AJAX y su la posibilidad de alcanzar la inserción de dicha tecnología en un marco conceptual y metodológico para el desarrollo de software.
El objetivo del trabajo es…

Se presenta aquí el proyecto de desarrollo de un sistema tal que permita controlar una flota de vehículos. El mismo hace referencia a la telemetría y georreferenciación brindando información de una unidad móvil en tiempo real, principalmente su estado y…

En este artículo se presenta un diseño de una base de datos difusa en UML. Se sentaron las bases conceptuales para la definición de atributos difusos y de los mecanismos que permiten consultar la base de datos difusa una vez…

Las bases de datos clásicas se organizan basándose en el concepto de búsqueda exacta sobre datos estructurados, capturando sólo un estado de la realidad modelizada. Actualmente las bases de datos han incluido la capacidad de almacenar otro tipos de datos…

En este trabajo se plantea un marco evaluatorio que resume las características elementales que debería presentar una herramienta CASE para el apoyo a los cursos de Bases de Datos, contemplando aspectos técnicos y didácticos. Se realiza una evaluación de herramientas…

El Arbol de Aproximación Espacial (sa-tree) es una estructura de datos para búsqueda en espacios métricos recientemente propuesta. Se ha mostrado que tiene buen desempeño comparada contra estructuras de datos alternativas en espacios de alta dimensión o consultas de baja…

Un Sistema de Información Multi- Fuente (MSIS) se compone de un conjunto de fuentes de datos independientes y un conjunto de vistas o consultas que definen los requerimientos de los usuarios. Sus diferencias con los sistemas de información clásicos introducen…