Computer Science 2: Research and Applications

576 Pages·1994·19.544 MB·English

by  José Miguel Piquer (auth.), Ricardo Baeza-Yates (eds.)

COMPUTfR SClfNCf 2
Research and Applications
COMPUT[R SCI[NC[ 2
Research and Applications
fdited by
Ricardo Baeza-Yates
University of Chile
Santiago, Chile
Springer Science+Business Media, LLC
Library of Congress Catalog1ng-1n-Publ1catIon Data
Chilean Computer Science Society. International Conference (13th :
1993 : La Serena, Chi le)
Computer science 2 : research and applications / edited by Ricardo
Baeza-Yates.
p. cm.
Includes bibliographical references and index.
ISBN 978-1-4757-9807-4
1. Computer science—Research—Congresses. I. Baeza-Yates, R.
(Ricardo) II. Title.
QA76.27.C48 1994
004—dc20 94-10702
CIP
Proceedings of the Thirteenth International Conference of the
Chilean Computer Science Society, held October 14-16, 1993,
in La Serena, Chile
ISBN 978-1-4757-9807-4 ISBN 978-1-4757-9805-0 (eBook)
DOI 10.1007/978-1-4757-9805-0
© Springer Science+Business Media New York, 1994
Originally published by Plenum Press, New York in 1994
Softcover reprint of the hardcover 1st edition 1994
All rights reserved
No part of this book may be reproduced, stored in a retrieval system, or transmitted,
in any form or by any means, electronic, mechanical, photocopying, microfilming,
recording, or otherwise, without written permission from the Publisher
To Luis lara
Preface
The articles in this proceedings were presented at the 13th International Conference of the
Chilean Computer Science Society held in La Serena, Chile on October 14-16, 1993. A record
number of 90 submissions were received this year in response to the call for papers. They
came from 19 countries in four continents. The 44 articles presented here were selected by the
program committee whose members were
Ricardo Baeza-Yates (Chair, Univ. de Chile)
Leopoldo Bertossi (U niv. Catolica de Chile)
Jorge Boria (Schlumberger, USA & UNICEN, Argentina)
Edgardo Broner (Univ. Simon Bolivar, Venezuela)
Pere Brunet (Polytechnic of Catalunya, Spain)
Jose Blakeley (Texas Instruments, USA)
Eduardo Krell (Fundacion Chile)
Tomas Lang (Univ. of California at Irvine, USA)
Rosana Lanzelotte (PUC-Rio, Brazil)
Stefano Levialdi (Univ. di Roma, Italy)
Jorge Lobo (Univ. of Illinois at Chicago, USA)
Jose Palazzo (UFRGS, Brazil)
Christian Queinnec (Poly technique & INRIA, France)
Gregory Rawlins (Indiana University, USA)
Carlos Scheel (Tecnologico de Monterrey, Mexico)
Robbert Van Renesse (Cornell Univ., USA)
The criteria for selection was based primarily on quality; we also considered relevance, clarity
and the potential benefit to the community.
The contents of these proceedings are organized on six main areas (number of papers in
parentheses) :
Algorithms and Data Structures (10);
Databases and Information Systems (6);
Distributed Systems and Computer Architecture (6);
Logic and Knowledge (8);
Petri Nets (4); and
Software Engineering and Programming Languages (10).
They also include one invited paper.
The SCCC seeks to facilitate the interchange of knowledge and experience among academics
and professionals who work in the field of computing. This conference, being one of the oldest
and highest quality computer science conference in Latin America, is helping to bring the work
done in Latin America to the attention of computer scientists from around the world. It also
helps to keep Latin American scientists and computer professionals up to date with major
advances in the field.
vii
The conference was a complete success in attendance, quality and as an opportunity to meet
people and to make new friends. However, life has always a dark side. In an unfortunate car
accident, one of my students died, just a few months before obtaining his computer engineering
degree. This book is dedicated to him.
Finally, I wish to thank all the rest of the organizing committee, in particular Margarita
Garda from the Un iv. of La Serena, Leopoldo Bertossi from the Catholic University at Santiago
and Jose Miguel Piquer from my own university. I also thank the program committee, the other
anonymous reviewers for their work and dedication, and all the staff at the Computer Science
Department of the University of Chile.
Ricardo Baeza-Yates
Santiago, Chile, November 1993
viii
Contents
Introduction, Jose Miguel Piquer ..... . 1
Historical Overview, Ricardo Baeza-Yates 3
Algorithms and Data Structures
Applying Genetic Algorithms to the Load-Balancing Problem ............. 7
Alex A. Freitas, Junia C. Anacleto, and Claudio Kirner
Parallel Update and Search in Skip Lists . . . . . . . . . . . . . . . . . . . . . . .. 15
Joaquim Gabarr6, Conrado Martinez, and Xavier Messeguer
Asymptotic Probabilistic Analysis of an Algorithm for Addition Subtraction Chains 27
Raul Gouet and Jorge Olivos
Graph Clustering and Caching . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Alberto Mendelzon and Carlos Mendioroz
A Comparison of Algorithms for the Triangulation Refinement Problem. . . . . . . . 47
Maria-Cecilia Rivara and Patricio Inostroza
Prime Length Symmetric FFTs and Their Computer Implementations. . 57
Jaime Seguel, Ricardo Santander, Fredi Palominos, and Claudio Fuentealba
Obtaining Intrinsic Shape Properties with a Disparity-Based Photometric Stereo. 67
Jose R.A. Torreiio and Cecilio J.L. Pimentel
Finding the Safest One-Dimensional Path among Obstacles for
the Acceleration Constrained Robot ......................... 75
Dajin Wang
An Optimized External Sort Algorithm . . . . . . . . . . . . . . . . . . . . . . . 89
Xin Zhou and Frank Lin
Use of Genetic Algorithms to Optimize the Cost of Automotive Wire Harnesses . 103
Carlos Zozaya-Gorostiza, Hinurimawan Sudarbo, and Luis Fernando Estrada
Databases and Information Systems
Hybrid Information Systems: Integrating Data and Knowledge Management . 119
Mara Abel and Jose M. V. Castilho
A Semantic Data Model Approach for the Prototyping of Information Systems . 131
Marcelo Campo, Mariano Cilia, Claudia Marcos, and Esteban Pastor
A Temporal Logic Language for Temporal Conditions Definition . . . . . . . . 145
Nina Edelweiss, Jose M. V. de Castilho, and Jose Palazzo M. de Oliveira
Multimedia Object Management in an 0-0 Database Environment ..... . 161
Carlos A.A. Lima, Ana M.e. Moura, and Paulo C.C. Ferreira
Database Schema Design: The Contribution of Natural Language Techniques. . 183
Jean-Noel Meunier, Gilles Levreau and Elisabeth Metais
Modelling Geographic Information Systems Using an Object-Oriented Framework . 199
Fatima Pires, Claudia Bauzer Medeiros, and Ardemiris Barros Silva
ix
Distributed Systems and Computer Architecture
The Role of Object Technology in Distributed Systems (Invited Paper) ... 215
Richard M. Soley
Reprinted with permission from: Distributed Computing: Implementation and
Management Strategy, Raman Khanna (ed.), Prentice Hall, New York, 1993
Analysis and Control of Computer Systems Distributed in Local Networks .225
Francisco Aurtenechea, Fernando Norero, and Martin Stehr
Garbage Collection in Distributed EZ . . . . . . . . . . . . . . . . . . . . . . . . . . . 243
Alvaro E. Campos and David R. Hanson
A Design System for Massively Parallel Hardware . . . . . . . . . . . . . . . . . . . . 253
Patrick Dewilde, Peter Held, Ed Deprettere, and Paul Wielage
A Collision Resolution Algorithm for Random Access Channels
Using Multiple Transmission Levels .............. . .269
Walter Grote and Shivendra Panwar
Methodology for the Life Cycle Development of Enterprise Networks ....... . . 281
Carlos Islas Perez and Maria Concepcion Villar Cuesta
Channel Routing in the Knock-knee Diagonal Model .305
Xiaoyu Song
Logic and Knowledge
Inheritance and Recognition in the Cumulative Typed System
for Knowledge Representation SC . . . . . . . . . . . . . . . . . . . . . . . . . . . 317
Doris Ferraz de Aragon, Alexandre EvsukofJ, and Maria Carolina Monard
Making Argument Systems Computationally Attractive:
Argument Construction and Maintenance . . . . . . . . . . . . . . . . . . . 327
A.J. Garcia, C.l. Chesnevar, and G.R. Simari
Lexical Error Correction Using Contextual Linguistic Expectations . . . . . . . . . . . 337
Karl Klebesits and Thomas Grechenig
Equilibration and Belief Revision: Strategies for Cooperative Tutoring and Learning. 347
Flavio M. de Oliveira and Rosa M. Viccari
Metacontrol of a Traffic Simulator Using Situation Semantics. . . . . . . . . . . 359
Harold J. Paredes-Frigolett
Abductive Inference of Plans and Intentions in Information Seeking Dialogues . 377
Paulo Quaresma and Jose Gabriel Lopes
Cognitive Maps as Human Computer Interface Design Tools for Learning ....... 387
J.H. Sanchez and A. Mallegas
On Observational Equivalence and Relational Semantics ................ 399
Fabio Q.B. da Silva
Petri Nets
Analysis of General Refined Petri Boxes . . . . . . .411
Raymond Devillers
Event Modeling with Petri Nets: A Survey and Discussion ............... 429
Carlos A. Heuser
Morphisms to Preserve Structural Properties of Petri Nets .439
Agathe Merceron
Studying the Behaviour of Petri Nets through a Formalization as
Term Rewriting Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 455
Alberto Paccanaro
x
Software Engineering and Programming Languages
The Management of a Cooperative Environment . . . . . . . . . . . . . . . 469
Carlos A. T. Aguiar and Ana Carolina Salgado
Combining Instance and Class-Based Descriptions in Hypermedia Authoring . 479
Luis Bibbo, Alicia Diaz, Silvia Gordillo, and Gustavo Rossi
How Programming Can Be Visualized: A Practical Approach .............. 491
Alireza Ebrahimi
A Process Model to Transform Evaluation from Human Review
to Automatic Measurement ................. . .513
Thomas Grechenig and Stefan Biffi
Planning Methodology of Information Systems under Cooperative Design .521
Antonio Guevara-Plaza
Pacific: A Programming Language Based on the Idea of Natural Naming ....... 529
I<ari Laitinen
Evaluation of Logic Programs in a Relational Language ................. 541
Remi Legrand
A Synthetic Approach to Object Oriented Analysis ................... 553
Viviana L. Rubinstein and Jorge Bor·ia
Graphical Animation of LOTOS Specifications . .. .................. 567
Jesus Sanchez Allende and Gonzalo Leon Serrano
Integrated-Specifications Analysis . . . . . . . . . . . . . . . . . . . . . . . . 579
Pablo Straub, Yadran Eterovic, Hugo Espinoza, and Cecilia Bastarrica
Author Index. 593
Subject Index. 595
xi