Akademische Ressourcen durchsuchen

Se propone una arquitectura para el desarrollo de un sistema de telemedicina aplicado para el monitoreo de ECG5 con acceso remoto, permitiendo el ingreso desde distintos tipos de aplicaciones cliente, en el cual empleare...

We define a symbolic determinisation procedure for a class of infinite-state systems, which consists of automata extended with symbolic variables that may be infinite-state. The subclass of extended automata for which th...

"Los motores de base de datos son una herramienta indispensable en el desarrollo de cualquier sistema informático. Por otro lado, las instituciones educativas recaen en sistemas LMS (Learning Management System) para la ...

El objetivo de este trabajo es evaluar tres plataformas para el desarrollo de sistemas multiagente con el propósito de definir, de manera general, elementos de juicio que puedan tenerse en cuenta al momento elegir una p...

Este trabajo es un primer acercamiento al estudio de las relaciones existentes entre el modelo Linda y la Teoría de Cambio de Creencias. Se mostrarán las similitudes existentes entre ambos formalismos y cómo extender ...