A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Infusing the use of seasonal climate forecasting into crop management practice in North East Australia using discussion support software

Seasonal climate forecasting offers potential for improving management of crop production risks in the cropping systems of NE Australia. But how is this capability best connected to management practice? Over the past decade, we have pursued participative systems approaches involving simulation-aided discussion with advisers and decision-makers. This has led to the development of discussion support software as a key vehicle for facilitating infusion of forecasting capability into practice. In this paper, we set out the basis of our approach, its implementation and preliminary evaluation. We outline the development of the discussion support software Whopper Cropper, which was designed for, and in close consultation with, public and private advisers. Whopper Cropper consists of a database of simulation output and a graphical user interface to generate analyses of risks associated with crop management options. The charts produced provide conversation pieces for advisers to use with their farmer clients in relation to the significant decisions they face. An example application, detail of the software development process and an initial survey of user needs are presented. We suggest that discussion support software is about moving beyond traditional notions of supply-driven decision support systems. Discussion support software is largely demand-driven and can compliment participatory action research programs by providing cost-effective general delivery of simulation-aided discussions about relevant management actions. The critical role of farm management advisers and dialogue among key players is highlighted. We argue that the discussion support concept, as exemplified by the software tool Whopper Cropper and the group processes surrounding it, provides an effective means to infuse innovations, like seasonal climate forecasting, into farming practice. Crown Copyright (C) 2002 Published by Elsevier Science Ltd. All rights reserved.

Immune correlate study on human Schistosoma japonicum in a well-defined population in Leyte, Philippines: I. Assessment of 'resistance' versus 'susceptibility' to S-japonicum infection

This study describes the categorical classification of 155 individuals living in an endemic village in Macanip, Leyte, Philippines as 'resistant' or 'susceptible' to Schistosoma japonicum infection using available exposure, infection and reinfection data collected from a 3-year water contact (WC) study. Epidemiological parameters including age, sex, and infection intensities in relation to observed reinfection patterns are also described. This classification was used in subsequent immunological studies described in two accompanying papers to identify protective immune mechanisms among resistant individuals induced by defined candidate vaccine molecules for S. japonicum. The study suggests that individuals who were most vulnerable to rapid reinfection were children belonging to the 5-14 age group. A drop in incidence at age group 15-19 and decreased intensity of infection starting at this age group and older (15+) suggests development of immunity. Controlling for the effect of the other variables, a multivariate analysis showed significant association for sex, in that females were more likely to be resistant. This implies that other than acquired immunity to infection, some age-dependent host factors may also play an important role in the overall changes of reinfection patterns seen in schistosomiasis japonica in this population. Crown Copyright (C) 2002 Published by Elsevier Science B.V. All rights reserved.

Screening of human primary melanocytes of defined melanocortin-1 receptor genotype: Pigmentation marker, ultrastructural and UV-survival studies

Recent population studies have demonstrated an association with the red-hair and fair-skin phenotype with variant alleles of the melanocortin-1 receptor (MC1R) which result in amino acid substitutions within the coding region leading to an altered receptor activity. In particular, Arg151Cys, Arg160Trp and Asp294His were the most commonly associated variants seen in the south-east Queensland population with at least one of these alleles found in 93% of those with red hair. In order to study the individual effects of these variants on melanocyte biology and melanocytic pigmentation, we established a series of human melanocyte strains genotyped for the MC1R receptor which included wild-type consensus, variant heterozygotes, compound heterozygotes and homozygotes for Arg151Cys, Arg160Trp, Val60Leu and Val92Met alleles. These strains ranged from darkly pigmented to amelanotic, with all strains of consensus sequence having dark pigmentation. UV sensitivity was found not to be associated with either MC1R genotype or the level of pigmentation with a range of sensitivities seen across all genotypes. Ultrastructural analysis demonstrated that while consensus strains contained stage IV melanosomes in their terminal dendrites, Arg151Cys and Arg160Trp homozygote strains contained only stage II melanosomes. This was despite being able to show expression of tyrosinase and tyrosinase-related protein-1 markers, although at reduced levels and an ability to convert exogenous 3,4-dihydroxyphenyl-alanine (DOPA) to melanin in these strains.

Portal do software p??blico brasileiro

O Portal do Software P??blico Brasileiro consolida-se como uma iniciativa que conseguiu criar um ambiente comum para compartilhar solu????es de software no setor p??blico, racionalizar a gest??o dos recursos de inform??tica, reaproveitar as solu????es de software existentes para diminuir custos e atividades redundantes, estabelecer parcerias e a????es cooperadas, refor??ar a pol??tica p??blica de estimular o uso de software livre e definir uma forma de licenciamento de software que sustente o compartilhamento de solu????es entre os ??rg??os do setor p??blico de acordo com as prerrogativas legais brasileiras e a Constitui????o Federal. Esta iniciativa trouxe como inova????o o compartilhamento de ???software p??blico???, que oficializou um novo modelo de licenciamento e de gest??o das solu????es desenvolvidas na administra????o p??blica, estabelecendo parceria entre diversos ??rg??os, institui????es, empresas e cidad??os, e hoje conta com mais de 100 mil participantes

Gest??o p??blica e pesquisa operacional: avalia????o de desempenho em ag??ncias da Previd??ncia Social

O presente trabalho utiliza a metodologia DEA (Data Envelopment Analysis ), para avaliar a efici??ncia das 22 Ag??ncias da Previd??ncia Social ??? Ger??ncia Executiva Fortaleza (APS-GEXFOR). DEA utiliza programa????o linear cujo n??cleo das estruturas anal??ticas ?? formado a partir do modelo original CCR (Charnes, Cooper, e Rhodes). Aplicada ??s DMU (Decision Making Units), define uma Fronteira de Efici??ncia identificando Unidades Eficientes e Ineficientes. Foi utilizado o modelo DEA-CCR implementado pelo software DEA Solver??. A Previd??ncia Social (INSS) disp??e de indicadores de desempenho. Algumas vari??veis utilizadas no modelo implementado derivam desses indicadores, outras informa????es foram disponibilizadas pelos sistemas de informa????o da institui????o. A avalia????o de efici??ncia DEA das APS-GEXFOR permitiu identificar as melhores pr??ticas, mensurar a participa????o de cada vari??vel envolvida na avalia????o da unidade e projetar as unidades ineficientes na fronteira de efici??ncia, identificando metas a serem atingidas para torn??-las eficientes no conjunto observado.

Uso do software Estradas para determinação do espaçamento entre desaguadouros em estradas não pavimentadas do interior de Goiás

Estradas não pavimentadas correspondem a aproximadamente 90% da malha rodoviária brasileira. Estas, na maioria das vezes, são construídas sem a realização de estudos prévios, estando sujeitas a vários tipos de problemas. Um dos principais fatores de deterioração dessas vias é a ineficiência do sistema de drenagem. Neste trabalho simulou-se o espaçamento entre desaguadouros em estradas não pavimentadas, utilizando-se um software desenvolvido com base num modelo matemático de dimensionamento de sistemas de drenagem em estradas não pavimentadas. Utilizaram-se valores de erodibilidade, tensão crítica de cisalhamento e massa específica para diferentes solos de estradas, localizadas no Estado de Goiás. Simularam-se cenários considerando alterações na declividade (1, 5, 10 e 15%) e na seção transversal do canal com relações entre altura e largura de 1:1, 1:2, 1:5 e 1:10. O modelo respondeu sensivelmente às alterações na declividade, na seção transversal do canal e nas de resistência do solo. Os espaçamentos obtidos indicaram que, estradas com declividades inferiores a 5%, mesmo com elevados valores de erodibilidade permitiram espaçamentos viáveis em aspectos construtivos. No entanto, para as declividades de 10 e 15%, os espaçamentos, na maioria dos casos, apresentaram dimensões reduzidas, tornando-se impraticáveis, sendo necessário, nestes casos, proteção do canal ou alteração de suas características hidráulicas.

The decentralized social networking systems towards mobilizing actions of citizenship and solidarity against cancer

The goal of the present study is mapping the nature of possible contributions of participatory online platforms in citizen actions that may contribute in the fight against cancer and its associated consequences. These platforms are usually associated with entertainment: in that sense, we intent to test their validity in other domains such as health, as well as contribute to an expanded perception of their potential by their users. The research is based on the analysis of online solidarity networks, namely the ones residing on Facebook, Orkut and the blogosphere, that citizens have been gradually resorting to. The research is also based on the development of newer and more efficient solutions that provide the individual (directly or indirectly affected by issues of oncology) with the means to overcome feelings of impotence and fatality. In this article, we aim at summarizing the processes of usage of these decentralized, freer participatory platforms by citizens and institutions, while attempting to unravel existing hype and stigma; we also provide a first survey of the importance and the role of institutions in this kind of endeavor; lastly, we present a prototype, developed in the context of the present study, that is specifically dedicated to addressing oncology through social media. This prototype is already available online at www.talkingaboutcancer.org, however, still under development and testing. The main objective of this platform is to allow every citizen to freely build their network of contacts and information, according to their own individual and/ or collective needs and desires.

GUIsurfer: A Reverse Engineering Framework for User Interface Software

GUIsurfer: A Reverse Engineering Framework for User Interface Software

The role of coordination analysis in software integration projects

What sort of component coordination strategies emerge in a software integration process? How can such strategies be discovered and further analysed? How close are they to the coordination component of the envisaged architectural model which was supposed to guide the integration process? This paper introduces a framework in which such questions can be discussed and illustrates its use by describing part of a real case-study. The approach is based on a methodology which enables semi-automatic discovery of coordination patterns from source code, combining generalized slicing techniques and graph manipulation

Criminal Liability of Organizations, Corporations, Legal Persons, and Similar Entities on Law of Portuguese Cybercrime: A Brief Discussion on the Issue of Crimes of “False Information,” the “Damage on Other Programs or Computer Data,” the “Computer-Software Sabotage,” the “Illegitimate Access,” the “Unlawful Interception,” and “Illegitimate Reproduction of the Protected Program”

Abstract: in Portugal, and in much of the legal systems of Europe, «legal persons» are likely to be criminally responsibilities also for cybercrimes. Like for example the following crimes: «false information»; «damage on other programs or computer data»; «computer-software sabotage»; «illegitimate access»; «unlawful interception» and «illegitimate reproduction of protected program». However, in Portugal, have many exceptions. Exceptions to the «question of criminal liability» of «legal persons». Some «legal persons» can not be blamed for cybercrime. The legislature did not leave! These «legal persons» are v.g. the following («public entities»): legal persons under public law, which include the public business entities; entities utilities, regardless of ownership; or other legal persons exercising public powers. In other words, and again as an example, a Portuguese public university or a private concessionaire of a public service in Portugal, can not commit (in Portugal) any one of cybercrime pointed. Fair? Unfair. All laws should provide that all legal persons can commit cybercrimes. PS: resumo do artigo em inglês.

The perceived potential of business social networking sites

Business social networking is a facilitator of several business activities, such as market studies, communication with clients, and identification of business partners. This paper traduces the results of a study undertaken with the purpose of getting to know how the potential of networking is perceived in the promotion of business by participants of the LinkedIn network, and presents two main contributions: (1) to disseminate within the business community which is the relevance given to social networking; and (2) which are the social networks best suitable to the promotion of business, to support the definition of strategies and approaches accordingly. The results confirm that LinkedIn is the most suitable network to answer the needs of those that look for professional contacts and for the promotion of business, while innovation is the most recognized factor in the promotion of business through social networking. This study contributes to a better understanding of the potential of different business social networking sites, to support organizations and professionals to align their strategies with the perceived potential of each network.

Dinâmica da acumulação de capacidades inovadoras: evidências de empresas de software no Rio de janeiro e em São Paulo

São escassos estudos sobre a dinâmica da acumulação de capacidades inovadoras. Este artigo examina o tema em oito empresas de software em São Paulo e Rio de Janeiro, encontrando: diferenças inter e intraempresariais em termos da direção e taxa de acumulação de capacidade para funções tecnológicas específicas; acúmulo de capacidade tecnológica mais rápido em empresas mais jovens; e decréscimo das taxas de acumulação tecnológica à medida que as empresas se aproximam de níveis mais inovadores de capacidades, demonstrando a potencialidade para aceleração do processo. Tais evidências são relevantes para o entendimento da acumulação tecnológica e fornecem uma noção do tempo necessário para se obterem benefícios de esforços de aprendizagem e construção de capacidade inovadora.

Atratividade de projetos de software livre: importância teórica e estratégias para administração

Milhares de Projetos de Software Livre (PSL) foram e continuam sendo criados na Internet. Esse cenário aumenta as oportunidades de colaboração tanto quanto acirra a concorrência por usuários e contribuidores, que elevariam esses projetos a níveis superiores aos que seriam alcançados por seus fundadores sozinhos. E dado que o aprimoramento por meio de colaboração é o principal objetivo dos fundadores de PSL, a importância de entender e administrar a capacidade de atrair usuários e contribuidores fica estabelecida. Para auxiliar pesquisadores e fundadores nesse desafio, o conceito de atratividade é introduzido neste artigo, que desenvolve um ferramental teórico-gerencial sobre as causas, indicadores e consequências da atratividade, viabilizando sua administração estratégica.

Knowledge cities: a taxonomy for analyzing software and information service clusters

Software and information services (SIS) have become a field of increasing opportunities for international trade due to the worldwide diffusion of a combination of technological and organizational innovations. In several regions, the software industry is organized in clusters, usually referred to as "knowledge cities" because of the growing importance of knowledge-intensive services in their economy. This paper has two primary objectives. First, it raises three major questions related to the attractiveness of different cities in Argentina and Brazil for hosting software companies and to their impact on local development. Second, a new taxonomy is proposed for grouping clusters according to their dominant business segment, ownership pattern and scope of operations. The purpose of this taxonomy is to encourage further studies and provide an exploratory analytical tool for analyzing software clusters.