91![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 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](https://www.pdfsearch.io/img/42b78cb12469447484385858896b5c59.jpg) | Add to Reading ListSource URL: www.gray-world.netLanguage: Portuguese - Date: 2010-06-12 03:14:41
|
---|
92![Implementing Java Modeling Language Contracts with AspectJ Henrique Rebêlo Sergio ´ Soares Implementing Java Modeling Language Contracts with AspectJ Henrique Rebêlo Sergio ´ Soares](https://www.pdfsearch.io/img/b422e917ae24c94ba4cbc41b0de8b00a.jpg) | Add to Reading ListSource URL: www.cin.ufpe.brLanguage: English - Date: 2008-03-03 17:17:30
|
---|
93![JML 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](https://www.pdfsearch.io/img/faed45083c57df69471a34e7fdab8122.jpg) | Add to Reading ListSource URL: www.cin.ufpe.brLanguage: English - Date: 2008-12-18 17:21:32
|
---|
94![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 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](https://www.pdfsearch.io/img/00d3c71dbba29f6f82b423dd7af70b67.jpg) | Add to Reading ListSource URL: www.cin.ufpe.brLanguage: English - Date: 2010-04-26 17:16:00
|
---|
95![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. 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.](https://www.pdfsearch.io/img/df59ff9d5c5297dec3d2e84832ffddef.jpg) | Add to Reading ListSource URL: hirzels.comLanguage: English - Date: 2013-06-16 13:40:48
|
---|
96![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 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](https://www.pdfsearch.io/img/4132bc5e3993ea263bfcdf0676f05aa9.jpg) | Add to Reading ListSource URL: www.cin.ufpe.brLanguage: English - Date: 2008-02-07 16:34:43
|
---|
97![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 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](https://www.pdfsearch.io/img/c2ae97f76a9e2c38342578a26242dcd2.jpg) | Add to Reading ListSource URL: www.aee.edu.brLanguage: Portuguese - Date: 2015-04-14 07:15:12
|
---|
98![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 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](https://www.pdfsearch.io/img/44c4af4dcec2bb2e5f255a11d9bf7311.jpg) | Add to Reading ListSource URL: www.inesc-id.ptLanguage: English - Date: 2013-09-23 10:51:45
|
---|
99![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 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](https://www.pdfsearch.io/img/ed345985c625d3c11c7f13707af042b8.jpg) | Add to Reading ListSource URL: hirzels.comLanguage: English - Date: 2013-06-16 13:42:24
|
---|
100![LAN 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](https://www.pdfsearch.io/img/718aedcffc4d9a360cbfe650bc8a5674.jpg) | Add to Reading ListSource URL: www.anid.com.brLanguage: Portuguese |
---|