The Community for Technology Leaders
2011 30th International Conference of the Chilean Computer Science Society (1997)
Valpariso, CHILE
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8052-0
TABLE OF CONTENTS

Foreword (PDF)

pp. ix

Sponsors (PDF)

pp. xiii

ParaLog e: a paraconsistent evidential logic programming language (Abstract)

J.M. Abe , Dept. of Inf., Pontificial Catholic Univ. of Parana, Curitiba, Brazil
B.C. Avila , Dept. of Inf., Pontificial Catholic Univ. of Parana, Curitiba, Brazil
J.P. de Almeida Prado , Dept. of Inf., Pontificial Catholic Univ. of Parana, Curitiba, Brazil
pp. 2

Software architecture: object vs. process approach (Abstract)

M. Barrio , Dept. of Comput. Sci., Valladolid Univ., Spain
P. de la Fuente , Dept. of Comput. Sci., Valladolid Univ., Spain
pp. 9

A metaheuristic solution to a constrained Steiner tree problem (Abstract)

H. Bravo-Azlan , Dept. of Math., Univ. of Tarapaca, Arica, Chile
A. Candia-Vejar , Dept. of Math., Univ. of Tarapaca, Arica, Chile
pp. 16

A trade-off method between cost and reliability (Abstract)

R. Burnett , Dept. de Inf., Pontificia Univ. Catolica do Parana, Curitiba, Brazil
pp. 21

Interactive abstraction control in visualization systems (Abstract)

A. Teyseyre , Fac. Ciencias Exactas, Univ. Nacional del Centro Prov. Bs. As, Tandil, Argentina
R. Orosco , Fac. Ciencias Exactas, Univ. Nacional del Centro Prov. Bs. As, Tandil, Argentina
M. Campo , Fac. Ciencias Exactas, Univ. Nacional del Centro Prov. Bs. As, Tandil, Argentina
pp. 29

A visual query system implementing a temporal object-oriented model with roles on a relational database (Abstract)

T.P. de Carvalho , Inst. de Inf., Univ. Fed. do Rio Grande do Sul, Porto Alegre, Brazil
N. Edelweiss , Inst. de Inf., Univ. Fed. do Rio Grande do Sul, Porto Alegre, Brazil
pp. 38

Abduction for knowledge assimilation in deductive databases (Abstract)

H. Decker , Inst. fur Inf., Munchen Univ., Germany
pp. 48

Fault-tolerant routings in large generalized cycles (Abstract)

C. Padro , Dept. de Matematica Aplicada i Telematica, Univ. Politecnica de Catalunya, Barcelona, Spain
D. Ferraro , Dept. de Matematica Aplicada i Telematica, Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 58

PARCS: a parallel/distributed implementation environment for control software execution (Abstract)

L.F. Friedrich , Dept. of Inf. & Stat., Fed. Univ. of Santa Catarina, Florianopolis, Brazil
pp. 66

DARE-COTS. A domain analysis support tool (Abstract)

W. Frakes , Software Eng. Guild, Sterling, VA, USA
R. Prieto-Diaz , Software Eng. Guild, Sterling, VA, USA
C. Fox , Software Eng. Guild, Sterling, VA, USA
pp. 73

A unified approach to concurrent and parallel algorithms on balanced data structures (Abstract)

J. Gabarro , Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
X. Messeguer , Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 78

Concurrent rebalancing on HyperRed-Black trees (Abstract)

X. Messeguer , Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
D. Riu , Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
J. Gabarro , Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 93

Reliable processing on the Seljuk-Amoeba operating environment (Abstract)

E. de Lima Gallindo , Centro de Ciencias e Tecnologia, Univ. Federal da Paraiba, Brazil
F.V. Brasileiro , Centro de Ciencias e Tecnologia, Univ. Federal da Paraiba, Brazil
V.S. Catao , Centro de Ciencias e Tecnologia, Univ. Federal da Paraiba, Brazil
pp. 105

GDOC: a system for storage and authoring of documents through WEB browsers (Abstract)

A. Grala , Inf., Univ. Fed. do Rio Grande do Sul, Porto Alegre, Brazil
C. Heuser , Inf., Univ. Fed. do Rio Grande do Sul, Porto Alegre, Brazil
pp. 115

An analysis of superscalar sorting algorithms on an R8000 processor (Abstract)

D. Jimenez , Dept. d'Arquitectura de Computadors, Univ. Politecnica de Catalunya, Barcelona, Spain
J.J. Navarro , Dept. d'Arquitectura de Computadors, Univ. Politecnica de Catalunya, Barcelona, Spain
J.L. Larriba-Pey , Dept. d'Arquitectura de Computadors, Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 125

Hyperstories: a model to specify and design interactive educational stories (Abstract)

M. Lumbreras , Dept. of Comput. Sci., Chile Univ., Santiago, Chile
J. Sanchez , Dept. of Comput. Sci., Chile Univ., Santiago, Chile
pp. 135

GPS: a parallel programming tool based on process groups (Abstract)

C.M. de Costa , Inf. Inst., Fed. Univ. of Rio de Janeiro, Brazil
R. de Cassia Pivetta Machado , Inf. Inst., Fed. Univ. of Rio de Janeiro, Brazil
pp. 147

The very offline k-vehicle routing problem in trees (Abstract)

I. Muslea , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
pp. 155

Write optimized object-oriented database systems (Abstract)

K. Norvag , Dept. of Comput. & Inf. Sci., Norwegian Univ. of Sci. & Technol., Trondheim, Norway
K. Bratbergsengen , Dept. of Comput. & Inf. Sci., Norwegian Univ. of Sci. & Technol., Trondheim, Norway
pp. 164

Generalized edge-toughness (Abstract)

L. Petingi , Fac. de Ingeneria, Inst. de Comput., Montevideo, Uruguay
J. Rodriguez , Fac. de Ingeneria, Inst. de Comput., Montevideo, Uruguay
pp. 174

Scheduling meetings with guests' approval (Abstract)

J.A. Pino , Dept. de Ciencias de la Comput., Chile Univ., Santiago, Chile
H.A. Mora , Dept. de Ciencias de la Comput., Chile Univ., Santiago, Chile
pp. 182

Cooperative querying in relational databases (Abstract)

C.V. Ramos , Dept. de Ciencia da Comput., Univ. Fed. de Minas Gerais, Belo Horizonte, Brazil
J.L. Braga , Dept. de Ciencia da Comput., Univ. Fed. de Minas Gerais, Belo Horizonte, Brazil
A.H.F. Laender , Dept. de Ciencia da Comput., Univ. Fed. de Minas Gerais, Belo Horizonte, Brazil
pp. 190

Reactive ranking for cooperative databases (Abstract)

G.T. Assis , Comput. Sci. Dept, Fed. Univ. of Minas Gerais, Brazil
B.A. Ribeiro-Neto , Comput. Sci. Dept, Fed. Univ. of Minas Gerais, Brazil
pp. 199

Video server on an ATM connected cluster of workstations (Abstract)

R. Midtstraum , Dept. of Comput. & Inf. Sci., Norwegian Univ. of Sci. & Technol., Trondheim, Norwa
S. Langorgen , Dept. of Comput. & Inf. Sci., Norwegian Univ. of Sci. & Technol., Trondheim, Norwa
O. Sandsta , Dept. of Comput. & Inf. Sci., Norwegian Univ. of Sci. & Technol., Trondheim, Norwa
pp. 207

SACE-CSCW: a synchronous asynchronous common environment for computer supported cooperative work to aid concurrent engineering processes (Abstract)

A.C. dos Santos , Dept. de Comput., Univ. Federal de Sao Carlos, Brazil
L.G. Fagundes , Dept. de Comput., Univ. Federal de Sao Carlos, Brazil
C.C. Brunetto , Dept. de Comput., Univ. Federal de Sao Carlos, Brazil
S.V. Ribeiro , Dept. de Comput., Univ. Federal de Sao Carlos, Brazil
T.I. Zanfolim , Dept. de Comput., Univ. Federal de Sao Carlos, Brazil
R.M. Kayo , Dept. de Comput., Univ. Federal de Sao Carlos, Brazil
pp. 218

A graphical user interface for object-oriented database (Abstract)

E. Pichat , Univ. Claude Bernard, Villeurbanne, France
T. Sentissi , Univ. Claude Bernard, Villeurbanne, France
pp. 227

Load balancing and communication optimization for parallel adaptive finite element methods (Abstract)

L.H. Ziantz , Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY, USA
B.K. Szymanski , Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY, USA
J.D. Teresco , Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY, USA
M.S. Shephard , Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY, USA
P.C. Scully , Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY, USA
R.M. Loy , Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY, USA
J.E. Flaherty , Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY, USA
pp. 246

Constraint based selection of test sets to satisfy structural software testing criteria (Abstract)

M. Jino , Fed. Univ. of Parana, Curitiba, Brazil
S.R. Vergilio , Fed. Univ. of Parana, Curitiba, Brazil
J.C. Maldonado , Fed. Univ. of Parana, Curitiba, Brazil
pp. 256

Hamiltonian problems for reducible flowgraphs (Abstract)

O. Vernet , Nucl. de Comput. Eletronica, Univ. Fed. do Rio de Janeiro, Brazi
L. Markenzon , Nucl. de Comput. Eletronica, Univ. Fed. do Rio de Janeiro, Brazi
pp. 264

On the optimal search problem: the case when the target distribution is unknown (Abstract)

J. Oommen , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
Qingxin Zhu , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
pp. 268

Index of Authors (PDF)

pp. 279
95 ms
(Ver 3.1 (10032016))