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…

En el contexto de bases de datos, el concepto de preservacióon de teorí as en una cierta l ógica y entre dos estructuras relacionales A y B dadas, signi fica que el conjunto de consultas Booleanas que son expresables en…

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 trabajo presentamos un paquete que hemos desarrollado para manejar y visualizar reticulados y álgebras de Łukasiewicz finitos. Este provee al investigador matemático herramientas para realizar en forma sencilla cálculos que normalmente conllevan un arduo trabajo. El paquete ha…

Knowledge-intensive processes are widely used to recover from errors, handle exceptional cases and complaints, and to improve or adapt a process itself. In this context, evolved Business-Process Reengineering (BPR) techniques are changing to give some answers to this reality. In…

When stakeholders are geographically distributed communication presents new challenges for software engineering community. In order to improve communication between stakeholders, we have previously proposed to apply learning style models to characterise the way people interact. In this work we enhance…

El descubrimiento de las Reglas de Asociación es una de las técnicas de Data Mining. Tiene como objetivo buscar patrones interesantes (reglas) para el soporte en los procesos de tomas de decisiones. Las Reglas de Asociación Temporales son aquellas que…

LabAssistant es un proyecto de desarrollo de software para los laboratorios de ensayos científicos destinado a sistematizar la información de los ensayos que realizan.
Al ser un sistema de alcance general para todo el sector, se impone poder configurar la…

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…

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…