Journal of the Brazilian Computer Society, Volume 5

Volume 5, Number 1, 1998

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Procedures and Recursion in the Refinement Calculus.
Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro: Labeled Families in Modular Software Development.
João Araújo, Peter Sawyer: Integrating Object-Oriented Analysis and Formal Specification.
Yun Yang, Jun Han: A Productivity-Centred Approach for Classifying Software Tool Interfacing.

Jing-Wen Jin, Silvio Romero de Lemos Meira, Fabio Q. B. da Silva: Making Web Client Caching Cooperate at LAN Level.
Wagner Meira Jr., Erik L. S. Fonseca, Virgílio A. F. Almeida, Cristina D. Murta: Performance Analysis of WWW Cache Proxy Hierarchies.
Rogério Ferreira Rodrigues, Débora C. Muchaluat-Saade, Luiz Fernando Gomes Soares: Composite Nodes, Contextual Links and Graphical Structural Views on the WWW.
Flávia A. Barros, Pedro Falcão Gonçalves, Thiago L. V. L. Santos: Providing Context to Web Searches: The Use of Ontologies to Enhance Search Engine's Accuracy.
Yuping Yang, Mukesh Singhal: Signature Cache: A Light Weight Web Cache Indexing Structure.
Francisco Vilar Brasileiro, Tércio E. de Albuquerque Fonsêca, Raquel Meneses da Costa: Mirroring Resources in the World Wide Web.

Tarkan Taralp, Michael Devetsikiotis, Ioannis Lambadaris: In search of better statistics for traffic characterization.
Judith L. Jerkins, Jonathan L. Wang: From network measurement collection to traffic performance modeling: challenges and lessons learned.
Aleksandar Kolarov, Gopalakrishnan Ramamurthy, Toru Takamichi, Tutomu Murase: Comparison of three policing algorithms for ABR conformance.
Jinsung Choi, John A. Silvester: Simulation of controlled queuing systems and its application to optimal resource management in multiservice cellular networks.
Djamel Fawzi Hadj Sadok, Judith Kelner, Carlos de M. Cordeiro: Disconnection protocol support in mobile access.