• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 112
  • 51
  • 46
  • 10
  • 8
  • 8
  • 8
  • 5
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • Tagged with
  • 274
  • 104
  • 67
  • 66
  • 58
  • 52
  • 29
  • 29
  • 27
  • 23
  • 23
  • 22
  • 21
  • 19
  • 19
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
141

Testemunhas do esquecimento: uma análise do auto de resistência a partir do estado de exceção e da vida nua / Witness from oblivion: an analysis od resistance act as from the state of exception and bare life

Natália Damazio Pinto Ferreira 29 August 2013 (has links)
O Auto de Resistência, uma figura atípica no Direito Penal, é utilizado comumente pelas forças de Segurança Pública do Estado, e vêm sendo legitimado pelo discurso punitivo, presente não apenas no judiciário, mas na sociedade brasileira de forma geral. Este dispositivo é analisado neste trabalho como um sintoma de uma questão muito mais profunda, arraigada dentro da própria origem do direito. Na grande maioria dos casos, o Auto de Resistência são, na realidade, execuções sumárias realizadas pelas forças de Segurança Pública estatais, mas que tornam-se legitimadas pela alegação de legítima defesa policial. No entanto, a incidência desta violação em áreas pobres e sobre indivíduos negros, aponta que este é apenas um dos dispositivos que permitem a seletividade de um sistema penal e de segurança pública fundamentalmente racista e elitista. As categorias presentes na teoria de Giorgio Agamben e Walter Benjamin parecem lançar nova luz sobre a realidade política brasileira, principalmente, ao se analisar o aparato biopolítico da segurança pública. Este sistema, desde sua origem excludente, confirma que os oprimidos, ou homo sacer, se manifestam em nossa sociedade no pobre e negro. Estes sujeitos singulares encontram-se no estado de exceção permanente, não havendo sob a perspectiva brasileira nenhuma experiência de ruptura emancipatória, mas sim, alternações de ciclos de violência que põe o direito (como a transição do sistema oligárquico para a República, ou da ditadura para a democracia) e que mantém o direito (como a presente no atual suposto Estado de Direito). Mantiveram-se as estruturas e reforçaram-se os estereótipos penais e discriminatórios. Questiona-se então a importância de se pensar uma justiça anamnética, uma potência testemunhal do oprimido como força messiânica que faz com que o passado e o presente se unam em um só tempo na busca de reparação. / The Resistance Act, na atipical figure in Criminal Law, is utilized, commonly, by Public Security forces of the State, what has being legitimized by the punitive discourse, presents not only in the judiciary, but in brazillian society in general. This apparatus is analised in this work as a symptom of a deeper question, present inside of the origins of Law and of the State of Law. In the majority of cases, the Resistance Act use to materialize itself through summary executions made by the Public Security Forces, which became legitimized by the allegation of police self-defense. Despite that, the higher rates of this violation in poor areas e upon black individuals shows that this is just one apparatus that alows the criminal and public security system selectivity to work based on racism and elitism. The categories presented in Giorgio Agamben and Walter Benjamins theories seems to put new light upon the political brazillian reality, mainly, when we analyse the bipolitical apparatus of public security. This system, since its origin. is excludent, what confirms that the oppressed or homo sacer, manifests itself in the brazillian society through the black and the poor. This singular subjects still find themselves in a permanent state of exception, not beign through any emancipatory rupture of this system in Brazil. This system has being alternateing among cicles of violences that puts the law ( like the passage from the oligarquic system to the Republic, or from the dictatorship to democracy), and cicles of violence that maintains the law (as the one present in the supposed State of Law). The structures have being maintained, and the criminal stereotypes and discriminatory behavior have only be gaining strength. I question the importance of thinking about an anamnetic justice, an testimonial potencial expressed trough testimony as messianic strength, which make present and past coincide in order to search for reparation.
142

Omezení účinku patentu / Restricting the effects of a patent

Kronusová, Marie January 2018 (has links)
Restricting the effects of a patent These theses are focused on issues of the legal options on the exceptions and limitations to patent rights. At first there is clarified fundamental terminology, especially relation between terms patent and innovation, patentable solution and also effects of the patent. Next chapters relate to the limitation on the patent effects that is the experimental use exception and also so- called Bolar exception; using the invention for non-commercial purposes; institute of compulsory licences; limitation to extemporaneous preparation of medicines in pharmacy, use of patent law articles on foreign vessels, aircrafts, land vehicles not permanently accessing from foreign countries and institute of prior user rights. The author discusses non-commercial use of the invention, which is closely related to the experimental use exception in some countries or the legal institute of compulsory licenses, contemplating negative and positive impacts and moral aspects of that decision. Regarding the scope of the experimental use exception, the author argues that the exception in need is rather narrow rather than broader. In case of compulsory licences, the author is emphasising on fair balance between the interest of patent owner rights and the concerns of nation and also comes with...
143

Testemunhas do esquecimento: uma análise do auto de resistência a partir do estado de exceção e da vida nua / Witness from oblivion: an analysis od resistance act as from the state of exception and bare life

Natália Damazio Pinto Ferreira 29 August 2013 (has links)
O Auto de Resistência, uma figura atípica no Direito Penal, é utilizado comumente pelas forças de Segurança Pública do Estado, e vêm sendo legitimado pelo discurso punitivo, presente não apenas no judiciário, mas na sociedade brasileira de forma geral. Este dispositivo é analisado neste trabalho como um sintoma de uma questão muito mais profunda, arraigada dentro da própria origem do direito. Na grande maioria dos casos, o Auto de Resistência são, na realidade, execuções sumárias realizadas pelas forças de Segurança Pública estatais, mas que tornam-se legitimadas pela alegação de legítima defesa policial. No entanto, a incidência desta violação em áreas pobres e sobre indivíduos negros, aponta que este é apenas um dos dispositivos que permitem a seletividade de um sistema penal e de segurança pública fundamentalmente racista e elitista. As categorias presentes na teoria de Giorgio Agamben e Walter Benjamin parecem lançar nova luz sobre a realidade política brasileira, principalmente, ao se analisar o aparato biopolítico da segurança pública. Este sistema, desde sua origem excludente, confirma que os oprimidos, ou homo sacer, se manifestam em nossa sociedade no pobre e negro. Estes sujeitos singulares encontram-se no estado de exceção permanente, não havendo sob a perspectiva brasileira nenhuma experiência de ruptura emancipatória, mas sim, alternações de ciclos de violência que põe o direito (como a transição do sistema oligárquico para a República, ou da ditadura para a democracia) e que mantém o direito (como a presente no atual suposto Estado de Direito). Mantiveram-se as estruturas e reforçaram-se os estereótipos penais e discriminatórios. Questiona-se então a importância de se pensar uma justiça anamnética, uma potência testemunhal do oprimido como força messiânica que faz com que o passado e o presente se unam em um só tempo na busca de reparação. / The Resistance Act, na atipical figure in Criminal Law, is utilized, commonly, by Public Security forces of the State, what has being legitimized by the punitive discourse, presents not only in the judiciary, but in brazillian society in general. This apparatus is analised in this work as a symptom of a deeper question, present inside of the origins of Law and of the State of Law. In the majority of cases, the Resistance Act use to materialize itself through summary executions made by the Public Security Forces, which became legitimized by the allegation of police self-defense. Despite that, the higher rates of this violation in poor areas e upon black individuals shows that this is just one apparatus that alows the criminal and public security system selectivity to work based on racism and elitism. The categories presented in Giorgio Agamben and Walter Benjamins theories seems to put new light upon the political brazillian reality, mainly, when we analyse the bipolitical apparatus of public security. This system, since its origin. is excludent, what confirms that the oppressed or homo sacer, manifests itself in the brazillian society through the black and the poor. This singular subjects still find themselves in a permanent state of exception, not beign through any emancipatory rupture of this system in Brazil. This system has being alternateing among cicles of violences that puts the law ( like the passage from the oligarquic system to the Republic, or from the dictatorship to democracy), and cicles of violence that maintains the law (as the one present in the supposed State of Law). The structures have being maintained, and the criminal stereotypes and discriminatory behavior have only be gaining strength. I question the importance of thinking about an anamnetic justice, an testimonial potencial expressed trough testimony as messianic strength, which make present and past coincide in order to search for reparation.
144

Terras negras nos dois lados do Atlântico : quem são os proprietários? : estudo comparado - Cabo Verde/Brasil

Borba, Carolina dos Anjos de January 2013 (has links)
A presente tese de doutorado intenciona analisar os processos sociais que possibilitaram a ascensão de descendentes de escravos como possuidores de terra em contextos pós-coloniais. O debate ora suscitado busca eleger como foco de reflexão as relações que produzem discursos de verdade, nos quais antigos rendeiros (Cabo Verde) e quilombolas (Brasil) não se constituem facilmente na figura de proprietários. As teorias do estado de exceção leem esses fenômenos de oscilação política como uma forma peculiar de resguardar a segurança pública em um paradigma arbitrário de governo. Sendo assim, serão apresentados argumentos que vislumbrem a insegurança fundiária nos dois países em um quadro complexo do referido estado de exceção que mescla elementos étnicos e políticos. Neste fulcro, serão apresentados dois universos rurais: São Salvador do Mundo (Cabo Verde) e Canguçu, Quilombo Maçambique (Brasil) - o primeiro assistiu às fortes disputas territoriais entre morgados e rendeiros, passando pelo projeto de reforma agrária e, atualmente, encontra-se sob a posse de pequenos agricultores; o segundo experimentou as variadas transformações históricas no que se refere à questão fundiária sulina, bem como concentrou em seu espaço territorial um grande número de trabalhadores escravos no séc. XIX. As duas localidades partem de contextos sociais de trabalho subalternizado por proprietários brancos, porém encontrando destinos raciais diversos, oferecendo materiais etnográficos densos para trabalhar a questão teórica “terra-segurança”. / This doctoral thesis intends to analyze the social processes that enabled the rise of the descendants of slaves as having land in postcolonial contexts. The debate raised now seeking election as a focus for reflection relations that produce discourse of truth, in which former tenants (Cabo Verde) and maroon (Brasil) are not easily figure of the owners. Theories of the state of exception read these oscillation phenomena in politics as a peculiar form of protecting public safety in a paradigm of arbitrary government. Thus, arguments are presented that envisage tenure insecurity in both countries in a complex picture of that state of exception that ethnic and political mix. This core will be presented two rural universes: the São Salvador do Mundo (Cabo Verde) and Canguçu, Quilombo Maçambique (Brasil) - the first attended the strong territorial disputes between heirs and tenants, through the agrarian reform project and currently is under possession of small farmers, the latter tried the various historical transformations in relation to the southern land issue, and focused on their territorial space a large number of slave laborers in the century. XIX. The two locations run by social contexts of work subalternizado by white owners, but finding racially diverse destinations, offering dense ethnographic materials to work the theoretical question "land-security."
145

O estado de exceção em Giorgio Agamben: contribuições ao estudo da relação direito e poder / Giorgio Agambens state of exception: contributions to the analysis of the law and power relationship.

Guilherme de Andrade Campos Abdalla 15 June 2010 (has links)
A complexa filosofia de Giorgio Agamben convoca-nos a compreender a crise dos atuais modelos político-governamentais e a hodierna lógica da segurança que, sob a doutrina do medo orquestrado, visa à eliminação dos não-integráveis, como igualmente nos convida a abarcar na defesa de uma nova ontologia política além da tradição da soberania e do direito. Do confronto entre as conceituações semânticas do termo vida e da relação desta com o poder soberano, inclusive numa sociedade biopolítica de normalização, emerge o protagonista da obra agambeniana, a vida nua. Uma vida que não é inauguração moderna, mas atividade originária do poder soberano, quer dizer, uma vida que pode ser detectada tanto na pólis e na civitas - na figura do homo sacer -, assim como no totalitarismo moderno e, rasteiramente, na democracia em que vivemos. Trata-se de uma vida absolutamente matável e exposta à morte que, fundada numa relação de exclusão inclusiva, isto é, de abandono, revela o verdadeiro vínculo social. O que une vida e lei, violência e norma, é o estado de exceção. A norma se aplica à exceção desaplicando-se: a força-de-lei exercida no estado de exceção não põe, nem conserva, o direito, mas o conserva suspendendo-o e o põe excetuando-se. Uma figura em que factum e ius tornam-se indiscerníveis e homines sacri são produzidos a esmo; um espaço onde distinções políticas tradicionais como direita e esquerda, público e privado, perdem sua clareza e inteligibilidade. Uma indiscernibilidade que pode ser materializada no campo, seja de refugiados, seja de concentração, seja o hoje vigente e ainda inominado, de modo que o campo reflete o próprio paradigma da atualidade. Esta é a era da exceção em permanência. O caminho para a desativação dessa relação é a profanação, figura em que se busca uma nova forma-de-vida que não seja inaugurada pela lembrança teológica da política soberana e do direito, mas que reflita uma comunidade que vem capaz de desativar a máquina biopolítica produtora da vida nua e torne inoperante o atual conceito de político-jurídico: uma nova comunidade que pense além da soberania, do bando soberano e do próprio direito. Trata-se de uma comunidade de singularidades, sem identidade, sem propriedades e destinos, mas que seja pura potencialidade, que seja em si como ela é, quer dizer, que não possua qualquer tarefa enquanto fim, mas tão somente meios sem fins. / The complex philosophy of Giorgio Agamben summons us to review the crisis of the existing political-juridical models and the on-going governmental security rationale, which, based on a pre-oriented administration of fear, aims at eliminating those somehow non-adapted, as well as to join a defence towards a new political ontology beyond the tradition of sovereignty and law. Through the confront of semantically distinct definitions of life and its relation with the sovereign power, including under a biopolitical normalizing society, emerges the protagonist of Agamben`s work, the bare life. A life that is not a modern phenomena but the original activity of the sovereign power, that is, a life exposed to death that can be found either in the pólis or the civitas - in the form of homo sacer or in the modern totalitarianism as well as the democracy that we live in. A life that is permanently subject to death and, founded on an inclusive exclusion relation, that is, a relation of abandonment, exposes the real social bound. The state of exception links life and law, violence and norm. The law is applied through its own withdrawal: the force-oflaw exercised in the state of exception does not posit nor conserve the law, but conserves it through its suspension and posits it through the exception. A place where factum and ius are brought into conjunction and homines sacri are freely produced, a space where traditional political categories such as right and left, public and private, loses clearness and intelligibility. A zone of indistinction materialized in the camp, either of refugees or concentration camps or those in full force and effect and yet unnamed. The camp is the contemporary political paradigm and this is the era in which the exception becomes the rule. The way out to deactivate such relation is to profane, a political task in search for a new form-of-life that abolishes any remembrance of theological sovereign politics and law and that reflects a coming community able to turn inoperative the biopolitical machine producer of bare life: a new community that thinks beyond sovereignty, the sovereign band and the law itself. A community composed of singularities, with no identity nor properties or destinies, but pure potentiality. A community free of means in search for an end, but solely a community of pure means without ends.
146

Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas / A framework for exception handling coordination in fault-tolerant systems

David Paulo Pereira 09 March 2007 (has links)
A adoção em larga escala de redes de computadores e gerenciadores de banco de dados contribuiu para o surgimento de sistemas de informação complexos. Atualmente, estes sistemas tornaram-se elementos essenciais na vida das pessoas, dando suporte a processos de negócio e serviços corporativos indispensáveis à sociedade, como automação bancária e telefonia. A utilização de componentes na estruturação destes sistemas promove maior qualidade e flexibilidade ao produto e agiliza o processo de desenvolvimento. Entretanto, para que estes benefícios sejam totalmente observados, é fundamental que os provedores de componentes de prateleira projetem especificações precisas, completas e consistentes. Geralmente, as especificações omitem ou negligenciam o comportamento dos componentes nas situações de falha. Desta forma, a utilização de componentes não confiáveis, cujos comportamentos não podem ser inteiramente previstos, compromete seriamente o projeto de sistemas tolerantes a falhas. Uma estratégia para a especificação de componentes tolerantes a falhas é informar a ocorrência de erros através de exceções e realizar a recuperação dos mesmos por rotinas de tratamento correspondentes. A especificação deve separar claramente o comportamento normal do excepcional, destinado à recuperação do erro. Entretanto, em sistemas concorrentes e distribuídos, a especificação apenas deste tratamento local não é suficiente. Uma exceção pode ser lançada em decorrência de erros sistêmicos (i.e. problemas de rede) que afetam todo o sistema. Assim, determinadas exceções devem ser tratadas em nível arquitetural, envolvendo os demais componentes no tratamento. O modelo conceitual de ações Atômicas Coordenadas (ações CA - Coordinated Atomic actions), bastante aplicado na estruturação de sistemas tolerantes a falhas, define um mecanismo geral para a coordenação do tratamento excepcional dos componentes, que cooperam na execução das atividades e competem por recursos compartilhados. Portanto, o modelo de ações CA oferece uma solução potencialmente viável para a especificação do tratamento de exceções em nível arquitetural. Este trabalho propõe um framework para a especificação do tratamento de exceções em nível arquitetural, baseando-se no modelo de aninhamento de ações CA e utilizando a linguagem orientada a eventos CSP (Communicating Sequential Processes). Sua principal característica é prover um protocolo padronizado para a coordenação do tratamento de exceções, que envolve a cooperação dos componentes do sistema. Além disso, é apresentada uma estratégia para a verificação formal dos sistemas na ferramenta FDR (Failure Divergence Refinement), com base no modelo de refinamento por rastros. / The widespread scale adoption of computer networks and database management systems has contributed to the arising of complex information systems. Nowadays, these systems have become essential aspects in the everyday life, supporting business processes and indispensable enterprise services to society such as banking automation and telephony. The usage of components in structuring of these systems promotes higher quality and flexibility to the product and accelerates the software development process. However, in order to fully observe the benefits it is essential that the suppliers of these COTS (commercial off-the-shelf) design precise, complete and consistent specifications. Generally, the specifications omit or neglect the behavior of these components in exceptional situations. Therefore, the usage of untrustworthy components whose behavior cannot be entirely foreseen seriously compromise the design of fault-tolerant systems. One of the strategies used for the specification of fault-tolerant components is to inform the occurrence of errors through exceptions and make its recovering by the correspondent exception handling routines. The specification should separate clearly the normal behavior from the exceptional one, specially designed for error recovery. However, in concurrent and distributed systems, specification of local exception handling is not enough. An exception could be raised as a result of systemic errors (i.e. network errors) which affect the entire system, thus specific types of exceptions should be treated at an architectural level involving all the other components in this handling activity. The conceptual model of Coordinated Atomic (CA) actions, often applied in the structuring of fault-tolerant systems, defines a general mechanism for coordination of exception handling with components that cooperate while executing activities and compete for shared resources. Therefore, the model of CA actions offers a perfectly viable solution for the specification of exception handling at an architectural level. This work proposes a framework for the specification of exception handling at an architectural level, based on the nesting model of CA actions and using the event-oriented language CSP (Communicating Sequential Processes). Its main characteristic is to provide a standardized protocol for coordination of exception handling that involves the cooperation of system components. Moreover, it is presented a formal strategy for system verification using the FDR (Failure Divergence Refinement) tool, based on the traces refinement model.
147

ResistÃncias à biopolÃtica na educaÃÃo: arte ativista na exceÃÃo brasileira.

Alexandre de Albuquerque MourÃo 26 June 2013 (has links)
FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / A partir do contexto de uma realidade BiopolÃtica, articulada com as doutrinas neoliberais, apontadas por Michel Foucault, procuraremos, em um primeiro momento, relacionar esse poder sobre as espÃcies e as populaÃÃes, com os conceitos de Estado de ExceÃÃo e Homo Sacer desenvolvidos por Giorgio Agamben. à dizer, situaremos de que maneira os temas referentes à exceÃÃo brasileira â a influÃncia da Ditadura Militar na democracia â se articulam com a educaÃÃo. Nesse sentido, essa dissertaÃÃo tem como objetivo realizar uma pesquisa das prÃticas de arte ativista, as denominadas intervenÃÃes urbanas educativas, Ãs biopolÃticas incrementadas do perÃodo da Ditadura Militar atà hoje. Trata-se de pesquisar de que maneira essas intervenÃÃes urbanas se colocam como estratÃgias de resistÃncia educacional ao campo biopolÃtico. Como metodologia, escolheremos a pesquisa bibliogrÃfica e documental em livros, fotografias, vÃdeos e imagens referentes à temÃtica. Apresentaremos as estratÃgias de resistÃncia à biopolÃtica, com foco na apresentaÃÃo dos trabalhos de trÃs coletivos que vem desenvolvendo IntervenÃÃes Urbanas, de arte e resistÃncia ao modelo de exceÃÃo brasileiro iniciado pela Ditadura Militar e presente na atualidade. Analisaremos experiÃncias do coletivo fortalezense Aparecidos PolÃticos, do paulista Coletivo PolÃtico QUEM e do nacional Levante Popular da Juventude. SerÃo apresentadas algumas intervenÃÃes dos coletivos realizadas entre os anos de 2010 e 2012 centradas nas questÃes concernentes Ãs exceÃÃes brasileiras. Finalizaremos a dissertaÃÃo relacionando com os aportes teÃricos levantados, os trabalhos desses coletivos, e demonstrando de que forma essas intervenÃÃes urbanas educativas vÃm, de alguma maneira, quebrando consensos estabelecidos em relaÃÃo à educaÃÃo e à realidade. / At first, from the perpective of a biopolitic reality and neoliberal doctrine pointed by Michel Focault, this writting will describe the interectation between the power over species and population with the concepts of "Exception State" and "Homo Sacer", which was developed by Giorgio Agamben. In addition, it will be made referance of how, themes such as the brazilian exception - the influence of military dictactorship in democracy- and education can be articulated. The aim of this dissertation is to research how the artistic intervention on urban areas about the military dictatorship, named as "education urban intervention" can be used as educational strategy in the biopolitc field. The methodology we choose was the bibliographic and documental research, books, photography, videos and images refering to the topic were used. Whatsmore, there will be presented the work of three groups, called "coletivos" which have been using those urban interventions and its strategies. The name of those are : "Aparecidos PolÃtcos" from Fortaleza , "Coletivo PolÃtico QUEM" from SÃo Paulo and the national wide "Levante Popular da Juventude", This intervention are between the years 2010 and 2012 and are linked with the brazilian exception. The dissertation ends with the relationship of the studieded theories, the work of theses colectives and a demonstration at the way this educational urban interventions changes the way people see the education and the reallity.
148

CatchML: a modeling language for context aware exception handling verification and specification in ubiquitous systems / CatchML: uma linguagem de domÃnio especÃfico para modelagem do tratamento de exceÃÃo sensÃvel ao contexto

Rafael de Lima 28 August 2013 (has links)
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / In ubiquitous systems, due to the complexity added by the use of contextual information, the application of context aware exception handling (CAEH) techniques has many challenges and in the literature several approaches have been found to define concepts and abstractions useful for modeling CAEH. However, only one of these approaches proposes a method for specification and verification of models in the field of ubiquitous systems, which provides a tool for specifying the CAEH model using a Java API, and also generates an error report to a text file. The disadvantage of this approach is that the designer should strive to understand programming details that are irrelevant to the analysis process of the exceptional behavior of the system. Then, this work aims to propose a domain specific language for modeling CAEH, which provides abstractions and constructors that allow to express relevant concepts and make the task of designing CAEH models simpler and more intuitive. In addition, the language is integrated with the tool mentioned before that allows automatic model verification. The errors generated by the verifier are now shown directly in the source code making their identification and correction easier for the designer. In order to evaluate the language, a case study is conducted to provide evidence of its viability as an alternative to modeling CAEH. / Em sistemas ubÃquos, devido à complexidade inserida pela utilizaÃÃo de informaÃÃes contextuais, a aplicaÃÃo de tÃcnicas de tratamento de exceÃÃo sensÃvel ao contexto (TESC) tem sido objeto de estudo para muitos pesquisadores. Na literatura sÃo encontradas diversas abordagens que definem conceitos e abstraÃÃes Ãteis para modelagem de TESC. Entretanto, apenas uma dessas abordagens propÃe um mÃtodo para especificaÃÃo e verificaÃÃo de modelos no domÃnio de sistemas ubÃquos o qual fornece uma ferramenta para especificaÃÃo do modelo de TESC atravÃs de uma API Java, e gera ainda um relatÃrio de erros em um arquivo texto. A desvantagem dessa abordagem à que o projetista deve se esforÃar para entender detalhes de programaÃÃo irrelevantes ao processo de anÃlise do comportamento excepcional do sistema. Esta dissertaÃÃo tem portanto como objetivo propor uma linguagem de domÃnio especÃfico para modelagem de TESC, com o intuito de oferecer abstraÃÃes e construtores que permitem expressar conceitos pertinentes e tornar a tarefa de projetar modelos de TESC mais simples e intuitiva. AlÃm disso, a linguagem à integrada com a ferramenta citada anteriormente, o que permite realizar a verificaÃÃo do modelo de forma automÃtica. Os erros gerados pelo verificador sÃo mostrados agora diretamente no cÃdigo do modelo facilitando a identificaÃÃo e correÃÃo dos mesmos pelo projetista. A fim de avaliar a linguagem, um estudo de caso à realizado para fornecer indÃcios de sua viabilidade como alternativa para modelagem de TESC.
149

Das migrações forçadas à contenção territorial: as geografias do campo de refugiados de Dadaab no Quênia.

SILVA, Daniela Florêncio da 06 May 2016 (has links)
Submitted by Irene Nascimento (irene.kessia@ufpe.br) on 2016-10-06T20:07:59Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO FINAL DANIELA FLORÊNCIO DA SILVA GEOGRAFIA.compressed (1).pdf: 12397908 bytes, checksum: 6b3055fa006076837fe9ef09302e6b56 (MD5) / Made available in DSpace on 2016-10-06T20:07:59Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO FINAL DANIELA FLORÊNCIO DA SILVA GEOGRAFIA.compressed (1).pdf: 12397908 bytes, checksum: 6b3055fa006076837fe9ef09302e6b56 (MD5) Previous issue date: 2016-05-06 / Capes / A seguinte pesquisa tem como objetivo a compreensão dos fatores estruturantes da dinâmica territorial do campo de refugiados de Dadaab no Quênia. Formado em 1991 pela migração forçada do povo somali, em virtude da eclosão da guerra civil em seu país, esse campo de refugiados, hoje, abriga 348 mil pessoas de diferentes nacionalidades e contextos de deslocamento forçado. A dimensão desse fenômeno, não é só percebida por ser o maior campo de refugiados no mundo, mas pela complexidade de fatores envolvidos em sua formação. A sua origem é aqui relacionada, desde o processo de migração forçada. A suspensão da vida dessas pessoas, que ao ultrapassarem a fronteira política de seus países, tornam-se refugiadas, não se refere apenas à perda de seus direitos políticos ou de sua cidadania, mas a uma suspensão de “sentidos” e de continuidade ocasionada pela sua contenção territorial nesse campo de refugiados. A sua jornada ou movimento em busca de um refúgio temporário é paralisada e transformada em espera e contenção. O campo de refugiados de Dadaab, formado em um contexto de “emergência”, transformou-se em um território de exceção, através de uma prática de contenção territorial informal adotada pelo governo queniano. A persistência de suas vidas no campo, em meio a muitas proibições, desenvolveu um processo de reterritorialização precário, mas confrontado por resistências, contornos e permeado por transterritorialidades e encontros. / The following research aims to understand the structural factors of territorial dynamics of the Dadaab refugee camp in Kenya. Formed in 1991 by the forced migration of the Somali people, because of the outbreak of civil war in their country, this refugee camp, today, houses 348,000 people of different nationalities and forced displacement contexts. The scale of this phenomenon is not only perceived to be the largest refugee camp in the world, but by complexity of factors involved in their formation. Its origin is related here, from the forced migration process. The suspension of their lives, that to overcome the political borders of their countries, they become refugees, refers not only to the loss of political rights, or their citizenship, but a suspension of "senses" and continuity occasioned by their territorial containment in this refugee camp. Your journey or movement, seeking temporary refuge, is paralyzed and transformed in waiting and containment. The Dadaab refugee camp, formed in a context of "emergency", turned into a territory of exception, through an informal practice of territorial containment adopted by the Kenyan government. The persistence of their lives in this camp, among many bans, developed a process of precarious reterritorialization, but confronted by resistance, contours and permeated by transterritorialities and encounters.
150

Projeto e implementação de um mecanismo de tratamento de exceções coordenadas para arquiteturas de componentes de serviços / Design and implementation of a coordinated exception handling mechanism for service component architecture

Leite, Douglas Siqueira 17 August 2018 (has links)
Orientador: Cecília Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-17T14:44:52Z (GMT). No. of bitstreams: 1 Leite_DouglasSiqueira_M.pdf: 1797650 bytes, checksum: ce96fe468509c785b633e1cde43729dd (MD5) Previous issue date: 2010 / Resumo: Arquitetura Orientada a Serviços (Service-Oriented Architecture - SOA) _e um modelo arquitetural que visa melhorar a eficiência, agilidade e a produtividade de aplicações empresariais através do uso de serviços e composições de serviços, as quais podem ser executadas tanto de forma síncrona quanto assíncrona. Diferentes tecnologias de software podem ser usadas para implementar SOA, tais como Web services e Arquitetura de Componentes de Serviços (Service Component Architecture - SCA). A primeira _e baseada em padrões XML, ao passo que a segunda provê um modelo de componentes para implementação de serviços e composições de serviços. Em particular, quando composições de serviços assíncronos são executadas, um ou mais erros podem ocorrer concorrentemente nos diferentes serviços, possivelmente ao mesmo tempo, afetando a dependabilidade da composição. Dessa forma, mecanismos de tolerância a falhas são necessários a _m de prevenir que um defeito se manifeste na composição. Neste trabalho, apresentamos o projeto e implementação de um mecanismo de tratamento de exceções coordenadas para arquiteturas orientadas a serviços que permite a criação de composições de serviços assíncronos tolerante a falhas de uma forma flexível. Mais especifiçamente, nossa solução _e baseada em um mecanismo de tratamento de exceções global, definido pelo modelo Guardian, já que este oferece uma solução mais geral e flexível quando comparado com outras abordagens, tais como soluções baseadas em ações atômicas coordenadas. Nosso framework, denominado Guardian-SCA, foi implementado como parte do projeto Apache Tuscany SCA, usando o modelo de extensão do Tuscany e programação orientada a aspectos, aumentando assim a flexibilidade do framework / Abstract: Service-Oriented Architecture (SOA) is an architectural model that aims to enhance the efficiency, agility, and productivity of an enterprise by structuring services in terms of services compositions, which can be executed either synchronously or asynchronously. Different software technologies can be used to implement SOA, such as Web services and Service Component Architecture (SCA). The former is based on XML-based standards, while the latter provides a component model for implementing services and service compositions. In particular, when asynchronous services compositions are executed, one or more errors can occur concurrently, possibly at same time, affecting the composition's dependability. In this way, fault tolerance mechanisms are necessary in order to prevent the services compositions from reaching a failure state. In this work, we present the design and implementation of a coordinated exception handling mechanism, applicable to service-oriented architectures, which allows the creation of fault-tolerant asynchronous service compositions. More specifically, our solution is based on a global exception handling mechanism defined by the Guardian model, since it is more general and flexible when compared to other approaches, like CA Actions-based solutions. Our framework, named Guardian-SCA, was implemented as a part of the Apache Tuscany SCA project, using the Tuscany extension model and aspect-oriented programming with the aim to increase the framework's exibility / Mestrado / Sistemas de Informação / Mestre em Ciência da Computação

Page generated in 0.0573 seconds