Revista de Informática Teórica e Aplicada - SEER UFRGS

Números Publicados
Volumes I - II - III - IV - V - VI - VII - VIII - IX - X - XI - XII - XIII - XIV - XV - XVI - XVII

Volume XVII - 2010

Vol. 17, No 1 (2010) digital

 

Volume XVI - 2009

Vol. 16, No 2 (2009) digital

Artigos

QOC*: utilizando Design Rationale como ferramenta para gerenciar conhecimento em projetos de software PDF
Marcos Camponogara, Milene Silveira 9-23
Aumento de Resolução Temporal de Sequências de Imagens do Trato Vocal por meio de Registro das Imagens PDF
Ana L.D. Martins, Nelson D.A. Mascarenhas, Cláudio A.T. Suazo 113-128
Eliminação de Ruído Impulsivo Usando um Filtro Mediano Seletivo e Difusão Isotrópica PDF
Marcos Proença de Almeida, Maurílio Boaventura 129-140
HSM: A New Color Space used in the Processing of Color Images PDF
Osvaldo Severino Jr., Adilson Gonzaga 141-156

Melhores artigos de conferências

An Approach Based on Maintainability Criteria for Building Aspect-Oriented Software Design Model PDF
Rodrigo Pereira dos Santos, Heitor Augustus Xavier Costa, Cláudia Maria Lima Werner, André Fonseca Amâncio, Paulo Afonso Parreira Júnior, Antônio Maria Pereira de Resende, Fábio Fagundes Silveira 157-171

Tutoriais

Uma Revisão Sobre Combinação de Agrupamentos PDF
Murilo Coelho Naldi, Katti Faceli, André Carvalho 25-52

ER 2009 Posters and Demonstrations Session

Quantools: A MDA transformation approach  PDF
Paulo Lumertz, Ana Paula Terra Bacelo, Toacy Oliveira  53-56
HiME: Hierarchical i* Modeling Editor PDF
Lidia López, Xavier Franch, Jordi Marco 57-60
An Ontology-Based Framework for Heterogeneous Data Sources Integration PDF
Vânia M. P. Vidal, João C. Pinheiro, Eveline R. Sacramento, José Antonio Fernandes de Macêdo, Bernadette F. Lóscio 61-64
A Temporal-Rule Based Verification System for Business Collaboration Reliability PDF
Haiyang Sun, Jian Yang, Weiliang Zhao 65-68
Semantic Web and Knowledge Management in User Data Privacy PDF
Douglas da Silva, Mírian Bruckschen, Paulo Bridi, Roger Granada, Alexandre Agustini, Renata Vieira, Caio Northfleet, Prasad Rao, Tomas Sander 69-70
MatchMaking – A Tool to Match OWL Schemas PDF
Raphael do Vale A. Gomes, Luiz André P. Paes Leme, Marco A. Casanova 71-76
Web Information Extraction by Semantic Tagging PDF
Mirel Cosulschi, Roberto De Virgilio, Tommaso Di Noia, Roberto Mirizzi 77-78
SAMSTARplus: An Automatic Tool for Generating Multi- Dimensional Schemas from an Entity-Relationship Diagram PDF
Jinho Kim, Donghoo Kim, Suan Lee, Yang-Sae Moon, Il-Yeol Song, Ritu Khare, Yuan An 79-82
An Approach for Reducing the Gap between BPMN Models and Implementation Artifacts PDF
Bruno Leonardo Barros Silva, Robson Wagner Albuquerque de Medeiros, Julio Cesar Damasceno, Fernando Antonio Aires Lins, Nelson Souto Rosa, Paulo Romero Martins Maciel, Bryan Stephenson, Hamid Reza Motahari Nezhad, Jun Li, Caio Northfleet 83-86
A Frame-Based System for Automatic Classification of Semi- Structured Data PDF
Bernardo Pereira Nunes, Marco Antonio Casanova 87-92
Dealing with Uncertainty in Lexical Annotation PDF
Sonia Bergamaschi, Laura Po, Serena Sorrentino, Alberto Corni 93-96
Towards Generating Richer Code by Binding Security Abstractions to BPMN Task Types PDF
Bryan Stephenson, Hamid Reza Motahari Nezhad, Jun Li, Caio Northfleet 97-98
An Eclipse-based Tool for Model Driven Web Applications with Personalization Support PDF
Irene Garrigós, Octavio Glorio, Paul Hernández, Alejandro Mate 99-102
Conceptual Modeling: the Linguistic Approach PDF
Lucia Castro, Fernanda Araujo Araujo, Giancarlo Guizzardi 103-104
UMLtoSBVR: An SBVR-based tool to validate UML conceptual schemas PDF
Raquel Pau, Jordi Cabot, Ruth Raventós Ruth Raventós 105-108
The Animated Database Courseware (ADbC) and the Database Design Module PDF
Mario A.M. Guimarães, Meg Murray 109-112

 

Vol. 16, No 1 (2009) digital

Editorial

Editorial: 20 anos da Revista de Informática Teórica e Aplicada PDF
  07-08
Prefácio à Seção Especial dos Tutoriais do SIBGRAPI'08 PDF
  69

Artigos

Uso da ferramenta PreText para mineração de textos extraídos do NCBI para estudo epistemológico da Informática em Saúde PDF
Eliane Colepícolo, Edson Takashi Matsubara, Alex Esteves Jaccoud Falcão, Ivan Torres Pisa 09-24
ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados PDF
Bruno Nogueira, Paulo Maciel, Gustavo Callou, Ermeson Andrade, Eduardo Tavares 25-44
Avaliação Pró-ativa da Deterioração de Sistemas de Informação por meio de Medidas de Gestão PDF
André Luiz Pimentel Queiroz, Nicolas Anquetil, Káthia Marçal de Oliveira 45-68
High Performance Computing: CUDA as a Supporting Technology for Next Generation Augmented Reality Applications PDF
Thiago S. M. C. Farias, João Marcelo N. X. Teixeira, Pedro J. S. Leite, Gabriel F. Almeida, Mozart W. S. Almeida, Veronica Teichrieb, Judith Kelner 71-96
Efeitos Visuais, uma Abordagem a Partir do Processamento Digital de Imagens PDF
João Victor Boechat Gomide, Arnaldo de Albuquerque Araújo 97-124

Tutoriais

Tutorial: Introdução à Visão Computacional usando OpenCV PDF
Maurício Marengoni, Stringhini Stringhini 125-160

 

Volume XV - 2008

Vol. 15, No 3 (2008) digital

Editorial

Editorial PDF
  5
Editorial convidado PDF
Alberto Raposo, Judith Kelner 7
 

Artigos

A Journey through Virtual and Augmented Reality - Reviewing the SVR Symposia from 2004 to 2008 PDF
Alberto Raposo, Luciano Soares, Judith Kelner, Veronica Teichrieb 09-24
The Design of a Graphics Engine for the Development of Virtual Reality Applications PDF
Silvano Maneck Malfatti, Selan Rodrigues dos Santos, Luciane Machado Fraga, Claudia Marcela Justel, Paulo Fernando Ferreira Rosa, Jauvane Cavalvante de Oliveira 25-46
Designing and implementing an Spatial Augmented Reality X-Ray PDF
Fábio R. de Miranda, Romero Tori, Cláudio E. S. Bueno, Lucas P. Trias 47-74
A Conceptual Image-Based Data Glove for Computer-Human Interaction PDF
Leandro A. F. Fernandes, Vitor F. Pamplona, João L. Prauchner, Luciana P. Nedel, Manuel M. Oliveira 75-94
A Software Framework to Create 3D Browser-Based Speech Enabled Applications PDF
Ednaldo Brigante Pizzolato, Diego Daniel Duarte, Marcio Merino Fernandes 95-114
 

Vol. 15, No 2 (2008) digital

Editorial PDF
  7

Artigos

FORUM: Modelo e Linguagem para Especificação de Regras em Ambientes Colaborativos PDF
Luiz Eduardo Galvão Martins, Luiz Camolesi Júnior 9-26
Estabilidade de Classificadores de Decisão em Árvore Binária para Dados Imagem em Alta Dimensão PDF
Denis Altieri de Oliveira Moraes, Victor Haertel 27-42
On the Development and Evaluation of a Brazilian Portuguese Discourse Parser PDF
Thiago Alexandre Salgueiro Pardo, Maria das Graças Volpe Nunes 43-64
Estratégias para a Combinação de Classificadores Binários em Soluções Multiclasses PDF
Ana Carolina Lorena, André C. P. L. F. de Carvalho 65-86
Modelagem de Tráfego de Redes Utilizando Cascata Multifractal Generalizada PDF
Flávio Henrique Teles Vieira, Lee Luan Ling 87-104
Representação e Classificação de Texturas da Íris Baseada na Transformada Ótima de Gabor PDF
Fernanda Rispoli Quartieri, Jacob Scharcanski, Letícia Vieira Guimarães, Adalberto Schuck Junior 105-120
A Novel Method for Generating Scale Space Kernels Based on Wavelet Theory PDF
Dionísio Doering, Adalberto Schuck Junior 121-138
Proposta de Utilização do Diagrama de Seqüência para Definição de Casos de Teste de Unidade PDF
Fabiane Fabiane Barreto Vavassori Benitti 139-154
Reestruturação de Software Dirigida por Conectividade para Redução de Custo de Manutenção  PDF
Kecia Aline M. Ferreira, Mariza A. S. Bigonha, Roberto S. Bigonha 155-180
Uma Proposta de Modelagem para a Generalização de Elos de Rastreabilidade  PDF
Elias Canhadas Genvigir, Nandamudi Lankalapalli Vijaykumar 181-202
Inspeção Automática de Defeitos em Madeiras de Pinus usando Visão Computacional  PDF
Luiz E. S. Oliveira, Paulo R. Cavalin, Alceu S. Britto Jr, Alessandro L. Koerich 203-218

Anexos

Revisores PDF
  219-220
 

Vol. 15, No 1 (2008) digital

Editorial PDF
  5
Editorial convidado PDF
Agma Traina, Marcelo Dreux 6-7
 

Tutoriais

3D Compression: from A to Zip a first complete example PDF
Thomas Lewiner 9-38
Introdução ao XNA PDF
Bruno Rabello, Edson Mattos, Bruno Evangelista, Esteban Clua 39-82
Steganography and Steganalysis in Digital Multimedia: Hype or Hallelujah? PDF
Anderson Rocha, Siome Goldenstein 83-110
Navigation and Interaction in Graph Visualizations PDF
Andre Suslik Spritzer, Carla M. D. S. Freitas 111-136
Dimensionality Reduction, Classification and Reconstruction Problems in Statistical Learning Approaches PDF
Gilson A. Giraldi, Paulo S. Rodrigues, Edson C. Kitani, Carlos E. Thomaz 137-169
 

Volume XIV - 2007

Vol. 14, No 2 (2007) digital

Editorial PDF
  7-8

Artigos

TVX - Time and Versions in XML PDF
Rodrigo Gasparoni Santos, Nina Edelweiss, Renata de Matos Galante 9-27
Uma Proposta de Framework para Desenvolvimento de Aplicações Paralelas com Mobilidade PDF
Dárlinton B. F. Carvalho, Carlos José P. de Lucena, Celso Carneiro Ribeiro 29-42
Técnicas probabilísticas para análise de yield em nível elétrico usando propagação de erros e derivadas numéricas PDF
Lucas Brusamarello, Roberto da Silva, Gilson I. Wirth, Ricardo da Luz Reis 69-89
Aplicação de Redes Neurais Artificiais na Classificação de Padrões Posturais em Crianças Respiradoras Bucais e Nasais PDF
Felipe Mancini, Liu Chiao Yi, Shirley Shizue Nagata Pignatari, Antonio Carlos Roque, Ivan Torres Pisa 91-107
Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets PDF
Roberta A. A. Fagundes, Paulo R. M. Maciel, Nelson S. Rosa 109-132
Aspectos sociotécnicos da computação: contextualizando o desenvolvimento de sistemas de computação com o modelo Mikropolis PDF
João Porto de Albuquerque 181-197
Um Olhar Sociotécnico sobre a Engenharia de Software PDF
Henrique Luiz Cukierman, Cássio Teixeira, Rafael Prikladnicki 199-219

Tutoriais

Uma Introdução às Support Vector Machines PDF
Ana Carolina Lorena, André C. P. L. F. de Carvalho 43-67
Processos de Decisão de Markov: um tutorial PDF
Jerônimo Pellegrini, Jacques Wainer 133-179

Anexos

Revisores da RITA no JEMS PDF
  221-224
 
Número 1 – Julho 2007  (154 páginas)
   Páginas  Título e autores
07-08 Editorial
Luis C. Lamb, José Palazzo M. de Oliveira, Lisandro Z. Granville
09-28 Habilidades Interpessoais e Integração Humana do Informata no Trabalho de Desenvolvimento de Software
Seille C. Garcia Santos, Cícero E. Vaz
29-42 Qualitative Learning Assessment via Concept Maps
Francisco Edson Lopes da Rocha, Júlio Valente da Costa Júnior, Eloi Luiz Favero
43-68 Aprendizado baseado em instâncias aplicado à predição de características de execução de aplicações paralelas
Luciano José Senger, Rodrigo Fernandes de Mello, Marcos José Santana, Regina Helena Carlucci Santana
69-84 A Bayesian Network Model for Augmented Reality Applications
Rodrigo L. S. Silva, Gilson Giraldi, Paulo S. Rodrigues, Gerson Cunha
85-102 Projeto de Frameworks Transversais usando a Abordagem Tema/UML e o Perfil UML-F
Valter Vieira de Camargo, Paulo Cesar Masiero
103-118 Um aplicativo peer-to-peer de compartilhamento de arquivos com a utilização do SCTP
Gustavo S. B. do Carmo, Jamil Salem Barbar
119-134 Evolving Gait Control of Physically Based Simulated Robots
Milton Roberto Heinen, Fernando Santos Osório
135-153 Errata: Comparação de Estruturas de Dados para Subdivisões Planares Baseada em Transições
Pedro Ribeiro de Andrade Neto, André Luiz Pires Guedes

Volume XIII - 2006

Número 2 – 2006 (185 páginas)
bulletComputação Gráfica e Processamento de Imagens
Editores Convidados:
Arnaldo de Albuquerque, Marcelo Walter
   Páginas  Título e autores
05 Editorial
Luis C. Lamb, José Palazzo M. de Oliveira
07-08 Prefácio dos Editores Convidados
Arnaldo de Albuquerque, Marcelo Walter
11-42 Introdução ao Processamento Digital de Imagens
José Estáquio Rangel de Queiroz, Merman Martins Gomes
43-68 Introdução à Computação Gráfica
Isabel Harb Mansour, Marcelo Cohen
69-102 Desenvolvimento de Aplicações 3D para dispositivos Móveis utilizando as APIs M3G e OpenGL ES
Maria Andréia Formico Rodrigues, Rafael Garcia Barbosa, Wendel Bezerra Silva
103-130 Biometrics for Human Identification
Aparecido Nilceu Manara, Fernanda Pereira Sartori Falguera, Juan Rogelio Falguera, Anil K. Jain
131-160 A Gentle Introduction to Precomputed Radiance Transfer
Marcos Paulo Berteli Slomp, Manuel M. Oliveira, Diego Inácio Patrício
161-185 Content-Based Image Retrieval: Theory and Applications
Ricardo da Silva Torres, Alexandre Xavier Falcão
Número 1 – Julho/2006 (139 páginas)
   Páginas  Título e autores
05-06 Editorial
Luis C. Lamb, José Palazzo M. de Oliveira
07-22 Business Process Management: A Conceptual and Operational Optimisation Approach
Martine Collard, Yves Callejas, Jean Louis Cavarero
23-41 Comparação de Estruturas de Dados para Subdivisões Planares Baseada em Transições
Pedro Ribeiro de Andrade Neto, André Luiz Pires Guedes
42-56 O que é Pesquisa em Informática em Saúde?
Jacques Wainer, Carlos José Reis de Campos, Monica Parente Ramos, Paulo Lopes, Paulo Salomão, Daniel Sigulem
57-86 Rastreabilidade de Requisitos
Miriam Sayão, Julio Cesar Sampaio do Prado Leite
87-108 Performance Evaluation of Route: A Load Balancing Algorithm for Grid Computing
Rodrigo Fernandes de Mello, Luciano José Senger, Laurence Tianruo Yang
109-139 Concerns Identification in Web Applications
Alessandro Marchetto

Volume XII - 2005

Número 2 – Outubro/2005 (112 páginas)
bulletComputação Gráfica e Processamento de Imagens
Editores Convidados: Nelson D. d’Ávila Mascarenhas (UFSCar) e Roberto M. Cesar-Jr. (USP)
Páginas Título e autores
05-08 Editorial
09-30 A Survey of GPU-Based Volume Rendering of Unstructured Grids
Claudio T. Silva, João L. D. Comba, Steven P. Callahan, Fábio F. Bernardon
31-60 From Genetic Evolution of Simple Organisms to Learning Abilities and Persuasion on Cognitive Characters
Marcio Lobo Netto, Marcos Antonio Cavalhieri, Luciene Cristina Rinaldi Rodrigues
61-90 Optical Motion Capture: Theory and Implementation
Gutemberg B. Guerra-Filho
91-112 Cenários 3D Interativos com Software Livre
Liliane dos Santos Machado, Ronei Marcos de Moraes
Número 1 – Junho/2005 (110 páginas)
   Páginas  Título e autores
05-06 Editorial
Luis C. Lamb, José Palazzo M. de Oliveira
07-22 A Comparative Study of El-Gamal Based Cryptographic Algorithms
Ramzi Haraty, Haraty, A. El-Kassar, Hadiotrok
23-46 C&L: Uma Ferramenta de Apoio à Engenharia de Requisitos
Julio Leite, Lyrene Silva, Karin Breitman
47-60 Desenvolvimento de Técnicas de Tolerância à Falhas para Componentes Programáveis por SRAM
Fernanda Kastensmidt, Gustavo Neuberger, Luigi Carro, Ricardo Reis
61-82 Experimental Results from Application of Fault-Sensitive Testing Strategies
Silvia Vergilio, José Maldonado, Mario Jino
83-110 Multi-agent Systems and Machine Learning Facilitating Genome Annotation
Ana Bazzan, André Ponce de Leon F de Carvalho

Volume XI - 2004

Vol. 11, No 2 (2004) digital

Editorial

A Revista de Informática Teórica e Aplicada e as Tecnologias de Informação PDF
  5-8

Artigos

Uso de Aspectos para Verificar Regras de Instanciação de Frameworks PDF
André Dantas Rocha, Valter Vieira de Camargo, Paulo César Masiero 9-20
AspectH: Uma Extensão Orientada a Aspectos de Haskel PDF
Carlos A. R. Andrade, André L. M. Santos, Paulo H. M. Borba 21-32
Making Medical Visual Information Available on the WEB PDF
Silvio Antonio Carro, Jacob Scharcanski 33-48
Um Framework de Apoio à Colaboração no Projeto Distribuído de Sistemas Integrados PDF
Leandro Soares Indrusiak, Ricardo A. L. Reis, Manfred Glesner 49-74

Tutoriais

Teorias da Aleatoriedade PDF
Carlos A. P. Campani, Paulo Blauth Menezes 75-98

Vol. 11, No 1 (2004) digital

Tutoriais

Computer Vision and Graphics for Heritage Preservation and Digital Archaeology PDF
Luciano Silva, Olga R. P. Bellon, Kim L. Boyer 9-31
An Introduction to Light Interaction with Human Skin PDF
Gladimir V. G. Baranoski, Aravind Krishnaswamy 33-62
A Gentle Introduction to Predictive Filters PDF
Siome Klein Goldenstein 63-92
Java Advanced Imaging API: A Tutorial PDF
Rafael Santos 93-124
Shader Programming: An Introduction Using the Effect Framework PDF
Jörn Loviscach 125-164

Volume X - 2003/2004

Número 2 - Janeiro/2004 (112 páginas)
Páginas Título e autores
9-28 Avaliação Empírica da Expansão de Consultas Baseada em um Thesaurus: Aplicação em um engenho de busca na Web
Franklin Ramalho, Jacques Robin
29-62 Workflow Modelling using a Temporal Object-Oriented Model with Roles
Nina Edelweiss, Mariano Nicolao
63-78 Analysis and Design Process based on the Viewpoint Concept
Hair Abdellatif
79-98 Em Evidência o Potencial e Limitações dos Compiladores NQC e BrickOS e seus Respectivos Sistemas Operacionais
Douglas Machado Tavares, Viviane André Antunes, Luiz Marcos Garcia Gonçalves
99-112 Rumo ao Título de Doutor/Mestre
Mirella M. Moro, Vanessa P. Braganholo, André C. Nácul, Miguel R. Fornari
Número 1 - Agosto/2003 (125 páginas)
    Páginas  Título e autores
7-38 Linguagens de Programação Orientadas a Agentes: Uma Introdução Baseada em AgentSpeak(L)
Rafael H. Bordini e Renata Vieira 
39-40 Introdução aos Tutoriais do SIBGRAPI 2003
Luciana Porcher Nedel e Alejandro Frery
41-70 Computation on GPUs: From a Programmable Pipeline to an Efficient Stream Processor
João Luiz Dihl Comba, Carlos A. Dietrich,Christian A. Pagot, Carlos E. Scheidegger
71-96 Introdução a Java 3DTM
Isabel Harb Manssour
97-125 Marcas d’Água Frágeis de Autenticação para Imagens em Tonalidade Contínua e Esteganografia para Imagens Binárias e Meio-Tom
Hae Yong Kim
 

  Volume IX - 2002

 Número 3 - Dezembro/2002 (102 páginas)

Páginas Título e autores
7-39 Um Tutorial sobre Algoritmos Genéticos 
E. G. M. de Lacerda, André C. P. L. F. de Carvalho, Teresa B. Ludermir 
41-57 Determinação do Grau de Portabilidade de Benchmarks Paralelos Através de Lógica Nebulosa
Omar Andres Carmona Cortes, Regina Helena Carlucci Santana, Marcos José Santana.
59-72 Atualizando Informação Dinâmica na Web: o Caso do Conteúdo de Notícias 
Luciano de A. Barbosa, Franklin de S. Ramalho, Ana Carolina Salgado
73-87 Combinando Informações Textuais e Estruturais na Recuperação de Documentos Web 
Roberta de Souza Coelho, Marcelo Nery dos Santos, Silvio Romero Lemos Meira 
89-102 O Processo de Ensino e Aprendizagem Pautado por Princípios Cognitivos 
Júnia C. A. Silva, Vânia P. de Almeida, Rafael Orbolato.
Número 2 - Outubro/2002 (219 páginas)
bulletEditores convidados: João Luiz Dihl Comba e Gilson Antonio Giraldi
Páginas Título e autores
7-36 Robótica, Sistemas Sensorial e Motor: Principais Tendências e Direções 
Luiz Marcos Garcia Gonçalves, Roberto Marcondes Cesar Junior
37-66 Image-Based Modeling and Rendering Techniques: A Survey 
Manuel M. Oliveira.
67-96 Mineração de Imagens 
Everton Vidal Vieira, Olga Regina Pereira Bellon, Luciano Silva
97-126 Visualização Volumétrica 
Isabel Harb Manssour, Carla Maria Dal Sasso Freitas.
127-156 Modeling and Rendering of Real Environments 
Wagner T. Corrêa, Manuel M. Oliveira, Cláudio T. Silva, Jianning Wang.
157-186 Graphical Models for Computer Vision and Image Processing
Maurício Marengoni
187-202 An  Introduction to Light Interaction with Plants
Gladimir V. G. Baranoski, Jon G. Rokne
203-219 Coded Structured Light for 3D-Photography: An Overview
Asla Medeiros e Sá, Esdras Soares de Medeiros Filho, Paulo Cezar Carvalho, Luiz Velho
Número 1 - Agosto/2002 (96 páginas)
Páginas Título e autores
7-36 Reflecting on Separation of Concerns 
Jane L. Pryor, Andrés Diáz Pace, Marcelo Campo
37-52 Modelo Temporal de Versões 
Mirella Moura Moro, Nina Edelweiss, Clésio Saraiva dos Santos.
53-66 Gerenciamento Integrado de QoS em Redes de Computadores 
Lisandro Zambenedetti Granville, Liane Margarida Rockenbach Tarouco
67-80 Composicionalidade de Primitivas - Uma Abordagem Categorial 
Simone André da Costa, Júlio Henrique Araújo Pereira Machado, Paulo Fernando Blauth Menezes.
81-96 Avaliação dos Parâmetros dos Filtros de Gabor na Classificação Supervisionada de Imagens Digitais 
Neide Pizzolato Angelo, Vitor Haertel.

 

Volume VIII - 2001

Número 1 - Setembro/2001 (142 páginas)
bulletMicroeletrônica
Editor convidado: Marcelo Lubaszewski 
Páginas Título e autores
7-21 Concepção de Circuitos e Sistemas Integrados 
Renato Ribas, André Inácio Reis e Marcelo Lubazewski
23-41 Projeto para Prototipação de um IP Soft Core MAC Ethernet
Ney Laert Vilar Calazans, Fernando Gehm Moraes, Delfim Luiz Torok e Andrey V. Andreoli
43-61 Um Schmitt-Trigger Comparador de Corrente Digitalmente Programável 
William  Prodanov e Marcio Cherem Schneider 
63-81 Implementação de Um Sistema de Decriptografia para Controle Bancário em Hardware tipo FPGA 
Augusto Ken Morita, Marcio Toma e Wilhelmus A. M.Van Noije
83-101 Análise e Seleção de Redes de Interconexão para Síntese de Sistemas no Ambiente S3E2S
Márcio Kreutz, César Albenes Zeferino, Luigi Carro e Altamiro Amadeu Susin
103-110 Modular Test Code for Microcontroller Units with ROM 
Lincoln R. Nunes , Arthur H. C. Oliveira, Alexandre S. Santiago e Rubens Takiguti
111-142 Análise de Timing Funcional de Circuitos VLSI Contendo Portas Complexas 
José Luís Almada Güntzel e Ricardo Augusto da Luz Reis
Número 2 - Outubro/2001 (158 páginas)
bulletComputação Gráfica e Processamento de Imagens
Editores convidados: Luiz Henrique de Figueiredo e Luiz Marcos Gonçalves
Páginas Título e autores
7-46 Desenvolvimento de Jogos em Computadores e Celulares 
André L. Battaiola, Rodrigo G. Domingues,  Bruno Feijó, Dilza Scwarcman, Esteban W. G. Clua, Lauro E. Kosovitz, Marcelo Dreux, Carlos A. Pessoa, Geber Ramalho.
47-68 Técnicas em Processamento e Análise de Documentos Manuscritos 
Alceu S. Britto Jr., Cinthia O. A. Freitas, Edson J. R. Justino, Díbio L. Borges, Jacques Facon, Flávio Bortolozzi, Robert Sabourin.
69-88 Special Effects With Current Graphics Hardware 
João L. D. Comba, Rui Bastos.
89-108 Parallel Volume Rendering of Unstructured Data with Application to Hemodynamics 
Gilson A. Giraldi, Raúl A. Feijóo, Ricardo C. Farias.
109-124 Equações de Evolução em Processamento de Imagens 
Marcos Craizer.
125-141 Behavioral Modeling of Virtual Human Actors 
Soraia Raupp Musse.
143-158 Visualização de Informações 
Carla M. Dal Sasso Freitas, Olinda M. Chubachi,  Paulo R. G. Luzzardi, Ricardo A. Cava.
Número 3 - Dezembro/2001 (107 páginas)
bulletSistemas Operacionais
Editor convidado: Rômulo Silva de Oliveira
Páginas Título e autores
7-39 Sistemas Operacionais 
Rômulo S. de Oliveira, Alexandre S. Carissimi, Simão S. Toscani
41-58 ISAM: um Middleware para Aplicações Móveis Distribuídas 
Iara Augustin, Adenauer C. Yamin, Edson N. Silva Junior, Jorge L. V. Barbosa, Cláudio F. R. Geyer, Gerson G. H. Cavalheiro.
59-72 CompOSES: Uma Abordagem para Composição de Sistemas Operacionais para Aplicações Embutidas 
Luís F. Friedrich
73-87 Extensões nas especificações FT-CORBA para Sistemas Distribuídos de Larga Escala 
Lau Cheuk Lung, Joni da Silva Fraga.
89-107 Uma Revisão Sobre Tendências Tecnológicas em Sistemas Operacionais 
Mauro M. Mattos, Roberto Pacheco.

Volume VII - 2000

Número 1 - Setembro/2000 (148 páginas)

Páginas Título e Autores
7-48 Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes.
David Déharbe, Anamaria M. Moreira, Leila Ribeiro e Vanderlei M. Rodrigues.
49-68 Basic Laws of ROOL: an object-oriented language.
Paulo Borba e Augusto Sampaio
69-88 A logic-based approach for real-time object-oriented software development. 
Fernando Náufel do Amaral e Edward Hermann Haeusler
89-108 Formal testing from structured algebraic specifications: normalisationand the oracle problem.
Patrícia D. L. Machado
109-128 Complexity analysis of reactive graph grammars.
Aline Brum Loreto, Laira Vieira Toscani e Leila Ribeiro 
129-? Using the ACL2 Theorem Prover to Reason about VHDL Components.
Vanderlei M. Rodrigues, Dominique Borrione e Philippe Georgelin
Número 2 - Dezembro/2000 (103 páginas)
bulletEditoras convidadas: Silvia Delgado Olabarriaga e Wu Shin Ting
Páginas Título e Autores
7-42 Ferramentas de Programação Livres para Computação Gráfica e Animação por      Computador.
Alberto B. Raposo, Adailton J. A. da Cruz, Alessandro L. Bicho, Alfredo K. Kojima, Carlos A.M. dos Santos, Isla C.F. da Silva, Léo P. Magalhães, Paulo C. P. de Andrade
43-72 Recuperação de Informação Visual com Base no Conteúdo em Imagens e Vídeos Digitais.
Arnaldo A. Araújo e Sílvio J. F. Guimarães
73-88 Scene Segmentation by Oscillatory Correlation.
Liang Zhao
89-101 Aplicações Gráficas em Medicina: Técnicas e Modelos Realistas de Deformação.
Maria Andréia F. Rodrigues

Volume VI - 1999

Número 1 - Julho/1999 (145 páginas)
Páginas Título e Autores
7-48 Teste de Software Orientado a Objetos: Técnicas, Estratégias e Ferramentas.
Juliana Silva Herbert e Ana Maria de Alencar Price
49-76 Um Ambiente para Desenvolvimento de Gramáticas Computacionais para o Português.
Eloi L. Favero e Jacques Robin
77-104 Integración de Escenarios con el Léxico Extendido del Lenguaje en la Elicitación de Requerimientos: aplicación a un caso real. 
Graciela Hadad, Gladys Kaplan, Alejandro Oliveros e Julio C. S. P. Leite 
105-128 Um Ambiente para Modelagem e Execução de Processos.
Marcus F. Fontoura e Carlos J. P. de Lucena
129-? Reliability in Concurrent Scientific Computing for Volterra Type Equations.
Hans-Jürgen Dobner 
Número 2 - Dezembro/1999 (106 páginas)
Páginas Título e Autores
7-48 Linguagens para Computação móvel na Internet.
Marco T. Valente, Roberto Bigonha, Antonio A. Loureiro e Mariza Bigonha
49-66 Estendendo UML para Modelagem de Sistemas de Informação na Internet Baseados em Documentos.
Flávio A. de Lima e Roberto Tom Price
67-88 Software Multiparadigma Distribuído.
Jorge L. V. Barbosa e Cláudio F. R. Geyer
89-? Um Agente para Seleção de Estratégias de Ensino em Ambientes Educacionais na Internet.
Adriana Soares Pereira e Cláudio F. R. Geyer

Volume V -1998

Número 1 - 1998 (127 páginas)
Páginas Título e Autores
7-18 A State-Space Approach for Database Redesign.
José Mauro Volkmer de Castilho
19-34 Sistema de Informação Total: Gerência de Dados e Conhecimento.
José Mauro Volkmer de Castilho e Mara Abel
35-52 Processamento Semântico de Informações Situadas.
Luiz A. M. Palazzo e José Mauro Volkmer de Castilho
53-66 Uma Abordagem Baseada em Regras Heurísticas para Construção de Especificações Diagramáticas de Requisitos.
José Mauro Volkmer de Castilho e Stanley Loh
67-84 Uma abordagem multi-nível para suporte a versões em bancos de dados orientados a objetos.
Lia Goldstein Golendziner e Clesio Saraiva dos Santos
85-102 Modeling an engineering design application using extended object-oriented concepts.
Lia G. Golendziner, Clesio S. Santos e Flávio R. Wagner
103-112 Schema Evolution in the STAR Framework.
Miguel R. Fornari, Lia G. Golendziner e Flávio R. Wagner
113-127 Outras Publicações de José Mauro Volkmer de Castilho e Lia Golsdstein Golendziner

Volume IV - 1997

Número 1 - Julho/1997 (163 páginas)
Páginas Título e Autores
7-48 Integrando processos de negócio à elicitação de requisitos.
Soeli T. Fiorini e Júlio César S. P. Leite
49-86 TempER: uma abordagem para modelagem temporal de banco de dados.
Dante Carlos Antunes, Carlos A. Heuser, Nina Edelweiss
87-106 Computação imprecisa. 
Rômulo Silva de Oliveira
107-138 Recuperação de processos em sistemas distribuídos.
Ingrid Jansch-Pôrto e Taisy Silva Weber
139-161 Automated recognition of design patterns for framework understanding.
Marcelo Campo e Roberto Tom Price
Número 2 - Dezembro/1997 (112 páginas)
Páginas Título e Autores
7-46 Segurança na Internet.
Raul Fernando Weber
47-58 I-DREAM: An Intranet BaseD Resource and Application Monitoring System.
Fabio Q.B. Silva, Danielle M. Franklin, Luciana S. Varejão, André Luis M. Santos e Fabiana Martins Ramos
59-78 O Ambiente Visual Spider para o Desenvolvimento de Aplicações para a Internet.
Leonardo Mendonça de Moura e Carlos José Pereira de Lucena
79-92 Uma abordagem para a Busca Contextual de Documentos na Internet.
Stanley Loh, Leandro Krug Wives e Antônio Severo Frainer
93-110 O problema da correlação de alarmes: uma proposta de aplicação da teoria "Rough sets".
Gilmário Barbosa dos Santos, Elizabeth Sueli Specialski ePaulo Sérgio da Silva Borges

Volume III - 1996

Número 1 - Julho/1996 (131páginas)
Páginas Título e Autores
7-21 A Backward Mode for slope evaluation and remark on backward methods for interval variables.
João Batista de Oliveira
23-38 Aprendizagem por analogia na máquina e nas pessoas.
Agenor Martins e Edilson Ferneda
39-50 Non-supervised sensory-motors agents learning. 
Antônio Carlos da Rocha Costa e Raul Sidnei Wazlawick
51-63 O ambiente VITAO- visão integrada automatizada orientada a objetos.
Ana Valéria Farias Barroso, Bernadette Farias Lóscio, Mirna Geyla Lopes Brandão e Roberta Sousa Almeida Pontes
65-90 Simulação de circuitos elétricos: uma resenha.
Norian Maranghello
91-110 Tricotomia e a reprodução de cores em computador.
Silvia Delgado Olabarriaga
Número 2 - dezembro/1996 (183 páginas)
Páginas Título e Autores
5-20 A case study for the use of verifying BLAS in na LAPACK like verifying driver-routine for the solution of linear systems.
Tim Kersten
21-34 Software for fast validated solution of linear systems.
Christian P. Ulrich
35-54 High performance with high accuracy laboratory.
T. A. Divério, P. O. A. Navaux, D. M. Cláudio, C. A. Hölbig, U. A. L. Fernandes e R. L. Sagula
55-72 A VLSI vector arithmetic coprocessor for the PCs.
Christoph Baumhof e Gerd Bohlender
73-90 Hardware interval multipliers.
Michael J. Schulte
91-98 Enclosing solutions of two point boundary value problems.
Fernanda A. Oliveira
99-116 Embedding directed intervals in Mathematica.
E. D. Popova e Christian Ulrich
117-132 An Interval fixed-point theorem.
Paulo W. de Oliveira e Dalcídio Cláudio
133-146 Are functional languages suitable for scientific computing?
Genésio G. da C. Neto e Rafael D. Lins
147-166 Toward a logic for numerical approximations.
Regivan H. N. Santiago e benedito M. Acióly
167-181 Computational arithmetic: na updated view.
Tiarajú asmuz Divério e Dalcídio M. Cláudio

Volume II - 1995

Número 1 - Janeiro/1995 (178 páginas)
Páginas Título e Autores
5-36 Ferramentas de suporte às tarefas da análise exploratória visual.
Carla Maria Dal Sasso Freitas e Flávio Rech Wagner
37-76 Concurrency control techniques and the KBMS Enviroment: A critical analysis.
Fernando de Freitas Rezende
77-123 Transações de Banco de Dados: novos requisitos de processamento de aplicações não convencionais. 
Cirano Iochpe e Maria Aparecida M Souto
125-136 Inclusion methods for real and complex functions in one variable.
Dalcídio Moraes Cláudio e Siegrified Martin Rump
137-149 Qualitative Reasoning and Model-Based Diagnosis: foundations & applications.
Peter Struss e Waldir Roque
Número 2 - Outubro/1995 (146 páginas)
Páginas Título e Autores
5-35 Dos Enfoques de la Programación Lógica con Restricciones.
Francisco Ibañez, Raymundo Forradellas, Fernando Barber e Rafael Berlanga
37-53 Recuperando Caminhos no esquema algorítmico Union-Find.
Newton José Vieira
55-70 Classificação por intercalação: um método confiável.
Paulo Alberto de Azeredo
71-92 Marked Petri Nets.
Paulo Fernando Blauth Menezes
93-113 Um algoritmo algébrico para isolar zeros de polinômios.
Dalcídio M. Cláudio, Maria Angelica Camargo e Vilmar Trevisan

Volume I - 1989

Número 1 - Outubro/1989 (132 páginas)
Páginas Título e Autores
7-20 A informática no planejamento da produção fabril: necessidades e métodos.
Cláudio Walter
21-27 A two-sided method for nonlinear equations with cubic convergence.
Dalcidio Moraes Claudio e Paulo R Zingano
29-44 Uma perspectiva sistêmica sobre a Engenharia de Software. 
Gernot Richter e Bruno Maffeo
45-77 Rumo a um modelo conceitual completo: Redes de Petri e Diagramas E/R.
Carlos A Heuser e Eduardo Meira Peres
79-118 Vírus de computador.
Raul Fernando Weber
Número 2 - Maio/1990 (115 páginas)
Páginas Título e Autores
9-35 Pattern Matching Techiques.
Daniel Mossé
37-51 Reconhecimento de Padrões através de Máscaras Nebulosas.
Thomas de Araujo Buck e Márcio Luiz de Andrade Netto
53-67 A Programação Dinâmica: um caso particular da Divisão e Conquista.
Laira Vieira Toscani e Paulo Augusto S Veloso
69-98 O paradigma de desenvolvimento por objetos.
Maria del Rosario Girardi e Roberto Tom Price
Número 3 -Março/1991 (120 páginas)
Páginas Título e Autores
5-20 Natural Language Syntax Learning and Syntactic Guided Spelling Repair.


José Gabriel Lopes e Rosa Maria Viccari

21-40 RADMAX: an intelligent Computer packed for Dam Design and Dam Safety using Radar Observations.
Marcos de Lacerda Pessoa
41-62 Modelos de Processamento em Sistemas de Banco de Dados para aplicações de CAD. 
Cirano Iochpe
63-99 Fundamentos de Tolerância a Falhas.
Ingrid E S Jansch-Pôrto
Número 4 - Dezembro/1991 (110 páginas)
Páginas Título e Autores
5-22 Direções de pesquisa em bancos de dados para suporte a novas aplicações.
Claudia Bauzer Medeiros e Roberto Zicari
23-46 BR+: Modelo dinâmico de dados para um ambiente multimidia.
Maria Lencastre Menezes e Cruz e Ana Carolina Salgado
47-68 Banco de dados e Paralelismo: uma experiência prática.
Marta L Queiros Mattoso
69-85 Marcelo José de Rezende Gonçalves e Alberto Henrique Frade Laender
87-109 Hipertexto: uma introdução.
Vânia Regina Fichman

horizontal rule