Respostas militarizadas ao conflito em área pastoril e aos crimes contra a vida selvagem no Quêni... more Respostas militarizadas ao conflito em área pastoril e aos crimes contra a vida selvagem no Quênia - incluindo o colapso de populações de elefantes e rinocerontes - muitas vezes não atendem aos padrões de direitos humanos e prejudicam as capacidades locais de sustentabilidade, paz e meios de subsistência alternativos. A repressão do Estado encoraja a violência extrajudicial e introduz novas armas que muitas vezes entram ilicitamente no mercado. Este artigo descreve abordagens alternativas enraizadas nos direitos humanos, no Estado de Direito e na cooperação e assistência internacionais, incluindo o uso de instrumentos regionais que regulam o comércio de armas pequenas e leves (SALW, na sigla em inglês para Small Arms and Light Weapons), incluindo o Tratado de Comércio de Armas (ATT, na sigla em inglês para Arms Trade Treaty) de 2013. O artigo baseia-se no trabalho de campo no Quênia e na observação participante na defesa do ATT.
2009 Ieee International Conference on Systems Man and Cybernetics, Oct 1, 2009
Task analytic models are extremely useful for human factors and systems engineers. Unfortunately,... more Task analytic models are extremely useful for human factors and systems engineers. Unfortunately, there is no standard language for describing task models. We present an XML-based task analytic modeling language. The language incorporates features from operator function model and extends them with additional task sequencing options and conditional constraints. This language's use is illustrated via a radio alarm clock example.
Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting Human Factors and Ergonomics Society. Annual Meeting, Sep 1, 2010
Breakdowns in complex systems often occur as a result of system elements interacting in ways unan... more Breakdowns in complex systems often occur as a result of system elements interacting in ways unanticipated by analysts or designers. In systems with human operators, human-automation interaction associated with both normative and erroneous human behavior can contribute to such failures. This paper presents a method for automatically generating task analytic models encompassing both erroneous and normative human behavior from normative task models. The resulting model can be integrated into a formal system model so that system safety properties can be formally verified with a model checker. This allows analysts to prove that a human automation-interactive system (as represented by the model) will or will not satisfy safety properties with both normative and generated erroneous human behavior. This method is illustrated with a case study: the operation of a radiation therapy machine. In this example, a problem resulting from a generated erroneous human action is discovered. Future ext...
Risk and its management are social phenomena, constructed through dynamic political, cultural, an... more Risk and its management are social phenomena, constructed through dynamic political, cultural, and economic systems. Those wishing to publicize and manage the risk posed by legacy underwater munitions would benefit from an awareness of the political context in which they work. The interaction of various local, national, and global political interests will enable certain kinds of risk management action while also constraining others. This article examines such issues through a case study of politics of underwater munitions ...
Abstract This article will show how trends of globalization have transformed both the proliferati... more Abstract This article will show how trends of globalization have transformed both the proliferation of and efforts to control small arms and light weapons (SALW). We first examine how the distribution of small arms has become more diffused, moving away from a state-centric model of 'arms transfers' to circulations of SALW through outsourced networks comprising a myriad of public and private actors. We then show how the post-Cold War international environment has allowed progressive norm entrepreneurs like middle ...
Respostas militarizadas ao conflito em área pastoril e aos crimes contra a vida selvagem no Quêni... more Respostas militarizadas ao conflito em área pastoril e aos crimes contra a vida selvagem no Quênia - incluindo o colapso de populações de elefantes e rinocerontes - muitas vezes não atendem aos padrões de direitos humanos e prejudicam as capacidades locais de sustentabilidade, paz e meios de subsistência alternativos. A repressão do Estado encoraja a violência extrajudicial e introduz novas armas que muitas vezes entram ilicitamente no mercado. Este artigo descreve abordagens alternativas enraizadas nos direitos humanos, no Estado de Direito e na cooperação e assistência internacionais, incluindo o uso de instrumentos regionais que regulam o comércio de armas pequenas e leves (SALW, na sigla em inglês para Small Arms and Light Weapons), incluindo o Tratado de Comércio de Armas (ATT, na sigla em inglês para Arms Trade Treaty) de 2013. O artigo baseia-se no trabalho de campo no Quênia e na observação participante na defesa do ATT.
2009 Ieee International Conference on Systems Man and Cybernetics, Oct 1, 2009
Task analytic models are extremely useful for human factors and systems engineers. Unfortunately,... more Task analytic models are extremely useful for human factors and systems engineers. Unfortunately, there is no standard language for describing task models. We present an XML-based task analytic modeling language. The language incorporates features from operator function model and extends them with additional task sequencing options and conditional constraints. This language's use is illustrated via a radio alarm clock example.
Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting Human Factors and Ergonomics Society. Annual Meeting, Sep 1, 2010
Breakdowns in complex systems often occur as a result of system elements interacting in ways unan... more Breakdowns in complex systems often occur as a result of system elements interacting in ways unanticipated by analysts or designers. In systems with human operators, human-automation interaction associated with both normative and erroneous human behavior can contribute to such failures. This paper presents a method for automatically generating task analytic models encompassing both erroneous and normative human behavior from normative task models. The resulting model can be integrated into a formal system model so that system safety properties can be formally verified with a model checker. This allows analysts to prove that a human automation-interactive system (as represented by the model) will or will not satisfy safety properties with both normative and generated erroneous human behavior. This method is illustrated with a case study: the operation of a radiation therapy machine. In this example, a problem resulting from a generated erroneous human action is discovered. Future ext...
Risk and its management are social phenomena, constructed through dynamic political, cultural, an... more Risk and its management are social phenomena, constructed through dynamic political, cultural, and economic systems. Those wishing to publicize and manage the risk posed by legacy underwater munitions would benefit from an awareness of the political context in which they work. The interaction of various local, national, and global political interests will enable certain kinds of risk management action while also constraining others. This article examines such issues through a case study of politics of underwater munitions ...
Abstract This article will show how trends of globalization have transformed both the proliferati... more Abstract This article will show how trends of globalization have transformed both the proliferation of and efforts to control small arms and light weapons (SALW). We first examine how the distribution of small arms has become more diffused, moving away from a state-centric model of 'arms transfers' to circulations of SALW through outsourced networks comprising a myriad of public and private actors. We then show how the post-Cold War international environment has allowed progressive norm entrepreneurs like middle ...
Uploads
Papers by Matthew Bolton