Browsing by Author "Tanter, Éric"

Now showing items 21-40 of 55

    • Estudio de la efectividad de una aplicación Web diseñada con principios de ludificación para modificar las ... 
      Rodríguez Gutiérrez, Matías Andrés (Universidad de Chile, 2017)
      El acuerdo de París tomado en la Conferencia de las Partes de la Convención Marco de las Naciones Unidas para el Cambio Climático en el año 2015 marca un hito importante en el esfuerzo por combatir el cambio climático e ...
    • Estudio e implementación de un lenguaje de autorización para bases de datos relacionales 
      Reyes Valdivieso, Vicente (Universidad de Chile, 2023)
      La popularidad de nuevas arquitecturas de software, y la disponibilidad de novedosas formas de controlar la seguridad de datos en una aplicación, motivan a estudiar el problema de la autorización: Qué usuarios pueden hacer ...
    • Evaluación y valoración de la complejidad en procesos de negocios desarrollados en BPEL20 y BPMN.0 
      Peralta Ocampo, Álvaro José (Universidad de Chile, 2017)
      El diseño y modelo de un proceso de negocio implica un grado de conocimiento sobre el qué hacer y el cómo se realizan las actividades, de manera que el modelo logre reflejar la realidad operacional. Este proceso no supone ...
    • Fractura de Polígonos Complejos 
      Jorquera Ahumada, Gastón Ignacio (Universidad de ChileCyberDocs, 2010)
      Uno de los procesos del diseño de circuitos integrados digitales es la preparación de la información de las máscaras, o MDP por sus siglas en inglés (Mask Data Preparation). La preparación de máscaras recibe el diseño de ...
    • Un framework para aplicaciones web de mapas 
      Olate Opazo, Cristián Mauricio (Universidad de Chile, 2012)
      Casi al final de la cadena de administración de la información geográfica en las organizaciones, se encuentra la tarea de la publicación. Para la automatización de dicha tarea, existe en el mercado una amplia variedad de ...
    • Gradual program verification 
      Bader, Johannes; Aldrich, Jonathan; Tanter, Éric (Springer Verlag, 2018)
      Both static and dynamic program verification approaches have significant disadvantages when considered in isolation. Inspired by research on gradual typing, we propose gradual verification to seamlessly and flexibly combine ...
    • Gradual refinement types 
      Lehmann Meléndez, Nicolás Emilio (Universidad de Chile, 2017)
      Los tipos refinados (Refinement Types) son una técnica efectiva de verificación basada en lenguajes que extienden la expresividad de los sistemas de tipos tradicionales incluyendo la posibilidad de restringir valores usando ...
    • Gradual system F 
      Labrada Deniz, Elizabeth (Universidad de Chile, 2022)
      El polimorfismo paramétrico es un mecanismo de abstracción ampliamente utilizado en los lenguajes de programación, que permite la definición genérica de funciones y tipos, y proporciona reutilización de código e independencia ...
    • Gradual typing for generic type-and-effect systems 
      Bañados Schwerter, Felipe Andrés (Universidad de Chile, 2014)
      Los sistemas de tipos-y-efectos (type-and-effect systems) permiten a los programadores hacer valer invariantes y restricciones sobre los efectos secundarios que se generan durante la evaluación de un programa. Los sistemas ...
    • Herramienta para el análisis del trabajo en equipo en cursos de ingeniería de software en el DCC, Universidad ... 
      Aguilera Valenzuela, Sebastián Ignacio (Universidad de Chile, 2022)
      El trabajo en equipo es beneficioso para cualquier tipo de proyecto, inclusive el desarrollo de software. Es por eso que la malla de Ingeniería Civil en Computación de la Universidad de Chile cuenta con tres cursos ...
    • Implementacion de Context-Aware Aspects en Reflex y Evaluación en una Aplicación Context-Aware 
      Herrera Ordenes, Alexis (Universidad de Chile, 2007)
      El objetivo general de este trabajo consiste en extender el framework Reflex para soportar context-aware aspects. Este nuevo framework permitirá integrar sensores de contexto implementados con WildCAT para el desarrollo ...
    • Implementación de una red de mezcla utilizando encriptación de Paillier para votaciones electrónicas 
      Astudillo Quintero, Pablo Vicente (Universidad de Chile, 2023)
      Una votación electrónica es un sistema de votación que utiliza medios electrónicos para registrar y contar los votos. A menudo se usa como una alternativa a los métodos tradicionales de votación en papel, que pueden llevar ...
    • Implementación del área de proceso de gestión de riesgos de CMMI v1.3 utilizando metodologías ágiles 
      Paolini Noguera, Andrés Eduardo (Universidad de Chile, 2013)
      La naturaleza de la competitividad de los mercados, la evolución y continuo crecimiento de las tecnologías de la información, así como una sociedad que se vuelve más demandante cada día exigiendo productos de mayor calidad ...
    • Improving the efficiency and reliability of gradual typing 
      Allende Prieto, Esteban Armando (Universidad de Chile, 2015)
      Gradual Typing permite a un programador aplicar tipos estáticos a ciertas partes de un programa, dejando el resto dinámicamente tipeado. Sin embargo, esto viene con un costo en el rendimiento. Una razón es que el runtime ...
    • Incorporación de Corrección de Errores y Métricas de Calidad al Codec de Transmision de Video Tolerante a Fallas 
      Lalanne Rojas, Felipe Iván (Universidad de ChilePrograma Cybertesis, 2007)
    • Integración de herramientas de conformación y coevaluación de equipos de desarrollo de software 
      Mesías Durán, Cristóbal Ignacio (Universidad de Chile, 2022)
      El trabajo en equipo es algo inherente en nuestra formación y carrera profesional. Para que éste sea provechoso, debe existir un mínimo de cohesión entre los integrantes. Si se quiere cuantificar esta cohesión, es necesario ...
    • Línea de productos software tramitación de causas judiciales 
      Portilla Portilla, Rodrigo Alexis (Universidad de Chile, 2013)
      El proyecto de tesis Línea de Productos Software de Tramitación de Causas Judiciales se enmarca en el contexto laboral de la empresa Amisoft, organización especializada en tecnologías de la información con más de 14 años ...
    • Maestro de inventario autónomo para la Cadena Salcobrand 
      Salas Salas, Guillermo Daniel (Universidad de Chile, 2019)
      Este trabajo consiste en migrar el Modelo de Inventario desde la aplicación Oracle E-Business Suite (EBS) hacia el Sistema Administración de la Cadena de Suministros (SCM) de la Empresa Salcobrand, con el objetivo de lograr ...
    • Manipulación y posicionamiento de objetos desconocidos por parte de un robot autónomo 
      Castro Díaz, Maximiliano Andrés (Universidad de Chile, 2016)
      Para investigación en el área de robótica autónoma, el Laboratorio RyCh (Robótica y Computación en Chile) del Departamento de Ciencias de la Computación de la Universidad de Chile dispone del robot PR2, que provee de una ...
    • Mapeo de ejemplos de código fuente para dar apoyo en el uso de APIS 
      Acurana Flores, Yasett Gisela (Universidad de Chile, 2017)
      Los desarrolladores de software con frecuencia recurren a Interfaces de Programación de Aplicaciones (APIs) para extender la funcionalidad de sus programas. El uso de APIs, que son un conjunto de reglas y convenciones ...