25 - 29 de Noviembre de 2002

Montevideo, Uruguay

Radisson Victoria Plaza Hotel

XXVIII Conferencia Latinoamericana

Artículos

 

A

	CL49 - A Uniform Approach to Program Extraction: Pure Type Systems with Ultra Sigma-types (19)
	Maribel Fernandez, Ian Mackie, Paula Severi, Nora Szasz
	Métodos Formales

	CL70 - AdapTree - Proposta de um Algoritmo para Indução Incremental de Árvores de Decisão Baseado em Técnicas Adaptativas (45)
	Hemerson Pistori, João Jose Neto
	Inteligencia Artificial

	CL42 - Algoritmo de Computo de Valor de las Sesiones de Usuarios para Evaluación de los Logros de un Sitio Web (245)
	Ernestina Menasalvas, Socorro Millán, Esther Hochsztain
	Bases de Datos

	CL29 - Algoritmos de Inserción Segura desde Especificaciones Formales de Restricciones de Integridad (248)
	Gonzalo Rojas D., Marcela Varas C.
	Bases de Datos

	CL34 - Algoritmos para Dobramento do RNA (36)
	Luis Carlos da Silva Rozante, Jose Augusto Ramos Soares
	Algoritmos y Estructuras de Datos

	CL3 - An Architecture for Integrated Caching and Prefetching Mechanisms for Parallel File Systems (204)
	Evgueni Dudonov, Hélio C. Guardia
	Arquitectura de Computadores

	CL58 - An Evaluation of Regression Testing Techniques: A Case Study (87)
	Luciana Andréia Fondazzi Martimiano, José C. Maldonado
	Ingeniería de Software

	CL95 - An Object-Oriented Microscopic Traffic Simulator (306)
	Ana L.C. Bazzan, Gustavo K. Andriotti
	Simulación

	CL61 - Análisis de Sistemas de Tiempo Real: k-diagramabilidad y tolerancia a las fallas (113)
	Rodrigo M. Santos, Jorge Santos, Javier D. Orozco
	Ingeniería de Software

	CL11 - Aplicabilidad de la Gestión de Calidad de Software: un Caso de Estudio en el Ambiente Lotus Notes (255)
	Paula Núñez, Marcello Visconti
	Ingeniería de Software

	CL76 - Aplicando Conjuntos Difusos en la Generación de Reglas de Asociación (235)
	Mariluz Martinez, Gelver Vargas, Andrés Dorado, Marta Millán
	Inteligencia Artificial

	CL81 - Arquitectura Base en una Línea de Productos de Software (11)
	Cecilia Bastarrica
	Ingeniería de Software

	CL72 - Arreglos Neuronales Evolutivos. Un nuevo mecanismo para implementar evolución incremental. (43)
	Leonardo Corbalán, Laura Lanzarini
	Inteligencia Artificial

	CL82 - Avaliação de Interfaces em Software Educacional: Comparando Experiências em dois Protótipos Sucessivos (146)
	Eliane Regina de Almeida Valiati, Luciana Vargas Flores, Evandro Manara Miletto, Marcelo Soares Pimienta
	Interfaces Hombre-Máquina

B

	CL43 - BSS Priority Queue (143)
	Leslie Murray, Gerardo Rubino, María E. Urquhart
	Algoritmos y Estructuras de Datos

	CL15 - Building Software for Image Processing: A Generic Approach (39)
	Marcos César Cardoso Carrad, Marcos Cordeiro d'Ornellas
	Procesamiento de Imágenes

C

	CL90 - Colonia de Hormigas en un Ambiente Paralelo Asíncrono (259)
	Benjamín Barán, Marta Almirón
	Sistemas Paralelos y Distribuidos

	CL39 - Combinando técnicas de data warehousing e mineração de dados em avaliações imobiliárias (42)
	Cláudia Sander, Ana L.C. Bazzan
	Bases de Datos

	CL46 - Comparação entre Algoritmos Genéticos e Redes Neurais aplicados ao problema da cinemática inversa (100)
	N. Lemke, A. Cechin, F. Osório, A. Wagner, A. Werhil, F. Heinen
	Algoritmos Genéticos

	CL1 - Compiling Dataflow into Control Driven Languages: Preliminary Results on Performance and Parallel Scalability on an IBM SP2 System (32)
	Ling-Hua Chang, Ernst L. Leiss
	Arquitectura de Computadores

	CL59 - Configurando la Trazabilidad de Requisitos para Proyectos basados en UML (70)
	Patricio Letelier, Víctor Anaya
	Ingeniería de Software

	CL44 - Construcción de Árboles BSP Vía Algoritmos Genéticos (196)
	Paul Kienholz, Rhadamés Carmona, Héctor Navarro
	Algoritmos Genéticos

D

	CL8 - Desarrollo de una Herramienta Computacional para Modelación y Ajuste de Artoplastia de Rodilla (185)
	A. Madero, R. Rodriguez
	Interfaces Hombre-Máquina

	CL71 - Desenvolvimento e Avaliação de uma Estrutura Multitesauro para Recuperação de Informações (264)
	Luiz Augusto Sangoi Pizzato, Vera Lucia Lucia Strube de Lima
	Inteligencia Artificial

	CL88 - Device Monitoring Tool using Intelligent Software Agents (28)
	Calebe P. Bianchini, Eduardo S. de Almeida, Antonio F. do Prado
	Ingeniería de Software

	CL50 - Diseñando la Retroalimentación Visual en un Formalismo de Concepción de Aplicaciones Interactivas (310)
	Jaime Muñoz Arteaga, Philippe Palanque, José Martín Abeleira
	Métodos Formales

	CL96 - Distributed Allocation of Discrete-Event Simulation Servers (303)
	Mauricio Marin, Carolina Bonacie
	Simulación

E

	CL5 - Editor para Textos em Língua de Sinais Escritos em SignWriting (85)
	Rafael P. Torchelsen, Antônio Carlos R. Costa, Graçaliz P. Dimuro
	Interfaces Hombre-Máquina

	CL35 - Estructuracion del Indice de un Buscador usando la Frecuencia de Consultas (288)
	Ricardo Baeza-Yates, Felipe Saint-Jean
	Algoritmos y Estructuras de Datos

	CL100 - Evaluación de Modelos de Predicción de Carga para el Planificador de un Metasistema (210)
	Eduardo Izquierdo, Mariela Curiel
	Sistemas Paralelos y Distribuidos

	CL32 - Evolução de Esquemas e Propagação de Mudanças usando o Modelo Temporal de Versões (121)
	Renata de Mateos Galante, Nina Edelweiss, Clesio Saravia Dos Santos
	Bases de Datos

	CL92 - Evolución en el diseño y clasificación de Algoritmos Genéticos Paralelos (249)
	Sergio Nesmachnow
	Sistemas Paralelos y Distribuidos

	CL27 - Extensión de los métodos Hop-by-Hop, CR-LDP y RSVP-TE para Multicast IP sobre MPLS (187)
	Yezid Donoso Meisel, Ramon Fabregat, Jose Luis Marzo, Eusebi Calle
	Comunicación de Datos y Redes de Computadoras

F

	CL16 - Ferramenta para Extração de Ontologias a Partir de Bancos de Dados Relacionais (72)
	André A. Vieira, Astério K. Tanaka, Ana Maria de C. Moura
	Bases de Datos

G

	CL19 - GADBMS - Restricted Genetic Algorithm to induce a set of rules from Relational Databases (91)
	Andréa de Fatima Cavalheiro, Aurora Ramirez Pozo
	Inteligencia Artificial

H

	CL40 - Hacia la Automatización del Diseño de Data Warehouses (193)
	Veronika Peralta, Adriana Marotta
	Bases de Datos

I

	CL55 - I/O Performance Improvement through the Use of Compiler_Driven Memory Management (15)
	Jenny Feng, Wendy Zhang, Ernst L. Leiss
	Sistemas Operativos

	CL56 - IDeL: A Language for Program Instrumentation (81)
	Audenilso S. Simão, Auri M.R Vincenzi, José C. Maldonado, Antônio C.L. Santana
	Lenguajes de Programación

	CL104 - Implementacion de un Algoritmo para el Calculo del Eje Medio de Polígonos Generalizados (69)
	José Maria Bañón, Diego García, John Wilmar Castro
	Computación Gráfica

	CL36 - Improved Dynamic Spatial Approximation Trees (20)
	Gonzalo Navarro, Nora Reyes
	Algoritmos y Estructuras de Datos

	CL28 - Incluindo Abordagens de Recuperação de Informação em Serviços de Criação de Hiperligações (273)
	Alessandra Alaniz Macedo, José Antonio Camacho-Guerrero,, Maria da Graça Pimentel
	Bases de Datos

	CL9 - Incorporating Multi-Team Effort and Cost Estimation in System Design (298)
	Jones Albuquerque, Claudionor Coelho, Diógenes Cecilio Jr, Antônio Otávio Fernandes
	Ingeniería de Software

	CL38 - Index Self-Tuning with Agent-based Databases (212)
	Rogério Luis De Carvalho Costa, Sérgio Lifschitz
	Bases de Datos

	CL101 - Integrando Aspectos de Tempo Real em uma Aplicação Distribuída Legada (148)
	Carlos A.G Ferraz, Juliana R.B.D Barros, Sérgio V. Cavalcante
	Sistemas Paralelos y Distribuidos

	CL62 - Interoperabilidad de Componentes Software mediante cálculo de canales (312)
	Silvia N. Amaro, Ernesto Pimentel
	Ingeniería de Software

	CL74 - Invariant Pattern Recognition by Zernike Moments using a Neural Network (25)
	Guillermo Cámara Cháves, Zhao Liang
	Inteligencia Artificial

L

	CL60 - La Ingeniería de Software y las Leyes de Protección del Consumidor en el Mercosur (66)
	Mariel Feder, Dora Szafir
	Ingeniería de Software

	CL13 - Localização de Placas de Sinalização em Imagens de Ruas e Estradas Utilizando um Mecanismo de atenção Visual (272)
	Fabrício A. Rodrigues, Herman M. Gomes
	Procesamiento de Imágenes

	CL91 - Localización de objetos distribuidos móviles (256)
	Andrés Arcia, Leandro Leon
	Sistemas Paralelos y Distribuidos

	CL63 - LUPA: Lenguaje Unificado de Procesos Administrativos (236)
	Emely Arráiz, Pedro R. Borges, Roger V. Soler, Cristina Zoltan
	Automatización de Oficina

M

	CL102 - Método numérico para la identificación de sistema caóticos (139)
	Marisa Bauzá, Ma. Gabriela Bonelli, Laura Curone, Hernán Codari, Pablo Coll
	Sistemas Paralelos y Distribuidos

	CL68 - Modelación de Sistemas Dinámicos Utilizando Redes Neuronales en su Forma Canónica (238)
	Luz Mestre Torres, Gonzalo Acuña Leiva
	Inteligencia Artificial

	CL80 - Modelo de Agregación Basado en un Sistema Neurodifuso para un Proceso de Evaluación de Calidad de Software (157)
	Nelly Olinda Condori Fernández, Jorge Belenguer Faguás, Manoli Albert Albiol
	Ingeniería de Software

	CL65 - Multi-agent Distributed Knowledge Management System (142)
	Pablo D. Villareal, Maria L. Caliusco, Maria R. Galli, Omar Chiotti
	Automatización de Oficina

N

	CL37 - New Data Structure and Spanning Forest Operators for Evolutionary Algorithms (150)
	A.C.B Delbem, A. De Carvalho
	Algoritmos y Estructuras de Datos

	CL57 - NKey: Um Protocolo Para o Gerenciamento de Chaves de Grupo (201)
	Carlos Rocha, Tatiana Tavares, Benjamín Bedregal, Guido Lemos
	Seguridad de Datos y Criptografía

	CL2 - NPSIM: Simulador de Processador de Rede (281)
	Henrique C. de Freitas, Carlos Augusto P. S. Martins
	Arquitectura de Computadores

O

	CL75 - Optimización de Motores de Inferencia Conexionistas (263)
	José Talavera-Herrera, Omar Vivas Arapa, Ernesto Cuadros Vargas
	Inteligencia Artificial

	CL87 - Orientação a Domínio em ODE (86)
	Paula Gomes Mian, Ana Candida Cruz Natali, Alessandra Lopes de Carvalho, Ricardo de Almeida Falbo
	Ingeniería de Software

P

	CL52 - Paralelización del Cálculo de Autovalores y Autovectores en un Esquema de Memoria Compartida (177)
	Franco Chichiazola, Raúl E. Champredonde, Armando E. De Giusti
	Sistemas Paralelos y Distribuidos

	CL33 - PATHOS: Object-Oriented Concurrent Constraint Timetabling for Real World Cases (78)
	Juan Francisco Díaz, Luis O. Quesada, Camilo Rueda, Catherine García, Sandra Cetina
	Algoritmos y Estructuras de Datos

	CL20 - Pattern Recognition Problems and Sparse Distributed Memory (135)
	J.L Aguilar, N. Perozo
	Inteligencia Artificial

	CL73 - Planning as Branch and Bound: A Constraint Programming Implementation (239)
	Héctor Palacios, Héctor Geffiner
	Inteligencia Artificial

	CL25 - Polynomial time computation of the reliability of source-terminal complete networks with path length restrictions (23)
	Héctor Cancela, Louis Petingi
	Comunicación de Datos y Redes de Computadoras

	CL18 - Proposal of Artificial Intelligence Use for Refractive Errors Measurement (12)
	Antonio Valerio Netto, Maria Cristina F. De Oliveira
	Inteligencia Artificial

Q

	CL53 - Qualidade de Serviço para Programas Móveis de Tempo Real (82)
	Eliane G. Monteiro, J.C.B Leite
	Sistemas Operativos

R

	CL12 - Reengenharia de aplicações cliente/servidor para a plataforma Web usando metamodelos (234)
	Cláudio Roberto de Lima Martins, Marcelo Soares Pimienta, Ana Maria Alencar Price
	Ingeniería de Software

	CL67 - Reengenharia Orientada a Objetos de Sistemas COBOL para Ambiente Web Thin-Client (207)
	Valter Vieira de Camargo, Rosângela Ap. D. Penteado
	Ingeniería de Software

	CL6 - Reengenharia Pautada por Princípios de Usabilidade para Interfaces com Realidade Virtual (260)
	Cristiano L. Soares, Júnia C. Anacleto Silva, Rosângela Ap. Dellosso Penteado
	Interfaces Hombre-Máquina

	CL94 - Reliability estimation in networks with link and node failures (34)
	Héctor Cancela, Antonio Mauttone
	Simulación

	CL89 - Reprojeto de Sistemas Legados Baseado em Componentes de Software (223)
	Valdirene Fontanette, Vinícius C. Garcia, Adriano A. Bossonaro, Angela B. Perez, Antonio F. do Prado
	Ingeniería de Software

	CL69 - Resolución de Juegos de Información Perfecta empleando Algoritmos Genéticos y Redes Neuronales (134)
	Raul Fernando Bouroncle Cuba, Juan C. Gutierrez Caceres, Waldo Cancino Ticona
	Inteligencia Artificial

S

	CL17 - SBS-Agro: Sistema de Busca Utilizando Ontologias e Retorno do Usuário (254)
	Alexandre Procaci da Silva, Jean Wanderlei Alves, Regina Braga, Fernanda Campos
	Bases de Datos

	CL77 - SCORE: a proposal to design Cognitive Agents' behavior on Interactive Computer Games (220)
	Leonardo S. Cunha, Lucia M. M. Giraffa
	Inteligencia Artificial

	CL14 - Seguimiento de Puntos en Imagenes Ruidosas (293)
	Domingo Mery, Mónica Villanueva
	Procesamiento de Imágenes

	CL10 - SGPS: Sistema de Gerenciamento de Projeto de Software (268)
	Gustavo Dias Silveira, Leandro Bento Pompermaier
	Ingeniería de Software

	CL47 - Simple space subdivision for faster ray tracing (287)
	Patrick S. Várilly, Francisco J. Torres-Rojas
	Computación Gráfica

	CL83 - Software Aprenda Brincando: Um software para auxiliar na alfabetização infantil (128)
	Leticia Menna Barreto Silva, Tatiana de Olveira Flores, Regina Barwaldt
	Interfaces Hombre-Máquina

	CL54 - State-space approach to Real Time Scheduling (178)
	R. Cayssials, J. Orozco, E. Ferro
	Sistemas Operativos

T

	CL26 - Techniques and Tools for Formalising and Analysing the Resource Reservation Protocol: A Coloured Petri Net Approach (232)
	María E. Villapol, Jonathan Billington
	Comunicación de Datos y Redes de Computadoras

	CL41 - Tecnologia de Mediação para Extração e Transformação de Dados em Ambientes de Data Warehouse (131)
	Leticia Maria Gonçalvez Furtado, Ana Maria de C. Moura
	Bases de Datos

	CL66 - The Use of the Catalysis Approach in the Construction of a Framework in an N-tier Architecture (110)
	Sergio A. Tanaka, Ruy T. Nishimura, Carlos J.M. Olguín
	Ingeniería de Software

	CL30 - Towards the Mapping of Dynamic Properties of Objects, described by UML State Diagrams, on Rel-dbs (233)
	José M. Maciel, Duncan D. Ruiz
	Bases de Datos

U

	CL51 - Um Algoritmo de Escalonamento Distribuído Baseado em Grupos de Processadores (262)
	Celso Maciel da Costa, Getúlio Almeida dos Santos
	Sistemas Paralelos y Distribuidos

	CL23 - Um Ambiente de Ensino para Redes de Comunicação Sem Fio Integrando Componentes de Software e J2ME (88)
	Ivan J. Foschini, Sérgio D. Zorzo
	Comunicación de Datos y Redes de Computadoras

	CL93 - Um mecanismo dinâmico para diminuição da latência e do tempo de resposta em sistemas de arquivos paralelos (226)
	Edilson A. Spessoto, Hélio C. Guardia
	Sistemas Paralelos y Distribuidos

	CL79 - Um Modelo para Estruturação de Requisitos com Base em Preceitos da Teoria da Atividade (156)
	Giovani E. Rocco, Daniel L. Notari, Maurício F. Galimberti
	Ingeniería de Software

	CL7 - Uma Abordagem Teleológica para Construção de Casos de Uso e Cenários (252)
	Roberto Vedoato, Marcelo Soares Pimienta
	Interfaces Hombre-Máquina

	CL99 - Uma Estratégia para Geração de Oráculos para Teste de Software a partir de Especificação Formal (270)
	Edson Eustáchio Azevedo, Ana Maria Alencar Price
	Métodos Formales

	CL64 - Uma Linguagem para Representação de Workflow em XML com Suporte a Evolução e Versionamento de Esquemas (175)
	Fabio Zschornack, Nina Edelweiss
	Automatización de Oficina

	CL45 - Un Algoritmo Basado en la Programación Genética para Minería de Datos (136)
	J.L Aguilar, J. Altamiranda
	Algoritmos Genéticos

	CL103 - Un Algoritmo Eficiente para la Deteccion de Intersecciones en Tiempo Real (65)
	Olmedo Arcila, Carlos Muñoz, José Maria Bañón
	Computación Gráfica

	CL31 - Un prototipo de manejador de transacciones anidadas con restricciones de integridad (112)
	A. Doucet, S. Gançarski, V. Leguizamo, C. Leon, M. Rukoz
	Bases de Datos

	CL4 - Un sistema de comercio electronico sobre un cluster de computadores (188)
	José R. Gulías, Víctor M. Gulías, Alberto Valderruten
	Arquitectura de Computadores

	CL78 - Una experiencia de medición de los costos relativos a la calidad en la producción de software (172)
	Amalia I. Alvarez, Ana C. Esteves, Mariana L. Lasarte
	Ingeniería de Software

	CL21 - Una Plataforma Inteligente de Educación a Distancia que incorpora la Adaptabilidad de Estrategias de Enseñanza al Perfil, Estilos de Aprendizaje y Conocimiento de los Alumnos (152)
	Pedro Salcedo Lagos, Cecilia Labraña, Yussef Farran Leiva
	Inteligencia Artificial

	CL24 - Usando RSVP para Soportar Servicios Adaptativos en Redes Móviles (297)
	María E. Villapol, Pedro L. Guzmán
	Comunicación de Datos y Redes de Computadoras

	CL98 - Use Case Refinements in the Object Oriented Software Development Process (57)
	Roxana S. Giandini, Clauda F. Pons, Gabriela A. Pérez
	Métodos Formales

	CL86 - Uso de Gerência de Conhecimento para Apoiar a Realização de Estimativas (74)
	Fábio Feu Rosa Valente, Ricardo de Almeida Falbo
	Ingeniería de Software

	CL85 - Uso de Humanoides para Comercio Electrónico (119)
	David Alejandro Uribe Pardo
	Interfaces Hombre-Máquina

V

	CL48 - Verificación de Sistemas de Tiempo Real en Teoría de Tipos: Un Caso de Estudio "The RailRoad Crossing example in Coq" (96)
	Carlos Daniel Luna
	Métodos Formales

	CL22 - Visual knowledge modelling and related interpretation problem-solving method (176)
	Mara Abel, Luis L. Silva, Laura S. Mastella, John A. Campbell, Luis F. De Ros
	Inteligencia Artificial

w

	CL84 - www.lea.net.ar: "An Accesible Web Site for Visually Impaired and Blind People" (10)
	Javier Diaz, José Ferreyra, Ivana Harari
	Interfaces Hombre-Máquina

X

	CL97 - XCSL: XML Constraint Specification Language (93)
	Marta H. Jacinto, Giovani R. Librelotto, José C. Ramalho, Pedro R. Henriques
	Métodos Formales