Download Results
195 research outcomes, page 1 of 20
  • publication . Article . 2004
    Open Access Portuguese
    Authors:
    Luis C. Lamb; José Palazzo Moreira de Oliveira;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Este artigo apresenta uma breve visao da historia da Revista em relacao as Tecnologias da Informacao, descreve as acoes que estao sendo tomadas para incrementar sua participacao na comunidade academica de Ciencia da Computacao utilizando-se das possibilidades da Web, e ...

  • publication . Article . 2010
    Open Access
    Authors:
    Luis C. Lamb; Lisandro Zambenedetti Granville; José Palazzo Moreira de Oliveira;
    Publisher: Universidade Federal do Rio Grande do Sul

    Este numero da Revista de Informatica Teorica e Aplicada (RITA) tem significado especial. Trata-se do primeiro numero publicado no ano em que a revista completa 20 anos. Durante duas decadas, muitos trabalharam para construir a historia da RITA. Os artigos deste numero ...

  • publication . Article . 2007
    Open Access
    Authors:
    José Palazzo Moreira de Oliveira;
    Publisher: Universidade Federal do Rio Grande do Sul

    Os editores da Revista de Informática Teórica e Aplicada agradecem ao corpo editorial e aos seguintes revisores, do período 2005-2007, por seus esforços em manter o alto padrão de avaliação dos artigos da revista.

  • publication . Article . 2013
    Open Access Portuguese
    Authors:
    Soraia de S. Reis; Raquel Oliveira Prates;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    This paper presents an assessment of the Semiotic Inspection Methodaimed at understanding its costs, benefits, advantages and disadvantages from the evaluators’perspective. We applied a questionnaire to novice evaluators and interviewedthe authors of the method (represe...

  • publication . Article . 2013
    Open Access Portuguese
    Authors:
    Jair Donadelli; Leandro M. Zatesko;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Neste trabalho apresentamos versoes deterministicas para os esquemas de hashing de Botelho, Kohayakawa e Ziviani (2005) e por Botelho, Pagh e Ziviani (2007). Tambem respondemos a um problema deixado em aberto no primeiro dos trabalhos, relacionado a prova da corretude e...

  • publication . Article . 2020
    Open Access English
    Authors:
    Andre Rauber Du Bois; Rodrigo Ribeiro; Maycon Amaro;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>Unification is the core of type inference algorithms for modern functional programming languages, like Haskell and SML. As a first step towards a formalization of a type inference algorithm for such programming languages, we present a formalization in Coq of a t...

  • publication . Article . 2010
    Open Access Portuguese
    Authors:
    Ivan Torres Pisa; Edson Takashi Matsubara; Eliane Colepicolo; Alex Esteves Jaccoud Falcão;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Este artigo apresenta a utilizacao da ferramenta PreText como tecnica auxiliar a uma pesquisa sobre epistemologia da Informatica em Saude (IS), que visa inferir se a IS se caracteriza como ciencia, tecnologia, tecnociencia ou arte. O PreText tem por objetivo realizar pr...

  • publication . Article . 2013
    Open Access Portuguese
    Authors:
    Eric H. Ostroski; Caio Rafael do Nascimento Santiago; Jônatas Correa Araújo; José de Jesús Pérez Alcázar; Luciano Antonio Digiampietri;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Este artigo apresenta um ambiente para o desenvolvimento de software baseado no reuso de componentes, que combina tecnologias de gerenciamento de workflows, semântica e componentes de software. O ambiente desenvolvido pode ser utilizado por desenvolvedores de software, ...

  • publication . Article . 2007
    Open Access Portuguese
    Authors:
    Jeronimo Pellegrini; Jacques Wainer;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Ha situacoes em que decisoes devem ser tomadas em sequencia, e o resultado de cada decisao nao e claro para o tomador de decisoes. Estas situacoes podem ser formuladas matematicamente como processos de decisao de Markov, e dadas as probabilidades dos valores resultantes...

  • publication . Article . 2011
    Open Access
    Authors:
    André Luiz Pimentel Queiroz; Káthia Marçal de Oliveira; Nicolas Anquetil;
    Publisher: Universidade Federal do Rio Grande do Sul

    Questões relacionadas à modernização de sistemas de informação têm recebido maior atenção e relevância. Muitos métodos têm sido propostos para apoiar uma organização na escolha da melhor alternativa para modernização de um sistema. Entretanto, esses métodos não fornecem...

195 research outcomes, page 1 of 20