Download Results
296 research outcomes, page 2 of 30
  • publication . Article . 2008
    Open Access Portuguese
    Authors:
    Agma Traina; Marcelo Dreux;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>This special issue of RITA contains the papers of the Tutorials presented at the Brazilian Symposium on Computer Graphics and Image Processing, SIBGRAPI 2007. It was a pleasure to receive 17 submissions, two of them from foreign countries. The majority of them h...

  • publication . Article . 2018
    Open Access English
    Authors:
    Rodrigo Machado; Arthur Giesel Vedana; Alvaro Moreira;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>This article introduces the V language, a purely functional programming language with a novel approach to records.Based on a system of type traits, V attempts to solve issues commonly found when manipulating records in purely functional programming languages.</j...

  • 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 . 2010
    Open Access English
    Authors:
    Hai Yang Sun; Jian Yang; Weiliang Zhao;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Based on the temporal rules defined for the business processe participating in a business collaboration, we present an implementation for a system called TiCoBTS to verify the reliability of the business collaboration.

  • 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...

296 research outcomes, page 2 of 30