Inicio Lunes Term. Patio Cubierto Facultades de Ingeniería y Ciencias Martes Auditorio Centro Antártico Auditorio Sala de Conferencias Centro Antártico Sala 25 (Fac. Ing.) CESC 1: Una metodología para el proceso de enseñanzaaprendizaje asistido por computador en asignaturas que involucran el desarrollo de proyectos de software Roberto González 9:00 9:25 9:50 10:15 a a a a 9:25 ECC 2: Las ontologías en la nueva generación de los sistemas de información - Margarita Álvarez, Diana Palliotto, Graciela Barchini ECC 41: Aplicación de cierre convexo 3D en bioinformática: superficie accesible al solvente en proteínas - Luis MoralesQuintana, Waldo Acevedo-Castillo, Carol Moraga Quinteros, Cristian Vidal Silva ECC 15: Incorporación de técnicas HCI en una metodología ágil Rodolfo Villarroel, Yéssica Gómez, José Cáceres ECC 8: Zahir: un framework orientado a objetos para computación gráfica - Eduardo Graells, Gastón L'Huillier, Gastón Jorquera, María Cecilia Rivara ECC 27: Ingeniería de requerimientos para productos seguros. Resultados de un análisis bibliográfico - Vianca Vega ECC 24: Visualización en la resolución de grandes problemas en programación entera - Carlos Castro, Leonel Hernández, Hubert Hoffmann ECC 20: Diseño e implementación de un sistema para el control de acceso a redes cableadas Marco Aravena, Eduardo Gallardo, Andrés Ramos CESC 8: Implementación de nuevos enfoques para mejorar el proceso de enseñanza-aprendizaje de contenidos prácticos en entornos virtuales - Daniel A. Giulianelli, Rocio A. Rodriguez, Pablo M. Vera, Edgardo J. Moreno, Graciela S. Cruzado ECC 17: Experiencias en implantación de mejora de procesos en pequeñas empresas Chilenas bajo el marco metodológico de COMPETISOFT - Yéssica Gómez Gutiérrez, Rodolfo Villarroel Acevedo, Perla Torrealba, Jony Escudero, Claudio Villaseca, Claudio Pavez ECC 19: Suporte à localização física de disposotivos móveis para aplicações pervasivas - Leandro F. Pasetto, Alan V. Santos, Dione Taschetto, Rogério C. Turchetti+J9 CESC 11: Descubriendo la metodología de un experto en la solución del problema PVV - Juan Cockbaine, Víctor Parada ECC 22: Trazabilidad y visibilidad en las pruebas funcionales Claudia Badell, Mónica Wodzislawski ECC 10: Um middleware para a localizaçao física de dispositivos móveis em aplicaçoes pervasivas - Leandro Pasetto, Alan Santos, Dione Taschetto, Rogério Turchetti Historia del CESC - Mónica Villanueva ECC 12: Diagnóstico de los procesos de gestión y desarrollo en pequeñas empresas de software - Alicia Mon, Marcelo Estayno, Andrea Arancio 9:50 10:15 Escuela de Verano 10:40 ECC 36: Emulador de redes neuronales en VLSI análogo sobre FPGA - Daniel Herrera, Miguel Figueroa 10:40 a 11:05 11:05 a 11:30 ECC 11: Metodología para pruebas de performance - Federico Toledo, Matías Reina, Simón de Uvarow, Horacio López, Gustavo Vázquez, Edgardo Greising Coffe Break Comité Técnico de Educación de la SCCC - Marcela Varas Coffe Break Coffe Break Coffe Break 11:00 -13:00 Ceremonia + Conferencia Invitada: 11:30 a 11:55 11:55 a 12:20 12:20 a 12:45 12:45 a 13:10 13:10 a 14:00 14:00 a 14:25 14:25 a 14:50 14:50 15:15 a a a 16:05 a 16:30 Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo WFM 1: Un lenguaje para la codificación y reconstrucción de pruebas por reescritura – J. O. Salas CESC 3: SIDES: Simulador para la Enseñanza de Redes de Computadores - Marta Barría, Carlos González WFM 6: Verification of a Syllabus with Petri nets – Rubén CarvajalSchiaffino, Luis Firinguetti Limone, Ricardo Pavéz Fuentes CESC 6: Uso de virtualización a nivel de sistema operativo (jaulas en FreeBSD) como herramienta de apoyo a la docencia en administración de sistemas computacionales - Marco Aravena, Mitchell Ferrand, Andres Ramos ECC 6: Análisis semántico para la identificación de aspectos Alejandro Rago, Claudia Marcos WFM 2: Proof writing with automatic theorem proving as an approach to verify program correctness - Oswaldo Olivo, Ascánder Suárez ECC 1: AAC: Agente Administrador de Conflictos entre aspectos en AspectJ - Sandra Casas, Verónica Vanoli WFM 4: A certified access controller for JME-MIDP 2.0 enabled mobile devices - Ramin Roushani Oskui, Gustavo Bertarte, Carlos Luna Coffe Break Coffe Break ECC 5: Uso de algoritmos híbridos en la generación de horarios M. Angélica Pinninghoff, Ricardo Contreras, Alejandro Carrasco WFM 5: Formal specification of RTP using LOTOS - David Espinoza Riquelme, Rosa Muñoz Calanchie CESC 5: Investigação-Ação: uma estratégia para o ensino superior de computação - Andre Zanki Cordenonsi, Felipe Martins Muller, Fábio da Purificacao de Bastos ECC 4: Corrección de bandas en imágenes RAPD utilizando algoritmos genéticos - Ricardo Contreras, M. Angélica Pinninghoff, Juan Barriga, Luis Rueda WFM 3: Formalización y análisis del modelo de seguridad de MIDP 3.0 seguridad a nivel de aplicación - Gustavo Mazeikis, Gustavo Betarte, Carlos Luna CESC 4: Lobo: Um objeto de aprendizagem para o ensino de heurísticas e metaheurísticas - Andre Zanki Cordenonsi, Felipe Martins Muller, Fábio da Purificação de Bastos a 17:30 17:30 a 17:55 WFM 7: Formal modelling of an encryption scheme suitable for wireless sensor networks - Hugo Rodríguez, Rubén CarvajalSchiaffino, Beatriz Ontiveros, Ismael Soto CESC 12: ACS Workshop -- An experience teaching a complex framework - Horst von Brand, Mauricio Araya, Jorge Ibsen 17:55 a 18:20 Conf SCCC(FM) 15: BMC Encoding for Concurrent System Manitra Rakotoarisoa, Enric Pastor CESC 7: Una aplicación de la minería de datos en la educación superior - Claudio Gutiérrez, Pedro Campos, Patricio Oliva, Angélica Paredes 18:20 a 18:45 18:45 a 19:10 Microarquitectura y paralelismo a nivel de thread: Francisco Tirado, Universidad Complutense de Madrid, España. Conf SCCC(FM) 14: A Translation from RSL to CSP - A. Parisaca Vargas, L. Tapia, C. George Escuela de Verano Los primeros años de la Computación en Chile: Juan Álvarez Coffe Break 16:55 16:55 Escuela de Verano Almuerzo 15:40 16:05 a Inscripción y Acreditación 15:15 15:40 16:30 Políticas de Control de Acceso para Bases de Datos XML: Loreto Bravo, Universidad de Concepción, Chile Evaluación de la Actividad Investigadora en España:Francisco Tirado, Universidad Complutense de Madrid, España. Grammar Inference and its Applications: Barret Bryant, University of Alabama at Birmingham, USA. Coffe Break CESC 10: Matlab como segundo lenguaje en un primer curso de programación - Juan Alvarez CESC 9: Aprendizaje activo sobre una plataforma de evaluación automática - Jorge López, Yussef Farran Coffe Break Escuela de Verano Programación Jornadas Chilenas de Computación 2008 - Universidad de Magallane Miércoles Auditorio Sala 43 (Fac. Ing.) Jueves Sala de Conferencias WSDP 7: Quadtrees and genetic algorithms applied with high performance in information segmentation and classification from WSDP 3: Modelado de aplicaciones paralelizables - Daniel Alberto medical images - Frederico Corrêa da Silva, Marilton Sanchotene de Giulianelli, Rocio Andrea Rodríguez, Pablo Marín Vera Aguiar, Rodrigo Santos de Souza, Adenauer Corrêa Yamin Centro Antártico Sala 25 (Fac. Ing.) Auditorio Sala de Conferencias WIA 1: Neural networks and support vector machines for the classification of the morphology of human sperm heads from images - Esmeralda Ramos, Haydemar Nunez, Roberto Casanas, Eduardo Calderon, Víctor Fernández WSDP 8: Uma abordagem baseada em web semântica para o ECC 28: Estimación de variables de estado en proceso de processamento das informações de contexto na computação tratamiento de aguas residuales usando observadores intervalares pervasiva - João Lopes, Luiz Palazzo, Iara Augustin, Cláudio Geyer, Francisca Quiroga, Gonzalo Acuña Adenauer Yamin WSDP 2: Bandwidth overload avoidance using D-Caf: a distributed context-aware firewall - Cristian Varas, Thomas Hirsch WIA 7: Improving controllers based on neural networks obtained by parallel evolution strategy - Hernán Vinuesa, Laura Lanzarini, Waldo Hasperué, Leonardo Corbalán Conf SCCC (SE) 1: A Domain Specific Language for the Development of Collaborative Systems - Luis Mariano Bibbo, Diego García, and Claudia Pons WASC 1: Evaluación de la incorporación del darse-cuenta emocional en una aplicación colaborativa - Roberto González, Edmundo Leiva ECC 23: Evaluación de algoritmos de filtrado colaborativo para la búsqueda de materiales educativos - Pedro G. Campos, Claudio Gutiérrez-Soto, Fernando Peña, Ricardo Riffo WSDP 1: Exploiting hybrid parallelism in web search engines Carolina Bonacic, Mauricio Marín, Carlos García, Manuel Prieto, Francisco Tirado WSDP 9: An accounting system protoptype for the Grid of the ATLAS experiment at CERN - Raquel Pezoa, Julia Andreeva, Benjamín Gaidioz, Gilbert Poulard, Ricardo Rocha, Luis Salinas WIA 9: Bio-i: red neuronal artificial inspirada en la estructura cerebral de mamíferos - Gonzalo Tejera, Facundo Benavides, Serrana Casella Conf SCCC (SE) 2: A Framework of Composable Access Control Definition, Enforcement and Assurance - Jaime A. Pavlich-Mariscal, Steven A. Demurjian, and Laurent D. Michel WASC 5: Construyendo un escenario para la simulación de ataques en sistemas de agentes - Roberto Ulloa, Gabriela Barrantes ECC 33: Aplicação da biblioteca qExVHDL na descrição do interferômetro de Mach-Zehnder - Eduarda Monteiro, Diego Jaccottet, Renata Reiser, Ant\^onio Costa, Eduardo Costa, Maurício Pilla WSDP 10: Evaluación de algoritmos de scheduling para servidores de búsqueda en Web - Mauricio Solar, Héctor Pincheira, Ricardo Corbinaud WSDP 5: EasyGrid: Sistema web para facilitar el acceso a recursos en plataformas grid - Robinson Rivas Suárez, Jaime Parada, Eduardo Rivas, Freddy Torres WIA 2: Modelagem espacial em sistemas de informação geográfica William Maja, Claudia Martins, Peter Zeilhofer, Andreia Bonfante, Josiel Figueiredo Conf SCCC (SE) 3: An Experimental Study of the FIB Framework Driven by the PDCA Cycle - Ana Paula Chaves, Gislaine Camila Lapasini Leal, and Elisa Hatsue Moriya Huzita WASC 2: Estudio de una arquitectura multiagente para el control de señales de tránsito - José Luis Jara, Javier Baladrón ECC 9: PHP4DB: evolving towards new objectives for the fleexible development of Web applications - Lisandro Delía, Germán Cáseres, Hugo Ramón, Pablo Thomas, Rodolfo Bertone WSDP 11: Overview of extratos: yet another service oriented information extraction system for the web - Andres Sanoja, Claudia León WSDP 6: Grid resources discovery using signed IPv6 multicast Natalia Trejo, Juan Carlos Fabero WIA 5: Máquinas de vectores soporte como un modelo para obtener el índice de autorregulación de flujo sanguíneo cerebral - Max Chacón, Claudio Araya, Ronney Panerai Conf SCCC (SE) 4: Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities - Ariel Gonzalez and Carlos Luna WASC 6: Using a multiagent system to detect intruders inside a computers network - Marco Canderle, Guillermo Aguirre, Fabiana Piccoli Coffe Break Coffe Break Coffe Break Coffe Break Coffe Break Coffe Break Coffe Break Escuela de Verano Nuevos retos de la seguridad en entornos móviles: Antonio F. Gómez Skarmeta, Universidad de Murcia, España Escuela de Verano WIA 4: Verificación automática de firmas manuscritas mediante modelos ocultos de Markov - Juan C. Briceno, Carlos M. Travieso, Miguel A. Ferrer, Jesús B. Alonso WIA 8: Análisis de emociones sobre la web basado en técnicas de procesamiento automático de textos - Jonnattan González, John Atkinson La Internet como infrastructura crítica emergente: que se necesita medir?: KC Claffy, CAIDA and U.C. San Diego SuperComputer Center, USA. WIA 10: Introducción a los campos aleatorios condicionales y su aplicación al reconocimiento de operones - J L Jara, Gustavo Jara WIA 6: Clasificación automática de señales para la detección y pronóstico de eventos sísmicos del volcán Villarrica (Chile) - Miguel Ramos, Gloria Curilem, Gustavo Fuentealba, Max Chacón, Gonzalo Acuña Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo WIA 3: Optimización del TSP usando una red elástica en arquitectura cluster Beowulf - Marcos Levano, Hans Nowak, Luis Huala, Alejandro Mellado Conf SCCC (SE) 5: Deconstructing Agile Processes: Would Planned Design Be Helpful in XP Projects? - René Noël, Gonzalo Valdes, Marcello Visconti, and Hernán Astudillo Conf SCCC (SE) 6: GeoMergeP: Supporting an Ontological Approach to Geographic Information Integration - Agustina Buccella, Laura Perez, and Alejandra Cechich Escuela de Verano Conf SCCC (SE) 7: Weak Constraint Programming to Identify Alternative Composite COTS-Based Software Systems from Imperfect Information - Carlos Becerra Castro and Hernán Astudillo 14:30 a 17:30: Disponibilidad y Tolerancia a Fallos en clusters: Emilio Luque, Universidad Autónoma de Barcelona, España Dolores Rexachs, Universidad Autónoma de Barcelona, España Conf SCCC(FM) 16: Hardware Synthesis for Asynchronous Communications Mechanisms - K. Gorgonio, J. Cortadella Coffe Break Coffe Break Coffe Break Escuela de Verano El Ajedrez: Un juego? : Claudio Moraga, European Centre for Soft Computing Coffe Break 16:30-18:00 Building Internet Digital Libraries for Patients and Professionals? Do They Have an Impact?: Patty Kostkova, City University of London, UK. Coffe Break iversidad de Magallanes Jueves Centro Antártico Viernes Patio Cubierto Facultades de Ingeniería y Ciencias Hotel Diego de Almagro (Salón Puerto Williams) Auditorio Sala de Conferencias Centro Antártico Sala 24 Fac. Ing. Advances in Modularity, or What's All this Fuss about Aspects, Christopher Dutchyn, University of Saskatchewan, Canada. ECC 38: Automatización del proceso de corrección de tareas de programación de estudiantes. RoboTito - Jorge Avarias, Renato Covarrubias, Nicolás Troncoso ECC 34: Automatización de las pruebas funcionales usando herramientas de código abierto - Ignacio Esmite, Nicolás Farías, Mauricio Farías, Beatriz Pérez Conf SCCC (PDC) 9: Design of a Cluster-Based Peer to Peer Architecture for MANETs - Francisco J. Galera, Juan A. Martinez, Miguel A. Sanchis, and Antonio F. Gomez-Skarmeta WBD 1: Aplicando QVT en la transformación de un modelo de datos temporal - Carlos Neil, Claudia Pons ECC 37: CSAT deployment and final status - Rodrigo Tobar, Joao López, Mauricio Araya, Horst von Brand ECC 7: Características de la Web Chilena 2007 - Eduardo Graells, Ricardo Baeza-Yates Conf SCCC (PDC) 8: A Scheduling Algorithm to Optimize Parallel Processes - Mauricio Solar WBD 6: Modelo de análisis de datos temporales para la detección y prevención de entrada y oermanencia en un estado crítico - Adolfo Fernández, Wilfrido Inchaustti, Luca Cernuzzi, Mario Bort ECC 16: Symbad: a new tool designed to optimize minimal linux distributions - Rodrigo Tobar, Mauricio Araya, Horst von Brand ECC 18: Formulación de un mecanismo de atención selectiva y capacidad atencional para un agente virtual inteligente - Brunny Troncoso, Ricardo Imbert, Angélica de Antonio Conf SCCC (PDC) 10: Mapping Tasks to Processors in Heterogeneous Multiprocessor Architectures: The MATEHa Algorithm - Laura De Giusti, Franco Chichizola, Marcelo Naiouf, and Armando De Giusti WBD 4: Propuesta de diseño de un índice espacio-temporal vinculado a redes móviles - Daniela Giraudi, Edilma Gagliardi, Gregorio Hernández, Gabriela Segura Guzmán ECC 3: Separación de señales independientes en un FPGA utilizando InfoMax - Ricardo Escalona, Miguel Figueroa ECC 14: Desenvolvendo aplicativos móveis com SuperWaba e XML utilizando um processo adaptado Marla Geller, Carlos P. Araújo, Joao Bentes J, Mythian Bastos, Pedro Martos, Tayna Roma, Clóvis Knebel Conf SCCC 11: One-Shot Time Management Analysis in EPOS Giovani Gracioli, Danillo Moura Santos, Roberto de Matos, Lucas Francisco Wanner, and Antônio Augusto Fröhlich WBD 9: Revisiting the VP-forest: unbalance to improve the performance - Edgar Chávez, Verónica Ludueña, Nora Reyes ECC 21: Construcción de un sistema operativo auto-arrancable para rescate de sistemas dañados - Arturo Hoffstadt, Cristian Maureira, Sergio Morales, Gabriel Zamora, Ignacio Villacura, Horst von Brand Coffe Break Coffe Break Coffe Break Coffe Break Coffe Break 11:05 - 13:35 Exposición Trabajos Encuentro de Tesistas 2008 (Muestra de Posters) 09:25 - 11:30 Presentación Trabajos Encuentro de Tesistas (7 trabajos) Towards a Distributed Web Search Engine, Ricardo Baeza-Yates, Yahoo! Research, Barcelona / Santiago de Chile Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo Almuerzo ECC 31: Levantando perfiles preliminares de los usuarios de TIC en Chile - Edmundo P. Leiva-Lobos, Jaime A. González Pradenas Conf SCCC 12: PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence - Alfredo Cádiz, Boris Mejías, Jorge Vallejos, Kim Mens, Peter Van Roy, and Wolfgang de Meuter WBD 5: Database design for complex information systems: an approach based on XML schemas - María Fernanda Golobisky, Aldo Vecchietti ECC 40: An approach to control flow interaction on aspect oriented programming - Pablo Quiroga, Silvia Amaro (Expone: Agustina Buccella) ECC 30: Análisis del Rendimiento en natación a través del análisis con video - Mauricio Solar, Eugenio Ducoing, Fernando Contreras Conf SCCC 13: Sets Matching in Binary Images Using Mathematical Morphology - Javier Vidal and José Crespo WBD 2: Una propuesta de modelo de costo para consultas Skyline Fabiola Di Bartolo, Marlene Goncalves, Francelice Sárd ECC 25: Uma extensão do modelo de chopard para propagação de incêndio ambiental baseado em autômatos celulares com alto desempenho - Karina Salles, Ueider Oliveira, Marilton Aguiar ECC 35: Construcción de un cubo OLAP para análisis cualitativo consultas utilizando etiquetas lingüísticas - Angélica Urrutia, Mauricio Pais, Marcela Varas WBD 7: Evaluación de calidad en una aplicación de Data Warehousing: de la definición de metas a la especificación de métricas. Autores: Diego Sastre, Verónika Peralta, Raúl Ruggia ECC 13: Estudio de robustez del algoritmo de clustering basado en grafos MSTkNN - Mario Inostroza-Ponta, Pablo Moscato WBD 8: Smart cleaning tools: una plataforma para detección y corrección de datos sucios - John Gomez Carvajal, Maryluz Martínez Restrepo, Gelver Vargas Barona Coffe Break Coffe Break Coffe Break Coffe Break Reutilización de Software: ¿Hablamos del pasado o del futuro? Juan Llorens, Universidad Carlos III, España. Asamblea SCCC (18:30 20:00 hrs) Coffe Break WBD 3: Estereotipos de clases para sistemas de información y manejador de bases de objetos - Arturo Servetto, Alejandro Ferrer, Gregorio Perichinsky WBD: Conferencia Clausura: Gestión de la Información Utilizando Data Warehousing - Dra. Angélica Urrutia Sepúlveda. Universidad Católica del Maule, Chile. 14:30 - 17:30 Presentación Trabajos Encuentro de Tesistas (8 trabajos) Coffe Break Sábado Sala 25 Fac. Ing. Laboratorios Depto. de Ing. en computación Presentación Trabajos Encuentro de Tesistas (7 trabajos) Almuerzo Almuerzo Presentación Trabajos Encuentro de Tesistas (8 trabajos) (Inicio 09:00) CPSACM