The Community for Technology Leaders
XXIV International Conference of the Chilean Computer Science Society (2004)
Arica, Chile
Nov. 12, 2004 to Nov. 12, 2004
ISBN: 0-7695-2185-1
TABLE OF CONTENTS

[Cover page] (PDF)

pp. c1

[Title page] (PDF)

pp. i-iv

Table of contents (PDF)

pp. v-vi

Foreword (PDF)

pp. vii

MAM-UML: an UML profile for the modeling of mobile-agent applications (PDF)

E. Belloni , ISISTAN Res. Inst., Fac. de Ciencias Exactas, Buenos Aires, Argentina
C. Marcos , ISISTAN Res. Inst., Fac. de Ciencias Exactas, Buenos Aires, Argentina
pp. 3-13

Parameterized specification and verification of the Chilean electronic invoices system (PDF)

I. Attali , INRIA, Sophia-Antipolis, France
T. Barros , INRIA, Sophia-Antipolis, France
E. Madelaine , INRIA, Sophia-Antipolis, France
pp. 14-25

Integrated notation for software architecture specifications (PDF)

M.C. Bastarrica , DCC, Univ. de Chile, Santiago, Chile
S.F. Ochoa , DCC, Univ. de Chile, Santiago, Chile
pp. 26-34

LFL: a library of generic classes for object-oriented action semantics (PDF)

M. Araujo , Dept. of Comput. Sci., Parana Fed. Univ., Curitiba, Brazil
M.A. Musicante , Dept. of Comput. Sci., Parana Fed. Univ., Curitiba, Brazil
pp. 39-47

Supporting dynamic crosscutting with partial behavioral reflection: a case study (PDF)

L. Rodriguez , Instituto de Comput., Univ. de la Republica, Montevideo, Uruguay
pp. 48-58

A framework for execution of secure mobile code based on static analysis (PDF)

M. Nordio , Departamento de Comput., Univ. Nacional de Rio Cuarto, Argentina
F. Bavera , Departamento de Comput., Univ. Nacional de Rio Cuarto, Argentina
pp. 59-66

A GRASP algorithm for the multi-objective knapsack problem (PDF)

D.S. Vianna , Nucleo de Pesquisa e Desenvolvimento em Informatica, Univ. Candido Mendes, Brazil
J.E.C. Arroyo , Nucleo de Pesquisa e Desenvolvimento em Informatica, Univ. Candido Mendes, Brazil
pp. 69-75

Genetic instruction scheduling and register allocation (PDF)

F. Kri , Departamento de Ingeniena Informatica, Univ. de Santiago, Chile
pp. 76-83

Constrained two-dimensional non-guillotine cutting problem an evolutionary approach (PDF)

V. Beraudo , Laboratorio de Investigation en Sistemas Inteligentes, Univ. Nat. de La Pampa, Argentina
H. Alfonso , Laboratorio de Investigation en Sistemas Inteligentes, Univ. Nat. de La Pampa, Argentina
G. Minetti , Laboratorio de Investigation en Sistemas Inteligentes, Univ. Nat. de La Pampa, Argentina
C. Salto , Laboratorio de Investigation en Sistemas Inteligentes, Univ. Nat. de La Pampa, Argentina
pp. 84-89

Compressing distributed text in parallel with (s, c)-dense codes (PDF)

C. Bonacic , Departamento de Ciencia de la Computacion, Univ. de Chile, Chile
pp. 93-98

Conservative extensions of regular languages (PDF)

B. Bouchou , Univ. Francois Rabelais, Antenne de Blois, France
D. Duarte , Univ. Francois Rabelais, Antenne de Blois, France
M.H.F. Alves , Univ. Francois Rabelais, Antenne de Blois, France
pp. 99-109

Collecting data about moving objects in a distributed environment (PDF)

M. Osorio , Center for Web Res., Univ. de Concepcion, Chile
A. Rodriguez , Center for Web Res., Univ. de Concepcion, Chile
pp. 113-120

Spatial approximation + sequential scan = efficient metric indexing (PDF)

E. Chavez , Escuela de Ciencias Fisico-Matematicas, Univ. Michoacana, Morelia, Mexico
pp. 121-129

Shiftability and filter bank design using Morlet wavelet (PDF)

G. Hernandez , Informatics Dept., Tech. Univ. Federico Santa Maria, Valparaiso, Chile
pp. 141-148

Robust neural gas for the analysis of data with outliers (PDF)

H. Allende , Univ. Tecnica Federico Santa Maria, Valparaiso, Chile
C. Rogel , Univ. Tecnica Federico Santa Maria, Valparaiso, Chile
S. Moreno , Univ. Tecnica Federico Santa Maria, Valparaiso, Chile
pp. 149-155

Author index (PDF)

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