Henrique

Results: 338



#Item
91V Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais  311 Sistema de Detecção de Backdoors e Canais Dissimulados Carlos Henrique P C Chaves1 , Antonio Montes2

V Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais 311 Sistema de Detecção de Backdoors e Canais Dissimulados Carlos Henrique P C Chaves1 , Antonio Montes2

Add to Reading List

Source URL: www.gray-world.net

Language: Portuguese - Date: 2010-06-12 03:14:41
    92Implementing Java Modeling Language Contracts with AspectJ Henrique Rebêlo Sergio ´ Soares

    Implementing Java Modeling Language Contracts with AspectJ Henrique Rebêlo Sergio ´ Soares

    Add to Reading List

    Source URL: www.cin.ufpe.br

    Language: English - Date: 2008-03-03 17:17:30
      93JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ Henrique Rebêlo Sergio ´ Soares

      JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ Henrique Rebêlo Sergio ´ Soares

      Add to Reading List

      Source URL: www.cin.ufpe.br

      Language: English - Date: 2008-12-18 17:21:32
        94Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study Henrique Rebˆelo, Ricardo Lima, Gary T. Leavens, M´arcio Corn´elio, Alexandre Mota, C´esar Oliveira CS-T

        Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study Henrique Rebˆelo, Ricardo Lima, Gary T. Leavens, M´arcio Corn´elio, Alexandre Mota, C´esar Oliveira CS-T

        Add to Reading List

        Source URL: www.cin.ufpe.br

        Language: English - Date: 2010-04-26 17:16:00
          95Giuliano Losa, Vibhore Kumar, Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soule, Kun-Lung Wu 17 July 2012 Language & System Support for Efficient State Sharing in Distributed Stream Processing Systems IBM T. J.

          Giuliano Losa, Vibhore Kumar, Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soule, Kun-Lung Wu 17 July 2012 Language & System Support for Efficient State Sharing in Distributed Stream Processing Systems IBM T. J.

          Add to Reading List

          Source URL: hirzels.com

          Language: English - Date: 2013-06-16 13:40:48
            96A JML compiler based on AspectJ Henrique Rebˆelo, Ricardo Lima, M´arcio Corn´elio, S´ergio Soares Pernambuco State University Computing Systems Department Rua Benfica, 455, Madalena, Recife - PE, Brazil {hemr,ricardo

            A JML compiler based on AspectJ Henrique Rebˆelo, Ricardo Lima, M´arcio Corn´elio, S´ergio Soares Pernambuco State University Computing Systems Department Rua Benfica, 455, Madalena, Recife - PE, Brazil {hemr,ricardo

            Add to Reading List

            Source URL: www.cin.ufpe.br

            Language: English - Date: 2008-02-07 16:34:43
              97AEE realiza a compra das Faculdades FACER  No dia 01 de Abril de 2015 o Presidente da Associação Educativa Evangélica – AEE e Chanceler do Centro Universitário de Anápolis, Dr. Geraldo Henrique Ferreira Espíndola

              AEE realiza a compra das Faculdades FACER No dia 01 de Abril de 2015 o Presidente da Associação Educativa Evangélica – AEE e Chanceler do Centro Universitário de Anápolis, Dr. Geraldo Henrique Ferreira Espíndola

              Add to Reading List

              Source URL: www.aee.edu.br

              Language: Portuguese - Date: 2015-04-14 07:15:12
                98INTERSPEECHDisfluency Detection Based on Prosodic Features for University Lectures Henrique Medeiros1,2 , Helena Moniz1,3 , Fernando Batista1,2 , Isabel Trancoso1,4 , Luis Nunes2,5 1

                INTERSPEECHDisfluency Detection Based on Prosodic Features for University Lectures Henrique Medeiros1,2 , Helena Moniz1,3 , Fernando Batista1,2 , Isabel Trancoso1,4 , Luis Nunes2,5 1

                Add to Reading List

                Source URL: www.inesc-id.pt

                Language: English - Date: 2013-09-23 10:51:45
                  991  A Universal Calculus for Stream Processing Languages Robert Soulé, Martin Hirzel, Robert Grimm, Buğra Gedik, Henrique Andrade, Vibhore Kumar, and Kun-Lung Wu

                  1 A Universal Calculus for Stream Processing Languages Robert Soulé, Martin Hirzel, Robert Grimm, Buğra Gedik, Henrique Andrade, Vibhore Kumar, and Kun-Lung Wu

                  Add to Reading List

                  Source URL: hirzels.com

                  Language: English - Date: 2013-06-16 13:42:24
                    100LAN HOUSE COMO FERRAMENTA PARA INCLUSÃO DIGITAL Emiliano Gil Santos de Brito1 Rafael Castilho Krader2 Rafael Henrique Branco Mendes3 Fadir Salmen4 Resumo

                    LAN HOUSE COMO FERRAMENTA PARA INCLUSÃO DIGITAL Emiliano Gil Santos de Brito1 Rafael Castilho Krader2 Rafael Henrique Branco Mendes3 Fadir Salmen4 Resumo

                    Add to Reading List

                    Source URL: www.anid.com.br

                    Language: Portuguese