En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…

The paper describes a framework for the implementation of an elearning system based on the Semantic Web, using software agents and Java Web Services. Hopefully we have elucidated the enormous potential of making web content machine-understandable. One of the killer…

La red provee de innumerables recursos interactivos que el docente puede utilizar en el trabajo con sus alumnos.
Los applets java representan un método tremendamente versátil para incluir contenido multimedia en las páginas web. Su gran ventaja respecto al resto…

En el presente trabajo, presentamos el primer ensayo de montaje de un curso básico de Electricidad y Magnetismo en la UPIITA, usando Ambientes Virtuales de Aprendizaje a través de la aplicación de Plataformas Interactiva. Los materiales didácticos fundamentales en este…

Varios intentos se han realizado para mejorar la producción de programas en diversos lenguajes. No es difícil imaginar cuán conveniente sería poder aplicar técnicas inteligentes para colaborar en este sentido. El presente trabajo realiza el desarrollo y evaluación de un…

Debido al incremento en la cantidad e importancia de la información manejada por sistemas informáticos, también se incrementa la importancia de controlar la difusión de información privada de los usuarios. Los mecanismos de control del acceso y las técnicas criptográficas…

La gestión de los procesos de negocio o BPM (Business Process Management) es una metodología empresarial que permite representar las actividades de los procesos de negocios y las restricciones que se aplican sobre ellas. Automatizar esta tarea conlleva el beneficio…

In this paper a methodology for accesing scientific data repositories on data grids is proposed. This methodology is based on ontology specification and knowledge representation. The concept of Knowledge Perspective is introduced, as the action of applying particular scientific conjectures…

The rising complexity of distributed computer systems give reason to investigate self-organization mechanism to build systems that are self-managing in the sense of Autonomic and Organic Computing.
In this paper we propose the Artificial Hormone System (AHS) as a general…