18. SCCC 1998: Antofagasta, Chile
Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), November 12-14, 1998, Antofagasta, Chile. IEEE Computer Society 1998
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Query Evaluation in Almost Consistent Databases using Residues. 8-14
Juan Ares Casal, Óscar Dieste Tubío, Rafael García Vázquez, Marta López Fernández, Santiago Rodríguez Yánez: Formalising the Software Evaluation Process. 15-24
M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman: Software Architectural Specification for Optimal Object Distribution. 25-31
Leopoldo E. Bertossi, Javier Pinto, Ricardo Valdivia: Specifying Active Databases in the Situation Calculus. 32-39
Alceu de Souza Britto Jr., Emerson Cabrera Paraiso, Edson Emílio Scalabrin, Celso A. A. Kaestner: Intelligent Management of Computer Networks: The GIR Proposal. 40-47
Marie-Catherine Daniel-Vatonne, C. Hemce: On a Tree-like Representation for Symbolic-Numeric Data and Its Use in Galois Lattice Method. 48-57
Nina Edelweiss, Mariano Nicolao: Workflow Modeling: Exception and Failure Handling Representation. 58-67
Manuel Vilares Ferro, Miguel A. Alonso, David Cabrero Souto: Dynamic Programming as Frame for Efficient Parsing. 68-75
Lúcia Maria Martins Giraffa, Rosa Maria Vicari: The Use of Agents Techniques on Intelligent Tutoring Systems. 76-83
Julio López, Ricardo Dahab: An Improvement of the Guajardo-Paar Method for Multiplication on Non-Supersingular Elliptic Curves. 91-95
Ana Gabriela Maguitman, Guillermo Ricardo Simari: Rationality Postulates for Relevance Relation. 96-105
Wagner Meira Jr., Erik L. S. Fonseca, Cristina D. Murta, Virgílio A. F. Almeida: Analyzing Performance of Cache Server Hierarchies. 113-121
Carlos Montez, Rômulo Silva de Oliveira, Joni da Silva Fraga: An Adaptive Model for Programming Distributed Real-Time Applications in CORBA. 122-129
Claudia Pons, Gabriel Baum, Miguel Felder: A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. 130-139
Berthier A. Ribeiro-Neto, Gustavo C. G. Mendonca, Ilmério Silva: Clipping: A Technique for Improving Retrieval Performance. 140-148
Berthier A. Ribeiro-Neto, Joao Paulo Kitajima, Gonzalo Navarro, Cláudio R. G. Sant'Ana, Nivio Ziviani: Parallel Generation of Inverted Files for Distributed Text Collections. 149-157
María-Cristina Riff: Evolutionary Algorithms for Constraint Satisfaction Problems. 158-165
Jorge E. Sagula, Martin F. Puricelli, Gustavo J. Bobeff, Gastón M. Martin, Marcelo Milrad: AMACA: A Multi-Agent Collaborative Architecture. 166-170
Luis Ricardo Sierra Abbate: Automatic Verification of Hybrid Systems: An Audio Control Protocol. 184-191
Marcela Varas, A. Ricardo Contreras, Daniel Campos: Constraints in Generalization Structures in Conceptual Database Schemes. 202-



