Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-06-30T14:12:14Z No. of bitstreams: 1 DIS_LUCAS_E_SILVA_BATISTA_PILAU_PARCIAL.pdf: 667865 bytes, checksum: b9e4029677e6d1a430ed423abfda23f3 (MD5) / Approved for entry into archive by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-06-30T14:12:22Z (GMT) No. of bitstreams: 1 DIS_LUCAS_E_SILVA_BATISTA_PILAU_PARCIAL.pdf: 667865 bytes, checksum: b9e4029677e6d1a430ed423abfda23f3 (MD5) / Made available in DSpace on 2017-06-30T14:12:29Z (GMT). No. of bitstreams: 1 DIS_LUCAS_E_SILVA_BATISTA_PILAU_PARCIAL.pdf: 667865 bytes, checksum: b9e4029677e6d1a430ed423abfda23f3 (MD5) Previous issue date: 2016-09-26 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / This master?s dissertation has as principal goal to question the existance of a police dispositive, that operationalizes throught the subjectivation and the desubjectivation of individuals and places itself far beyond the modern police institution, affecting not only the operators, in general, of the criminal system, but also the social relations. To confirm this hypothesis, the search initially focus on the Brazilian criminal system and it contemporary double frame, trying to trace, not only the pulsing mass encarceration since the end of the XX century, but also the state crimes against the black and poor population. Furthermore, other goal is to question about the emergency of the modern police, liking it with elementary features of its activities, as well to trace the birth and development of the Brazilian police, not forgetting to localize it on the exception paradigm of Giorgio Agamben, in other words, displacins from a contractualist vision of its activities and showing that Brazilian police are linked both to a fouding and to a conservative violence, spectral quintessentially. Thus, from the police, institution that concetrates the security power in modern democracies, is that seeks to think what represents a police dispositive in power relations and which are the possible interminglings of its crossings. / O presente trabalho vincula-se ? linha de pesquisa Viol?ncia, Crime e Seguran?a P?blica, do Programa de P?s-Gradua??o em Ci?ncias Criminais da Pontif?cia Universidade Cat?lica do Rio Grande do Sul. A pesquisa tem como objetivo interrogar a exist?ncia de um dispositivo policial, o qual operacionaliza-se atrav?s da subjetiva??o e dessubjetiva??o dos indiv?duos e se coloca para muito al?m da institui??o policial moderna, afetando n?o s? os operadores do sistema penal em geral, mas tamb?m as pr?prias rela??es na sociedade. Para confirmar tal hip?tese, a investiga??o se foca inicialmente no sistema penal brasileiro e sua dupla face contempor?nea, tentando tra?ar n?o s? o encarceramento em massa latente desde o final do s?culo XX mas tamb?m os crimes praticados pelo Estado contra a popula??o negra e pobre. Al?m disso, interroga-se o momento de emerg?ncia da pol?cia moderna, vinculando-a a caracter?sticas elementares de sua atua??o, assim como tra?a-se o pr?prio nascimento e desenvolvimento da pol?cia brasileira, sem deixar de localiz?-la, em geral, sob um paradigma de exce??o agambeniano, ou seja, deslocando-se uma vis?o contratualista da sua atua??o e demonstrando estar essa vinculada tanto ? uma viol?ncia fundadora quanto conservadora, espectral por excel?ncia. Assim, a partir da pol?cia, institui??o que concentra o poder de realizar a seguran?a nas democracias modernas, ? que se buscar pensar o que representa um dispositivo policial nas rela??es de poder e quais as imbrica??es poss?veis de seus atravessamentos.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-04-03T21:33:40Z No. of bitstreams: 1 DaniguiReniguiMartinsDeSouza_DISSERT.pdf: 915908 bytes, checksum: 4d2e4aa8ff487752ec8f6522aad615e8 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-04-10T18:23:44Z (GMT) No. of bitstreams: 1 DaniguiReniguiMartinsDeSouza_DISSERT.pdf: 915908 bytes, checksum: 4d2e4aa8ff487752ec8f6522aad615e8 (MD5) / Made available in DSpace on 2017-04-10T18:23:44Z (GMT). No. of bitstreams: 1 DaniguiReniguiMartinsDeSouza_DISSERT.pdf: 915908 bytes, checksum: 4d2e4aa8ff487752ec8f6522aad615e8 (MD5) Previous issue date: 2017-02-03 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / O conceito de biopol?tica tem se tornado um rico instrumento de an?lise ou uma esclarecedora chave hermen?utica para a reflex?o contempor?nea sobre a l?gica do poder, a genealogia do governo e o significado da pol?tica no mundo moderno. As diferentes concep??es de biopol?tica t?m cada qual suas especificidades. O foco da abordagem do presente estudo ser? exclusivamente o diagn?stico biopol?tico do presente elaborado por Agamben, no qual o conceito de biopol?tica est? centrado na politiza??o da vida biol?gica. Procuramos mostrar o modo como a ?arqueologia da biopol?tica? empreendida por Agamben pode ser compreendida a partir da an?lise de quatro no??es fundamentais, quais sejam: poder soberano, vida nua, estado de exce??o e campo. Analisamos, primeiro, de que modo Agamben pensou a associa??o entre o dom?nio pol?tico e a animaliza??o do homem a partir das lacunas deixadas pelas investiga??es de Arendt e Foucault. Em um segundo momento, examinamos a rela??o entre a organiza??o soberana dos corpos e o estado de exce??o. No terceiro passo de nosso percurso, analisamos a politiza??o da vida nua e a produ??o do homo sacer, a sacralidade da vida. Em uma quarta e ?ltima etapa, esclarecemos de que modo Agamben pensou o ?campo? como ?n?mos? secreto da biopol?tica na modernidade. Trata-se de explicitar de que forma a reflex?o de Agamben sobre o nexo existente entre poder pol?tico e vida nua se articula em torno desses quatro aspectos estruturantes. Buscamos evidenciar a relevante contribui??o que o pensamento de Agamben oferece para o diagn?stico cr?tico da racionalidade pol?tica nas sociedades contempor?neas, aprimorando nossa compreens?o sobre as novas formas do poder na modernidade tardia. / The concept of biopolitics is a rich instrument of analysis and interpretation of the logic of power, the genealogy of government and the meaning of politics in the modern world. The different conceptions of biopolitics each have their specificities. The focus of the present study will be exclusively the biopolitical diagnosis of the present elaborated by Agamben, in which the concept of biopolitics is centered on the politicization of biological life. We seek to show how Agamben's ?archeology of biopolitics? can be understood from the analysis of four fundamental notions: sovereign power, bare life, state of exception, and field. We first analyze how Agamben thought the association between the political domain and the animalization of man from the gaps left by the investigations of Arendt and Foucault. In a second moment, we examine the relationship between the sovereign organization of bodies and the state of exception. In the third chapter, we analyze the politicization of natural life and the production of homo sacer, the sacred life. In the fourth chapter, we clarified how Agamben thought of the ?field? as a secret ?notion? of biopolitics in modernity. Therefore, we seek to show how Agamben's reflection on the nexus between political power and bare life is articulated around these four structuring aspects. We seek to highlight the relevant contribution that Agamben's thinking offers to the critical diagnosis of political rationality in contemporary societies, enhancing our understanding of the new forms of power in late modernity.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-11-01T21:17:48Z No. of bitstreams: 1 TeresaDoCarmoBarretoFernandes_DISSERT.pdf: 5261298 bytes, checksum: 1a7e32ec8483e6e7e31101df7f8675f9 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-11-07T21:08:03Z (GMT) No. of bitstreams: 1 TeresaDoCarmoBarretoFernandes_DISSERT.pdf: 5261298 bytes, checksum: 1a7e32ec8483e6e7e31101df7f8675f9 (MD5) / Made available in DSpace on 2017-11-07T21:08:03Z (GMT). No. of bitstreams: 1 TeresaDoCarmoBarretoFernandes_DISSERT.pdf: 5261298 bytes, checksum: 1a7e32ec8483e6e7e31101df7f8675f9 (MD5) Previous issue date: 2017-06-30 / Exce??es n?o capturadas (do ingl?s: uncaught) n?o s?o cen?rios excepcionais nas aplica??es Java atuais. Eles s?o, na verdade, uma das principais causas de falha das aplica??es Java - que podem originar-se de erros de programa??o (e.g., acesso a refer?ncias nulas); falhas no hardware ou em APIs utilizadas. Essas exce??es uncaught resultam em stack traces que s?o frequentemente usados pelos desenvolvedores como fonte de informa??es para a depura??o. Atualmente, essa informa??o ? frequentemente usada pelos desenvolvedores em mecanismos de busca ou sites de perguntas e respostas (do ingl?s: Question and Answer - Q&A) para tentar compreender melhor a causa do crash e assim poder resolv?lo. Este estudo fez a minera??o de stack traces inclu?das nas perguntas e respostas do StackOverflow (SOF). O objetivo deste estudo foi: (i) identificar caracter?sticas das stack traces mineradas do SOF e (ii) investigar como tais informa??es podem ser usadas para evitar exce??es uncaught durante o desenvolvimento de software. Neste estudo, 121.253 stack traces foram extra?das e analisadas em combina??o com inspe??es de postagens do SOF. Tamb?m ? proposta a ferramenta ExMinerSOF, que alerta o desenvolvedor sobre as exce??es que podem ser potencialmente sinalizadas por um m?todo de API. Essas informa??es s?o descobertas aplicando uma estrat?gia de minera??o apresentada neste trabalho. Ao faz?-lo, a ferramenta permite que o desenvolvedor evite falhas com base em falhas relatadas por outros desenvolvedores. / Uncaught exceptions are not an exceptional sce- nario in current Java applications. They are actually one of the main causes of applications crashes, which can originate from programming errors on the application itself (null pointer dereferences); faults in underlying hardware or re-used APIs. Such uncaught exceptions result in exception stack traces that are often used by developers as a source of information for debugging. Currently, this information is ofttimes used by developers on search engines or Question and Answer sites while the developer tries to: better understand the cause of the crash and solve it. This study mined the exception stack traces embedded on StackOverflow (SOF) questions and answers. The goal of this work was to two-fold: to identify characteristics of stack traces mined from SOF and to investigate how such information can be used to prevent uncaught exceptions during software development. Overall 121.253 exception stack traces were extracted and analyzed in combination with Q&A inspections. Hence, this study proposes ExMinerSOF tool, which alerts the developer about the exceptions that can be potentially signaled by an API method but are not part of the API documentation - and was discovered by applying a mining strategy in SOF repository. Doing so, the tool enable the developer to prevent faults based on failures reported by the crowd.

Submitted by Sandra Pereira (srpereira@ufrrj.br) on 2016-10-04T15:05:57Z No. of bitstreams: 1 2011 - Fernanda Maria da Costa Vieira.pdf: 2529012 bytes, checksum: 8d720183f132a0a02064c33bb6f76838 (MD5) / Made available in DSpace on 2016-10-04T15:05:57Z (GMT). No. of bitstreams: 1 2011 - Fernanda Maria da Costa Vieira.pdf: 2529012 bytes, checksum: 8d720183f132a0a02064c33bb6f76838 (MD5) Previous issue date: 2012-02-28 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / In 2007, as the dossier prepared by the Military Police which aimed to investigate the Movement of Landless Rural Workers and their links with the Revolutionary Armed Forces of Colombia in the north of Rio Grande do Sul, a series of legal actions have been developed , which disclose a conflict that surpasses the competition for territory and political projects and land from the Agricultural Federation of the State of Rio Grande do Sul X MST, with the significant role of the State and Federal Judiciary and the Ministry of Carazinho State and Federal Public , which features the criminal action based on the National Security Law (Law No. 7170/83) and public civil actions that aimed to reduce the performance of the MST, and the resolution of the Board of the Public Prosecutor decided that the extinction of the MST. We understand that the rescue of history that the criminal act is indicative of the current scenario of growth of speeches punitive brand of neoliberal hegemony, where there is an expansion of the processes of criminalization of poverty in general and social movements vindicated, territories marked by the unveiling concept of state of exception, while presenting a line (not so) continued with the colonial past, which is based on the notion of control and submission of the popular classes through the criminal statute. / Em 2007, a partir do dossi? elaborado pelo Brigada Militar, que se propunha a investigar o Movimento dos Trabalhadores Rurais Sem Terra e seus v?nculos com as For?as Armadas Revolucion?rias da Col?mbia na regi?o Norte do Rio Grande do Sul, uma s?rie de a??es jur?dicas foram desenvolvidas, que desvelam um conflito que ultrapassa a disputa pelo territ?rio e de projetos pol?ticos e agr?rios entre Federa??o da Agricultura do Estado do Rio Grande do Sul X MST, contando com a atua??o significativa dos Judici?rios Estadual e Federal de Carazinho e do Minist?rio P?blico Estadual e Federal, onde se destacam a a??o penal com base na Lei de Seguran?a Nacional (Lei n? 7170/83) e A??es Civis P?blicas que objetivavam reduzir a atua??o do MST, bem como a delibera??o do Conselho Superior do Minist?rio P?blico que deliberou pela extin??o do MST. Entendemos que o resgate da hist?ria que gestou a a??o penal ? reveladora do cen?rio atual de crescimento dos discursos punitivos, marca da hegemonia neoliberal, onde se percebe uma amplia??o dos processos de criminaliza??o da pobreza em geral e dos movimentos sociais reivindicat?rios, desvelando territ?rios marcados pelo conceito de estado de exce??o, ao mesmo tempo em que apresenta uma linha (n?o t?o) cont?nua com o passado colonial, que se assenta na no??o de controle e submiss?o das classes populares por meio do estatuto penal.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-03-09T23:06:18Z No. of bitstreams: 1 JoseAlexMedeirosDeLima_DISSERT.pdf: 2415458 bytes, checksum: 5a42b81151bcf9ace7867b8305c4dc65 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-11T19:45:39Z (GMT) No. of bitstreams: 1 JoseAlexMedeirosDeLima_DISSERT.pdf: 2415458 bytes, checksum: 5a42b81151bcf9ace7867b8305c4dc65 (MD5) / Made available in DSpace on 2016-03-11T19:45:39Z (GMT). No. of bitstreams: 1 JoseAlexMedeirosDeLima_DISSERT.pdf: 2415458 bytes, checksum: 5a42b81151bcf9ace7867b8305c4dc65 (MD5) Previous issue date: 2015-02-27 / Alta confiabilidade, disponibilidade e toler?ncia ? falha ainda s?o problemas em aberto em arquiteturas orientadas a servi?os (SOA). A possibilidade de gera??o de aplica??es de software, integrando servi?os de dom?nios heterog?neos, de uma forma mais confi?vel, faz valer a pena enfrentar os desafios inerentes a esse paradigma. Para garantir a qualidade na composi??o desses servi?os, algumas pesquisas se esfor?am para propor a ado??o de t?cnicas de verifica??o para identificar e corrigir os erros. Nesse contexto, manipula??o de exce??o ? um poderoso mecanismo para incrementar a qualidade em SOA. Diversos trabalhos de pesquisa s?o concentrados em mecanismos para propaga??o de exce??o em servi?os web, implementados em muitas linguagens e frameworks. No entanto, para a extens?o do nosso conhecimento, n?o s?o encontrados trabalhos que avaliam esses mecanismos em SOA no que diz respeito ao framework .NET. A principal contribui??o desse trabalho ? avaliar e propor mecanismos de propaga??o de exce??o em SOA para aplica??es desenvolvidas com o framework .NET. Nessa dire??o, esse trabalho: (i) estende um estudo anterior, mostrando a necessidade de se propor uma solu??o para a propaga??o de exce??o em SOA para aplica??es desenvolvidas em .NET, e (ii) apresenta uma solu??o, tomando como base um modelo obtido a partir dos resultados encontrados em (iii) e implementa e avalia a solu??o proposta em duas aplica??es reais. / High dependability, availability and fault-tolerance are open problems in Service-Oriented Architecture (SOA). The possibility of generating software applications by integrating services from heterogeneous domains, in a reliable way, makes worthwhile to face the challenges inherent to this paradigm. In order to ensure quality in service compositions, some research efforts propose the adoption of verification techniques to identify and correct errors. In this context, exception handling is a powerful mechanism to increase SOA quality. Several research works are concerned with mechanisms for exception propagation on web services, implemented in many languages and frameworks. However, to the extent of our knowledge, no works found evaluates these mechanisms in SOA with regard to the .NET framework. The main contribution of this paper is to evaluate and to propose exception propagation mechanisms in SOA to applications developed within the .NET framework. In this direction, this work: (i)extends a previous study, showing the need to propose a solution to the exception propagation in SOA to applications developed in .NET, and (ii) show a solution, based in model obtained from the results found in (i) and that will be applied in real cases through of faults injections and AOP techniques.