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. BibTeX
• Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro: Labeled Families in Modular Software Development. BibTeX
• João Araújo, Peter Sawyer: Integrating Object-Oriented Analysis and Formal Specification. BibTeX
• Yun Yang, Jun Han: A Productivity-Centred Approach for Classifying Software Tool Interfacing. BibTeX

Volume 5, Number 2, 1998

• Jing-Wen Jin, Silvio Romero de Lemos Meira, Fabio Q. B. da Silva: Making Web Client Caching Cooperate at LAN Level. BibTeX
• Wagner Meira Jr., Erik L. S. Fonseca, Virgílio A. F. Almeida, Cristina D. Murta: Performance Analysis of WWW Cache Proxy Hierarchies. BibTeX
• Rogério Ferreira Rodrigues, Débora C. Muchaluat-Saade, Luiz Fernando Gomes Soares: Composite Nodes, Contextual Links and Graphical Structural Views on the WWW. BibTeX
• 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. BibTeX
• Yuping Yang, Mukesh Singhal: Signature Cache: A Light Weight Web Cache Indexing Structure. BibTeX
• Francisco Vilar Brasileiro, Tércio E. de Albuquerque Fonsêca, Raquel Meneses da Costa: Mirroring Resources in the World Wide Web. BibTeX

Volume 5, Number 3, 1999

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