La aparición de nuevas tecnologías ha permitido el desarrollo de diferentes técnicas utilizadas para
cometer fraude en telecomunicaciones. En este trabajo se realiza una revisión de las principales
tecnologías IP utilizadas en servicios de telefonía y los tipos de fraude…

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Descripción completa.

Descripción completa.

Descripción completa.

Descripción completa.

Despite the popularity of Java, problems may arise from potential data-race conditionsduring execution of a Java program. Data-races are considered errors in concurrent pro-gramming languages and greatly complicate both programming and runtime optimizationefforts. A race-free version of Java is therefore…

El Software debe ser construido cuidando que sea mantenible y reusable, una forma de saber cuantificar estos aspectos es usando métricas de acoplamiento y cohesión. Medir acoplamiento y cohesión es importante, pero no es fácil

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…