Integration of concurrency control in a language with subtyping and subclassing

This paper describes the integration of concurrency control in BALLOON, an object-oriented language that separates the concepts of type and class as well of subtyping and subclassing. Types are interface specifications enriched with concurrency control annotations. Classes are used to implement the operational functionality of types as well as concurrency control mechanisms. Types, classes and concurrency control annotations are independently reusable and derivable. The language takes advantage of this separation to solve the typical problems of the inheritance anomaly

HÍPICAS FIGURAS DE PROA NO BRASIL E SUAS ORIGENS

Os portugueses, navegadores entre os maiores da História, afrontavam os tenebrosos e ignotos mares com as terríficas figuras de proa de seus navios

O Professor Agostinho da Silva e o Núcleo de Documentação e Informação de História Regional da Universidade Federal de Mato Grosso

O Prof. Agostinho da Silva e a criação do NDIHR da UFMT. Contribuição da paleógrafa Maria Cecília Guerreiro de Sousa e publicação dos primeiros inventários de documentos setecentistas referentes a Mato Grosso. Bibliografia resultante publicada. História do Tea­tro e Artes Plásticas. Arquitetura, Medicina, Ensino

Decentralization of leprosy control actions in the micro-region of Almenara, State of Minas Gerais

This study analyzes the decentralization process of Leprosy control actions for Family Health Strategy units in the cities of the Almenara micro-region, in the state of Minas Gerais, Brazil. This qualitative research, based on the concept "Technological Organization of Work", was carried out in nine municipalities. Semi-structured interviews and document research were used for data collection. Forty-five interviews with care providers and health managers were conducted. The data collection took place between November 2007 and February 2008. Content Analysis was utilized to study the data and results indicate that the cities present different levels of decentralization and that the process was determined based on local specifications and on the engagement of care providers and health managers. Several cities kept a reference team to provide support to primary health care. The conclusion is that the decentralization process is a strategy that proves to be useful in facing Leprosy in the micro-region.El estudio tuvo como objetivo analizar el proceso de descentralización de las acciones de control de la lepra para las unidades de Estrategia de la Salud de la Familia en municipios de la microrregión de Almenara, Minas Gerais. Se llevó a cabo una investigación cualitativa en nueve municipios, basada en el concepto de "Organización Tecnológica del Trabajo". Se emplearon como técnicas para hacer la recolección de datos la entrevista semiestructurada y la investigación documental. Se realizaron 45 entrevistas con administradores y profesionales de la salud. Los datos fueron recolectados entre noviembre de 2007 y febrero de 2008. Para tratamiento y análisis de los datos se utilizó el Análisis de Contenido. Los resultados apuntan que los municipios se encuentran en diferentes períodos de descentralización y que ese proceso fue determinado por la especificidad local y por el compromiso de los administradores y de los profesionales de la salud. Se concluyó que el proceso de descentralización es una estrategia capaz de enfrentar la endemia en la microrregión.O estudo teve como objetivo analisar o processo de descentralização das ações de controle da hanseníase, para as unidades da Estratégia de Saúde da Família, em municípios da microrregião de Almenara, Minas Gerais. Esta é uma pesquisa qualitativa, fundamentada no conceito de Organização Tecnológica do Trabalho, realizada em nove municípios. Como técnicas para a coleta de dados foram utilizadas a entrevista semiestruturada e a pesquisa documental. Foram realizadas 45 entrevistas com gestores e profissionais de saúde. A coleta de dados ocorreu entre novembro 2007 e fevereiro 2008. Para tratamento e análise dos dados, foi utilizada a análise de conteúdo. Os resultados apontam que os municípios se encontram em diferentes estágios de descentralização e que esse processo foi determinado pela especificidade local e pelo engajamento dos gestores e dos profissionais de saúde. Vários municípios mantiveram uma equipe de referência para dar apoio à atenção básica. Conclui-se que o processo de descentralização é estratégia capaz de enfrentar a endemia hansênica na microrregião

Termos de mineração usados em Mato Grosso nos séculos XVIII e XIX

O padre José Manuel de Siqueira nasceu em Cuiabá em 1750. Esteve em Portugal, onde fez os cursos de História Natural e Filosofia Racional e Moral, e foi admitido na Real Academia de Ciências de Lisboa

Arraial do Cuyabá, Vila Real do Senhor Bom Jesus (1719-1727)

A 8 de abril de 1719, portanto há 260 anos, no recém-fundado Arraial do Cuiabá, foi lavrado o termo de certidão para noticia do descobrimento no­vo que achamos no ribeirão do Coxipó, invocação de Nossa Senhora da Penha de França, e "elegeu o povo em voz alta o capitão-mor Pascoal Moreira Cabral por seu guarda-mor regente"

O projeto de Brum da Silveira, ouvidor de Macau, de envio de carpinteiros chineses para os arsenais reais do Brasil

Access to unpublished documentation of the Arquivo Histórico Ultramarino (Lisbon) enabled us to meet the pioneering work of the “Ouvidor” of Macau, Miguel de Arriaga Brum da Silveira, implementation of sending Chinese workers in Brazil, during the period in which the Court was established in Rio de Janeiro (1808-1821). And particularly in a project that has engaged in sending Chinese naval carpenters for the Royal Arsenal of Rio de Janeiro and also to Bahia. It remains to document how effectively reached Brazil, and took directions

Gabinete Português de Leitura do Rio de Janeiro Resumo Cronoiconográfico

Do alto de seus 150 anos de existência, o Gabinete Português de Leitura do Rio de Janeiro ostenta títulos indisputáveis que lhe foram conferidos pela tradição, entre eles, Instituição-Mãe e Alma Máter das Associações Portuguesas do Brasil, Catedral da Cultura Portuguesa do Brasil, Sacrário da Luso-Brasüidade

O ensino em Mato Grosso no século XVIII e início do XIX

O ensino em Mato Grosso no século XVIII padeceu dos mesmos óbices de que padecia nas demais capitanias, mas com agravantes decorrentes de condições locais mais desfavoráveis, fáceis de imaginar em região tão remota

A portable lightweight approach to NFS replication

Under normal circumstances, NFS provides transparent access to remote file systems. Nevertheless, a failure on a single file server compromises the operation of all clients, and thus various replication schemes have been devised to increase file system availability. The approach described in this paper is lightweight in the sense that it strives to make no changes to the NFS protocol nor to the standard NFS client and server code. Rather, a thin layer is introduced between the clients and the original server daemons, which intercepts all NFS requests and propagates the updates to the replicas. Replication is hidden under a primary-secondary update policy and an improved automounter. If the primary server fails, the automounters elect a new primary and remount the relevant file systems. Secondary server failures remain unnoticed by the clients. A prototype version is operational and preliminary results under the Andrew benchmark are presented. The gures obtained show that while read overhead is negligible, the performance of updates is at present impaired by the naive synchronous multi-server write operation