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…

Descripción completa.

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…

Los estudiantes tienen dificultades en el aprendizaje de la Física porque a menudo no entienden completamente conceptos y principios que son a veces imposibles de ver (como en los fenómenos electromagnéticos), lo que dificulta su comprensión. A esto hemos de…

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.

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

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…