Hasta hace poco tiempo, el soporte de comunicaciones de TCP/IP, TCP y UDP, fue suficiente para satisfacer los requerimientos de las aplicaciones. Esto cambió con la aparición de las aplicaciones multimedia en tiempo real. TCP no permite a la aplicación…

Descripción completa.

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…

Un proyecto es un esfuerzo temporal para crear un único servicio o producto. Como temporal nos referimos a que todo proyecto tiene un comienzo claro y un final definido. Y como único, que el producto o servicio es diferente de…

Protecting sensitive information has become an important facet of software development.
One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…

La aparición de nuevos desarrollos tecnológicos ha facilitado el desarrollo de diferentes métodos de fraude en
telecomunicaciones. Iniciando con una breve revisión de las principales tecnologías IP utilizadas en servicios de telefonía y los tipos de fraude en telecomunicaciones…

LAS ASERCIONES SON CLAUSULAS LÓGICAS QUE SE INTEGRAN A LOS LENGUAJES DE PROGRAMACIÓN PARA MEJORAR LA ESPECIFICACIÓN Y LA VERIFICACIÓN. EL LENGUAJE JAVA NO TIENE RECURSOS DE ESTE TIPO. EN ESTE ARTÍCULOS SE PRESENTA UNA PROPUESTA DE INTEGRACIÓN DE ASERCIONES…

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…

Conforme crece el uso y la adopción de los dispositivos móviles, se espera que brinden funcionalidades cada vez más complejas. En consecuencia, la demanda de nuevas aplicaciones aumenta considerablemente. Android es una nueva plataforma licenciada como software libre que será…

Un proceso de negocio es un conjunto de tareas lógicamente relacionadas que se ejecutan para obtener un cierto resultado de negocio. Un proceso de negocio incluye tanto recursos humanos como materiales.
UML (Unified Model language) es una notación de modelado…