Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

Racionalidade e pesquisa comportamental no direito: avanço científico ou retórica?

Esse é um trabalho sobre estudos comportamentais que questionam a confiabilidade empírica das premissas de racionalidade das ciências sociais. Décadas de pesquisa comportamental vêm nos ensinando é que a grande maioria das tendências cognitivas identificadas e comprovadas, que se afastam dos pressupostos da Teoria da Escolha Racional não são de forma alguma aleatórias, mas ao invés, são sistemáticas e previsíveis. A ideia unificando esse trabalho é de que a literatura de pesquisa comportamental pode nos permitir modelar e prever comportamentos relevantes para o direito, com pressupostos mais realistas sobre o comportamento humano. No entanto, alguns pesquisadores pintam uma figura entusiástica sobre o potencial que tal pesquisa possui para informar a análise jurídica e, assim, cometem algumas desatenções ao defender generalizações não embasadas por evidências científicas, quase aproximando-se do uso de uma mera retórica. Dado esse cenário, devemos procurar garantir que a incorporação das evidências da pesquisa comportamental no discurso jurídico seja acompanhada de maior ênfase na pesquisa empírica em ambientes específicos. Esse trabalho possui três objetivos. O primeiro é analisar as diferentes concepções de racionalidade e caso elas devem manter sua posição privilegiada nas ciências sociais. O segundo é tentar entender melhor a literatura de pesquisa comportamental que questionam a validade empírica dos axiomas da Teoria da Escolha Racional. O terceiro é identificar problemas na forma pela qual a pesquisa comportamental tem sido incorporada no discurso jurídico.

A efetividade dos códigos de ética empresarial na percepção do executivo brasileiro de empresas nacionais sujeitas à lei Sarbanes-Oxley – Uma análise exploratória baseada no modelo de Singh

As empresas buscam criar um contexto capacitante no qual a confiança é elemento preponderante para tais objetivos. Em 2002, após os conhecidos escândalos de governança corporativa, o Congresso dos Estados Unidos da América (EUA) sancionou a Lei Sarbanes-Oxley (SOx), com o objetivo de proteger os investidores e resgatar a confiança abalada. Empresas norte-americanas de capital aberto foram obrigadas a adotar códigos de ética corporativos, garantindo a máxima efetividade na prevenção de fraudes praticadas por empregados, sob pena de pesadas sanções cíveis e criminais para as empresas e seus executivos. O presente estudo visa verificar a efetividade dos Códigos de Ética Empresarial (CEE) na percepção do empregado brasileiro de empresa nacional subordinada à SOx. Com base no modelo de Singh (2011), foram analisadas 18 variáveis independentes de efetividade dos códigos de ética corporativos. Os resultados revelaram que 84,4% dos respondentes ao questionário avaliaram positivamente os CEE de suas respectivas empresas. Mas o modelo de Singh (2011) não refletiu integralmente os fatores por ele identificados, permitindo a proposição de um novo modelo de efetividade dos CEE. Novas pesquisas deverão contemplar a análise dos aspectos culturais brasileiros que podem impactar na efetividade dos CEE. Estudos de caso, considerando o universo de funcionários de uma única empresa, poderão aprofundar as pesquisas sobre o tema, além de possibilitar à empresa estudada um diagnóstico mais real da efetividade de seu código de ética.

What causes violent crime?

This study uses a new data set of crime ratesfor a large sample of countriesfor the period 1970- 1994, based on information from the United Nations World Crime Surveys, to ana/yze the determinants ofnational homicide and robbery rates. A simple model of the incentives to commit crimes is proposed, which explicit/y considers possible causes of the persistence of crime over time (criminal inertia). Several econometric mode/s are estimated, attempting to capture the . determinonts of crime rates across countries and over time. The empirical mode/s are first run for cross-sections and then applie'd to panel data. The former focus on erplanatory variables that do not change markedly over time, while the panel data techniques consider both the eflect of the business cyc1e (i.e., GDP growth rate) on the crime rate and criminal inertia (accountedfor by the inclusion of the /agged crime rate as an explanatory variable). The panel data techniques a/so consider country-specific eflects, the joint endogeneity of some of the erplanatory variables, and lhe existence of some types of measurement e"ors aJjlicting the crime data. The results showthat increases in income inequality raise crime rates, dete"ence eflects are significant, crime tends to be counter-cyclical, and criminal inertia is significant even after controlling for other potential determinants of homicide and robbery rates.

O insider trading no direito brasileiro

O insider trading é ilícito de elevado potencial danoso, pois impacta não só as pessoas diretamente relacionadas com a operação realizada com a informação privilegiada, mas também o mercado de capitais como um todo, afetando a confiança dos investidores. É importante, portanto, a repressão severa do ilícito nas esferas administrativa, civil e penal, destacando-se o papel regulador da Comissão de Valores Mobiliários, enquanto representante da intervenção do poder estatal no âmbito do mercado de capitais. Não obstante, para a responsabilização pelo ilícito do insider trading, deve-se exigir um conjunto probatório robusto, ainda que apenas indiciário. A utilização de uma espécie de muralha segregadora, se minimiza situações de conflito de interesses ao evitar o acesso amplo a informações relevantes não divulgadas ao mercado, não é, por si só, capaz de excluir responsabilidade por eventual insider trading. Importante ter cuidado com construções teóricas, como a da “mente corporativa”, capazes de esvaziar de utilidade barreiras como uma Chinese Wall. Impossível transpor a teoria do domínio do fato à apuração de ilícitos de insider trading.

O debate da maioridade penal no Congresso Nacional: mapeamento das propostas legislativas

O debate a respeito da maioridade penal no Congresso Nacional vai além da discussão da Proposta de Emenda Constitucional nº 171 de 1993, uma vez que a conjuntura social e política, somada ao contexto deliberativo da proposta na Câmara dos Deputados, reacendeu o diálogo na sociedade. Diante disso, realiza-se um mapeamento da discussão da maioridade penal para se saber a extensão da disputa no Congresso Nacional. Para tanto, foram coletados dados e informações disponibilizados pela Câmara dos Deputados e pelo Senado Federal, identificando-se as propostas de emenda constitucional e os projetos de lei que abordam a questão da diminuição da idade mínima para a responsabilização penal. Ademais, a partir dessa seleção de propostas e projetos legislativos foi possível identificar aspectos pertinentes acerca do debate, como o posicionamento dos parlamentares e dos partidos políticos, os argumentos trazidos por ambas as partes da discussão e os interesses que poderão ser atingidos pela redução da idade penal. Além disso, é feito um breve estudo relativo ao Estatuto da Criança e do Adolescente e à contextualização da criminalidade juvenil no Brasil, visando facilitar o dimensionamento da discussão que se desenvolve no Congresso a respeito da inimputabilidade penal das crianças e dos adolescentes garantidos pela Constituição Federal e pelo Estatuto da Criança e do Adolescente. Questões importantes, como a Doutrina da Proteção Integral e os fatores que explicam a criminalidade juvenil, são abrangidos para dar suporte ao mapeamento e à coerência do presente trabalho.

"Não compre, plante"? A tipificação penal das situações de cultivo de Canábis pelo Tribunal de Justiça de São Paulo

A Lei nº 11.343 de 23 de agosto de 2006 (Lei de Drogas) instituiu o Sistema Nacional de Políticas Públicas sobre Drogas e criou as diretrizes para a política de drogas brasileira. Dentre o conjunto de medidas trazidas pela lei em seu dispositivo criminal está a criação de um tipo penal específico de cultivo de plantas para produção de drogas para consumo pessoal (art. 28, §1º). O plantio para consumo recebe o mesmo tratamento jurídico-penal que o porte para consumo (art. 28), sendo previstas sanções alternativas à privação de liberdade. O §2º do art. 28 da Lei de Drogas estabelece os critérios que as autoridades competentes do sistema de justiça criminal deverão considerar na tipificação penal das situações de cultivo. Este trabalho se debruça sobre a tipificação penal de situações de cultivo de canábis em acórdãos do Tribunal de Justiça de São Paulo. A problemática de pesquisa aqui desenvolvida discute especificamente quais são os argumentos e como eles são apresentados nas decisões para justificar a determinação de que uma situação de cultivo é para fins de tráfico ou de consumo pessoal. O trabalho busca identificar como os critérios do §2º do art. 28 da Lei de Drogas são apresentados na fundamentação de decisões judiciais em que se discute na esfera criminal se uma situação de cultivo é para “consumo pessoal” ou “destinada a terceiros”. Uma pergunta central norteia a pesquisa realizada: quais os elementos e de que forma eles são utilizados nas decisões analisadas para tipificação do plantio para consumo pessoal (art. 28, §1º, da Lei de Drogas) e do plantio destinado a fornecer drogas a terceiros (art. 33, §1º, II)? Para enfrentar a problemática de pesquisa utilizamos a ferramenta de busca de acórdãos disponibilizada no sítio eletrônico do Tribunal de Justiça de São Paulo. Foram analisados 135 acórdãos do TJSP que enfrentam diretamente a controvérsia relativa à tipificação penal de situações de cultivo de canábis. Os acórdãos foram proferidos entre os anos de 1998 e 2014 e foram selecionados segundo os critérios especificados no capítulo metodológico da dissertação. Os resultados quantitativos da pesquisa dizem respeito às informações gerais dos processos, elementos de prova mencionados nos acórdãos, características das situações de cultivo e fundamentação da tipificação penal. A discussão qualitativa sobre os resultados da pesquisa é promovida em quatro frentes: (i) interpretação e valoração da quantidade de drogas; (ii) antecedentes criminais, circunstâncias da prisão e do agente; (iii) materiais de venda e outros elementos relevantes na tipificação penal; e (iv) características do conjunto probatório. As questões discutidas nestas frentes circunscrevem o problema de pesquisa e é a partir delas que é feita a análise apresentada neste trabalho. Esperamos conseguir contribuir para melhor compreensão (i) da determinação da finalidade do cultivo e (ii) das implicações jurídicas que decorrem da opção legislativa pela não utilização de critérios quantitativos na definição dos crimes de tráfico de drogas e plantio para consumo.

Contested dominance modifies the anovulatory consequences of social subordination in female marmosets

Dominance status among female marmosets is reflected in agonistic behavior and ovarian function. Socially dominant females receive submissive behavior from subordinates, while exhibiting normal ovulatory function. Subordinate females, however, receive agonistic behavior from dominants, while exhibiting reduced or absent ovulatory function. Such disparity in female fertility is not absolute, and groups with two breeding females have been described. The data reported here were obtained from 8 female-female pairs of captive female marmosets, each housed with a single unrelated male. Pairs were classified into two groups: “uncontested” dominance (UD) and “contested” dominance (CD), with 4 pairs each. Dominant females in UD pairs showed significantly higher frequencies (4.1) of agonism (piloerection, attack and chasing) than their subordinates (0.36), and agonistic behaviors were overall more frequently displayed by CD than by UD pairs. Subordinates in CD pairs exhibited more agonistic behavior (2.9) than subordinates in UD pairs (0.36), which displayed significantly more submissive (6.97) behaviors than their dominants (0.35). The data suggest that there is more than one kind of dominance relationship between female common marmosets. Assessment of progesterone levels showed that while subordinates in UD pairs appeared to be anovulatory, the degree of ovulatory disruption in subordinates of CD pairs was more varied and less complete. We suggest that such variation in female-female social dominance relationships and the associated variation in the degree and reliability of fertility suppression may explain variations of the reproductive condition of free-living groups of common marmosets

A cidade sem barreiras é para todos?: avaliação das condições de deslocamento no bairro da Cidade Alta, Natal/RN

In this present work, the conditions of displacements and the behaviors of the users are evaluated, face to the physical adequacies in accessibility in the inserted area in the central quadrilateral of the Quarter of Cidade Alta, in the City of Natal/RN, space clipping established by its great meaning historical and cultural. For this reason such area was a target of an integrated actions plan during the years of 1993 and 1998, with the implantation of part of the Project CIDADE SEM BARREIRAS (City without Barriers) and, later, the implementation of the Project CIDADE PARA TODOS's proposals (City for All), having as supports the constant Brazilian norms inserted into the NB9050/1994 and in the Municipal law number 4.090/92, effective ones in the period of the interventions. Considering that the carried through actions at the time were directed to the elimination of the architectural barriers to guarantee the right to go and to come, the research received a human universe formed by all the people in situation of displacement in the central area of the interventions in the quarter of the Cidade Alta, independently of their locomotive or sensorial conditions, emphasizing the aspects most excellent how much to the accessibility of the sidewalk, as promotional of mobility, integration and urban organization, as well as of the public squares of that one quadrilateral, conceived, originally, as spaces of aggregation and social inclusion. The work appealed to the direct comment and the gotten results had been collated with the ex port facto law and technique norms, of the year of 2004, and with the legal devices contained in the Federal Decree number 5.296/2004, as way to certify the levels of efficiency of these adaptations in that it says respect to the current conditions of demanded accessibility and urban mobility

Estilo de vida individual de universitários jovens com excesso de peso da Universidade Católica de Murcia-Espanha

Individual lifestyle includes health and risk behaviors that can altar health status. Excess weight is a public health problem of modern civilization and there is an estimated mean prevalence of 45% in European countries. In Spain, the Murcia Region is an area of high morbidity and mortality from cardiovascular disorders. In this study we assess the differences in health and risk behaviors in ove/weight and normal weight undergraduates at the Universidad Católica San Antonio de Murcia (UCAM). Methods: Transversal design of parallel groups (overweight - cases and normal weight - control) , formed using the anthropometric technique. A questionnaire applied to a sample of 471 undergraduates of either sex, between the ages of 18 and 29 years, enrolled in 4 bachelor degree courses (ADE, CA, PER, PUB) at UCAM. We performed a standardized measurement of body mass (weight in kg), height (in meters) using a Seca® scale with calibrated stadiometer, waist and hip circumferences (in cm) with an inelastic tape and skinfolds thickness (triceps and subscapular in mm) with a Holtain® caliper, to calculate body mass index (BMI), waist-to-hip ratio (WHR) and the sum of skinfolds (SSF). We applied a lifestyle questionnaire about alcohol and tobacco consumption, knowledge and behaviors related to health indicators (arterial pressure and cholesterol), diet and physical activity. The information was collected in April and May, 2001 at the UCAM laboratory of Applied Nutrition. Statistical analysis: analysis of independent groups, contingency tables that reveal which qualitativa variables show differences and associations between the groups, Pearson's chi-square,and a significance levei of p < 0.05 followed by a residual analysis (1.96). Descriptive statistics (mean and standard deviation) were used to establish the two groups: case and contrai with 65 men and 26 women each who had BMI < 25 kg/m2. Results: A total of 65 of the men assessed (14%) and 26 (6%) of the women were overweight. Mean body mass index of the case group was 27. 78 ±: 2.83 kg/m2 in the men and 26.26 ± 1.37 kg/m2 in the women, while contrai group men had mean BMI of 22.36 ± 1.72 kg/m2, while for the women it was 20.76 ±: 2.13 kg/m2. The self-declared values of weight and height were underestimated, but with high accuracy, sensitivity and specificity. Thus, these can be used to calculate the BMI of overweight Spanish undergraduates. Regular vigorous physical activity was observed only in normal weight men. The analysis showed the following significant differences for the qualitativa variables of the two groups. The contrai group was interested in arterial hypertension, believed that they were not overweight, that they had no abdominal fat, and had not considered controlling 'fatty food consumption. Those who thought of controlling it sometimes, did so without professional help. However, part of the overweight group believed that they were overweight and had abdominal fat between average and considerable, had often or always considered controlling fatty foods and had often or always tried to control consumption with the help of professionals. They had always thought of engaging in physical activities, unlike the normal weight individuals. Nearly all (95%) of the overweight undergraduates and most (75%) of the normal weight group reported that they sometimes or always controlled fatty food ingestion. Mean physical activity was nearly twice as high in the summer than in the winter. Conclusions: The overweight undergraduates in this sample displayed a lifestyle with a greater number of healthy behaviors when compared to normal weight individuals

A construção das representações sociais na relação da polícia militar e a sociedade Aracajuana

In recent years, issues involving public safety have gained more prominence in scientific debates, the media, and common sense, because undoubtedly the feeling of fear and insecurity caused by the increase in violence overall, has spread like construction element of social representations, both in individual levels, as well as collectively. Violence is a social phenomenon existing in human manifestations, from the older societies, ie it was present in all historical periods, but in different ways in the subjective and objective, having had the task of being the central element in modeling process for the formation of individual behavior, both in older societies as in modern society. However, it has a peculiar feature of acquiring new contours to the extent that the individual and collective behaviors are modified in relation individual-violence. In this sense, the institutions that establish the order from the control of violence, have their social representations in the context of social relationships permeated by elements of violence, fear and insecurity, that shift the subjective feeling of insecurity, or existential, for a concrete plan and goal, namely to the level of physical insecurity in daily life in the modern world. The objective of this study was to capture the construction of social representations of the population in Aracaju on the police institution and the figure of the policeman in the contemporary context. We focus our attention only to the institutions of order, which constitute the field of the apparatus of public security and social protection of our state

Os processos comunicacionais na festa de São Sebastião Bairro do Alecrim Natal/RN

Parties are one of the most communicative languages, full of contents and symbolic meanings. The devotion to the saints is a kind of communication. In this thesis communicational processes, its languages and its flows are sought at the Saint Sebastian s party, at Alecrim neighborhood, in Natal/RN. The view is focused on the individuals and collective behaviors, in a dynamic which involves the saint s interlocutors at the party space, which supports the pre-novena, the novena and the procession. It tries to show through observation, ethnography and interviews the elements that composes the symbolic language present on the gestures, on the performances and bodies movements, on the clothing colors, as well as on what is said orally or in silence, on the spontaneous prayers or pre-elaborated ones, on the written messages that the devout addresses to the saint at the patron s festivity

Efetivação da garantia de defesa no estado constitucional de direito: colisão entre o poder punitivo e garantia de defesa

The domination of the violence for the Rule of law awakened a tension between the practice of the punitive power and the right to counsel. However, throughout the recent history of the Criminal law, this shock of forces has been determined for the punitive power. In this perspective, the present work intends to submit the guarantee of defense to a critical judgment, in search to conciliate its content to the Constitutional State of Right. For in such a way, it will be necessary to recognize the disequilibrium of the situation, but without considering the superiority of any of these elements. The State in such a way must fulfill the function to punish the culprits as to acquit the innocents. Despite the law is far from obtaining a harmonious speech, it is necessary that the defense guarantee coexists the punitive power as part of an only public interest, which is, to make criminal justice. In such a way, the existence of a sustainable balance between the punitive power and the guarantee of defense depend on the minimum interference of Criminal law and, also, of the judicial position in the concrete case. The present work faces, therefore, the moment of crisis of the Criminal law, consolidated with the advent of a new way of thinking according to the procedural guarantees, that will demand the overcoming of the old concepts. The Constitutional State of Right not only constitutes an efectiveness of the regime of the right to counsel, but in a similar way it searchs to accomplish the right of action and criminal justice as a whole. Knowing that the philosophy of the language raises doubts on the certainty, the truth and the judgement, it is imposed to understand that the defense guarantee is no more about a simple idea, but, in the crooked ways of the communication, we intend to find what the judge s function is when he faces this new reality

Mãe-esposa e professora: educadoras no final do século XIX

This text is organized through discussions undertaken in the area of the History of Education in Rio Grande do Norte, circumscribed to the History of Women from the first decades of the Brazilian Republic, and to the analysis of what was expected of this education. We examined representations of women in Natal, between 1889 and 1914, with the goal of configuring relations between the sexes with the emphasis on moral, intellectual and pedagogical aspects required of these women. As documental sources we utilized the educational, civil and criminal Legislation, on a National scope, as well as on a State and Municipal scope. We circumscribed our search to the newspaper A República, in which we found literature that circulated in Natal in the form of pamphlets, short stories and poetry, as well as other texts by authors that were part of the corpus of analysis of this study, located in public and private archives in Rio Grande do Norte, such as the Historical and Geographic Institute of Rio Grande do Norte (IHGRN) and the State Public Archive of Rio Grande do Norte (APE-RN). The use of the indexing method and the propositions of Cultural History were the appropriate theoretical-methodological framework to complete studies of this nature. This operational perspective permitted us to elaborate nuances about this time of transition from the 19th to the 20th Century, and to spotlight the fire of the women from this period. The basis of the argument that related women to maternity and domesticity, and within the ideals of abnegation and religious leadership, aligned to a demand coming from the increase in the quantity of schools for women, allocated women as the most appropriate for superior in educational performance in the country, based on its foundations: primary education. Beyond the universe of formal education, the other side of women appeared in republican politics. The mother-spouse and the institutionalization of domestic education associated the female gender with the role of educator at home as well. Be it in the public sphere, as a teacher, or in private, as mother-spouse, female care is perceived in this configuration, as an educational base that the Republic, and in transition, bequeathed to the Brazilian 20th Century