The Community for Technology Leaders
2011 30th International Conference of the Chilean Computer Science Society (2004)
Arica, Chile
Nov. 11, 2004 to Nov. 12, 2004
ISBN: 0-7695-2200-9
TABLE OF CONTENTS
Miscellaneous: Interfaces and Mathematical Modeling

Foreword (PDF)

pp. vii
Software Engineering: Modeling and Specification

MAM-UML: An UML Profile for the Modeling of Mobile-Agent Applications (Abstract)

Edgardo Belloni , ISISTAN Research Institute, Facultad de Ciencias Exactas - UNICEN, Argentina
Claudia Marcos , ISISTAN Research Institute, Facultad de Ciencias Exactas - UNICEN, Argentina
pp. 3-13

Parameterized Specification and Verification of the Chilean Electronic Invoices System (Abstract)

Isabelle Attali , INRIA Sophia-Antipolis, France
Tom? Barros , INRIA Sophia-Antipolis, France
Eric Madelaine , INRIA Sophia-Antipolis, France
pp. 14-25

Integrated Notation for Software Architecture Specifications (Abstract)

Mar?a Cecilia Bastarrica , DCC, Universidad de Chile, Santiago
Sergio F. Ochoa , DCC, Universidad de Chile, Santiago
Pedro O. Rossel , DCI, Universidad Cat?lica del Maule, Chile
pp. 26-35
Programming Languages

LFL: A Library of Generic Classes for Object-Oriented Action Semantics (Abstract)

Marcelo Ara? , Federal University of Paran?, Brazil
Martin A. Musicante , Federal University of Paran?, Brazil
pp. 39-47

Supporting Dynamic Crosscutting with Partial Behavioral Reflection: A Case Study (Abstract)

Leonardo Rodr?guez , Universidad de la Rep?blica, Uruguay
?ric Tanter , Universidad de Chile, Chile; Ecole des Mines de Nantes - INRIA, France
Jacques Noy? , INRIA Rennes, France; Ecole des Mines de Nantes - INRIA, France
pp. 48-58

A Framework for Execution of Secure Mobile Code based on Static Analysis (Abstract)

Mart? Nordio , Universidad Nacional de R?o Cuarto, Argentina
Ricardo Medel , Stevens Institute of Technology, New Jersey
Francisco Bavera , Universidad Nacional de R?o Cuarto, Argentina
Jorge Aguirre , Universidad Nacional de R?o Cuarto, Argentina
Gabriel Baum , Universidad Nacional de La Plata, LIFIA, Argentina
pp. 59-66
Algorithms I: Heuristics for Combinatorial Problems

A GRASP Algorithm for the Multi-Objective Knapsack Problem (Abstract)

Dalessandro Soares Vianna , Universidade Candido Mendes - UCAM-Campos, Brasil
Jos? Elias Claudio Arroyo , Universidade Candido Mendes - UCAM-Campos, Brasil
pp. 69-75

Genetic Instruction Scheduling and Register Allocation (Abstract)

Fernanda Kri , Universidad de Santiago, Chile
Marc Feeley , Univerisit? de Montr?al, Canada
pp. 76-83

Constrained Two-Dimensional Non-Guillotine Cutting Problem: an Evolutionary Approach (Abstract)

V. Beraudo , Universidad Nacional de La Pampa, Argentina
H. Alfonso , Universidad Nacional de La Pampa, Argentina
G. Minetti , Universidad Nacional de La Pampa, Argentina
C. Salto , Universidad Nacional de La Pampa, Argentina
pp. 84-89
Algorithms II: Text Algorithms

Compressing Distributed Text in Parallel with (s, c)-Dense Codes (Abstract)

Carolina Bonacic , Universidad de Chile; Centro de Estudios del Cuaternario CEQUA, Chile
Antonio Fari? , Universidad da Coru?a, Espa?
Mauricio Mar? , Centro de Estudios del Cuaternario CEQUA, Chile; Universidad de Magallanes, Chile
Nieves R. Brisaboa , Universidad da Coru?a, Espa?
pp. 93-98

Conservative Extensions of Regular Languages (Abstract)

B?atrice Bouchou , Universit? Fran?ois Rabelais - LI/Antenne de Blois - France
Denio Duarte , Universit? Fran?ois Rabelais - LI/Antenne de Blois - France
M?rian Halfeld Ferrari Alves , Universit? Fran?ois Rabelais - LI/Antenne de Blois - France
Dominique Laurent , Universit? de Cergy-Pontoise - LICP - France
Martin A. Musicante , Universidade Federal do Paran?, Brazil
pp. 99-109
Algorithms III: Managing Spatial Data

Collecting Data about Moving Objects in a Distributed Environment (Abstract)

Manuel Osorio , Universidad de Concepci?
Andrea Rodr?guez , Universidad de Concepci?
Mauricio Mar? , Universidad de Magallanes
pp. 113-120

Spatial Approximation + Sequential Scan = Efficient Metric Indexing (Abstract)

Edgar Ch?vez , Universidad Michoacana, M?xico
Norma Herrera , Universidad Nacional de San Luis, Argentina
Nora Reyes , Universidad Nacional de San Luis, Argentina
pp. 121-128
Miscellaneous: Interfaces and Mathematical Modeling

Shiftability and Filter Bank Design using Morlet Wavelet (Abstract)

Gonzalo Hern?ndez , Technical University Federico Santa Mar?a, Valpara?so
Bernd Reusch , Dortmund Universit?t, Dortmund
Marcelo Mendoza , Valpara?so University, Valpara?so
Luis Salinas , Technical University Federico Santa Mar?a, Valpara?so
pp. 141-148

Robust Neural Gas for the Analysis of Data with Outliers (Abstract)

H?ctor Allende , Universidad T?cnica Federico Santa Mar?a, Chile
Sebasti? Moreno , Universidad T?cnica Federico Santa Mar?a, Chile
Cristian Rogel , Universidad T?cnica Federico Santa Mar?a, Chile
Rodrigo Salas , Universidad T?cnica Federico Santa Mar?a, Chile
pp. 149-155

Author Index (PDF)

pp. 157
90 ms
(Ver 3.3 (11022016))