Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for com- bining autonomous services often running on di erent platforms. As a rule, however, in typical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identi cation becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certi cation, provides an opportunity for the devel- opment of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orchestration language

(Im)Possibilidades da aplicação do Modelo de Excelência em Gestão Pública (MEGP)

Resumo O presente artigo tem como objetivo identificar e analisar os resultados da aplicação do Modelo de Excelência na Gestão Pública (MEGP) na Fundação Oswaldo Cruz (Fiocruz) buscando avaliar os principais obstáculos culturais, burocráticos e políticos, no período de 2003 a 2011, conforme o Programa Nacional de Gestão Pública (Gespública). Trata-se de uma pesquisa exploratória e explicativa, na forma de um estudo de caso, com abordagem qualitativa, envolvendo a coleta de dados primários e secundários. Os resultados apontam para o cumprimento parcial dos objetivos do programa na instituição, pois se verificam melhorias decorrentes de sua implantação, porém barreiras culturais, burocráticas e de descontinuidade política precisam ser vencidas. Conclui-se que o modelo de excelência é um importante instrumento para as organizações públicas que desejem qualificar seus serviços, não sendo um pré-requisito o alinhamento total com o modelo.

Improving Remote Voting Security with Code Voting

One of the major problems that prevents the spread of elections with the possibility of remote voting over electronic networks, also called Internet Voting, is the use of unreliable client platforms, such as the voter's computer and the Internet infrastructure connecting it to the election server. A computer connected to the Internet is exposed to viruses, worms, Trojans, spyware, malware and other threats that can compromise the election's integrity. For instance, it is possible to write a virus that changes the voter's vote to a predetermined vote on election's day. Another possible attack is the creation of a fake election web site where the voter uses a malicious vote program on the web site that manipulates the voter's vote (phishing/pharming attack). Such attacks may not disturb the election protocol, therefore can remain undetected in the eyes of the election auditors. We propose the use of Code Voting to overcome insecurity of the client platform. Code Voting consists in creating a secure communication channel to communicate the voter's vote between the voter and a trusted component attached to the voter's computer. Consequently, no one controlling the voter's computer can change the his/her's vote. The trusted component can then process the vote according to a cryptographic voting protocol to enable cryptographic verification at the server's side.

Relações económicas entre Portugal e Argélia: tradução do code des marchés publics

Orientador: Mestre Alberto Couto

Entropy analysis of DNA code dynamics in human chromosomes

Deoxyribonucleic acid, or DNA, is the most fundamental aspect of life but present day scientific knowledge has merely scratched the surface of the problem posed by its decoding. While experimental methods provide insightful clues, the adoption of analysis tools supported by the formalism of mathematics will lead to a systematic and solid build-up of knowledge. This paper studies human DNA from the perspective of system dynamics. By associating entropy and the Fourier transform, several global properties of the code are revealed. The fractional order characteristics emerge as a natural consequence of the information content. These properties constitute a small piece of scientific knowledge that will support further efforts towards the final aim of establishing a comprehensive theory of the phenomena involved in life.

A Queda de Ícaro, de Brueghel e Schimmernde Inselchen im Meer, de Robert Walser – uma viagem ao mundo da tradução intersemiótica

O tema sobre o qual me proponho escrever insere-se no âmbito da 'tradução intersemiótica', já que se trata de uma análise comparativa da obra Der Sturz des Ikarus, de Pieter Brueghel, e do poema Schimmernde Inselchen im Meer, de Robert Walser, em que estamos perante um exemplo flagrante de transposição de uma obra pictórica para a escrita. No artigo, darei, ainda, especial enfoque à questão de aquele quadro representar, também ele, um exemplo de 'tradução intersemiótica' (neste caso, uma passagem da palavra às artes plásticas), uma vez que Brueghel faz, nele, uma recontextualização do mito de Ícaro, ao transpor para a tela um poema de Ovídio (estamos, assim, mais uma vez, perante um exemplo de mudança de medium). Dado que a questão da 'tradução intersemiótica' se inscreve numa outra, mais vasta ainda, que éa da intertextualidade, tentarei enquadrar uma na outra, tecendo, na introdução do artigo e, sempre que oportuno, ao longo do mesmo, algumas considerações breves sobre a função significante do mitema, as metamorfoses do mito e o papel do mito no 'diálogo intermedial das artes' ao longo dos tempos. Nesta análise comparativa, parto do pressuposto de estarmos, em qualquer tradução, face a um acto de re-escrita, pelo que há que reflectir, particularmente no caso da 'tradução intersemiótica', sobre a (nova) dimensão interpretativa conferida pelo processo de transposição mediática

Design and performance of a novel low-density parity-check code for distributed video coding

Low-density parity-check (LDPC) codes are nowadays one of the hottest topics in coding theory, notably due to their advantages in terms of bit error rate performance and low complexity. In order to exploit the potential of the Wyner-Ziv coding paradigm, practical distributed video coding (DVC) schemes should use powerful error correcting codes with near-capacity performance. In this paper, new ways to design LDPC codes for the DVC paradigm are proposed and studied. The new LDPC solutions rely on merging parity-check nodes, which corresponds to reduce the number of rows in the parity-check matrix. This allows to change gracefully the compression ratio of the source (DCT coefficient bitplane) according to the correlation between the original and the side information. The proposed LDPC codes reach a good performance for a wide range of source correlations and achieve a better RD performance when compared to the popular turbo codes.

Contributo para a construção de um code set da classificação internacional de funcionalidade, incapacidade e saúde, para terapeutas ocupacionais, em unidades de cuidados continuados integrados

A CIF é uma ferramenta universal desenvolvida pela OMS que permite a classificação de funcionalidade e incapacidade, através de uma visualização global do que condiciona o desempenho do indivíduo na concretização de atividades e na participação em ocupações. A ideologia da CIF e os seus componentes interrelacionam-se com a essência da TO, indo ao encontro dos modelos da profissão. As UCCI constituem uma atualidade em Portugal e o terapeuta ocupacional é um dos profissionais obrigatórios na equipa multidisciplinar destas unidades. Atendendo à relevância internacional da CIF, à sua ligação com a TO e à necessidade de tornar a CIF operacional na prática clínica diária dado que é uma ferramenta complexa e extensa, é objetivo deste estudo contribuir para a construção de um code set da CIF para terapeutas ocupacionais que exercem funções em UCCI, especificamente em UC, UMDR e ULDM. Para a concretização desta investigação, utilizou-se a técnica de Delphi, que envolveu duas rondas. Na primeira ronda foi possível contar com a participação de 37 terapeutas ocupacionais experientes na área, uma vez que exercem funções em UCCI, e na segunda ronda contou-se com a participação de 20 elementos. Obtiveram consenso na última ronda de Delphi um total de 96 categorias, constituindo esta listagem uma proposta de code set para UCCI. No que se refere às tipologias de unidades, 69 categorias obtiveram consenso em UC, 91 em UMDR e 41 em ULDM. Concluiu-se que a criação de code sets poderá constituir uma mais-valia em contexto de equipa multidisciplinar das UCCI, sendo uma forma de tornar a CIF operacional na prática clínica diária.

Filosofia para Crianças : a (im)possibilidade de lhe chamar outra coisa

As ideias que apresentamos justificam algumas das opções tomadas pelo projeto de Filosofia para Crianças da Universidade dos Açores e configuram a especificidade do mesmo numa área que, nos últimas 40 anos, tem sofrido adequações e apropriações em diversos países e contextos culturais. Simultaneamente, procuraremos dialogar com um texto que, de forma rigorosa e perspicaz, coloca uma série de importantes questões ao programa de Filosofia para Crianças apresentado por Matthew Lipman (1922-2010) e Ann Sharp (1942-2010), nos Estados Unidos da América, na década de 70 do século XX. Trata-se da excelente reflexão da autoria da homenageada no presente volume, Maria Luísa Ribeiro Ferreira, intitulada “A (im)possibilidade de uma Filosofia para Crianças: algumas questões”.

Code offloading on real-time multimedia systems: a framework for handling code mobility and code offloading in a QoS aware environment

Actualmente, os smartphones e outros dispositivos móveis têm vindo a ser dotados com cada vez maior poder computacional, sendo capazes de executar um vasto conjunto de aplicações desde simples programas de para tirar notas até sofisticados programas de navegação. Porém, mesmo com a evolução do seu hardware, os actuais dispositivos móveis ainda não possuem as mesmas capacidades que os computadores de mesa ou portáteis. Uma possível solução para este problema é distribuir a aplicação, executando partes dela no dispositivo local e o resto em outros dispositivos ligados à rede. Adicionalmente, alguns tipos de aplicações como aplicações multimédia, jogos electrónicos ou aplicações de ambiente imersivos possuem requisitos em termos de Qualidade de Serviço, particularmente de tempo real. Ao longo desta tese é proposto um sistema de execução de código remota para sistemas distribuídos com restrições de tempo-real. A arquitectura proposta adapta-se a sistemas que necessitem de executar periodicamente e em paralelo mesmo conjunto de funções com garantias de tempo real, mesmo desconhecendo os tempos de execução das referidas funções. A plataforma proposta foi desenvolvida para sistemas móveis capazes de executar o Sistema Operativo Android.

Wortbildungsmuster verbaler komposita im deutschen und im portugiesischen

O presente trabalho constitui, em primeiro lugar, um estudo analítico dos modelos da formação de compostos verbais no Alemão, i.e. uma análise das diversas ligações entre verbos e lexemas da mesma ou de outras categorias de palavras dessa língua. O trabalho inclui ainda uma análise comparativa dos exemplos apresentados do Alemão com os modelos da composição verbal que se realizam no Português. Trata-se, neste caso, igualmente da combinação, i.e. a composição de palavras constituídas por diversas formas verbais com outros elementos pertencentes à mesma ou a outra categoria.

Transtextualidade na tradução de "Der mann im fahrstuhl / The mann in the elevator"

In an age where Babel has turned into transcultural communication, an interlingual approach – i.e. in English and in French – to the translating process from German to Portuguese appeared pertinent. Aiming at a refinement of the translating competence, this process consists in contrasting different linguistic and literary strategies through an intercultural and multi-etymological perspective. Thus, we settled upon Heiner Müller‘s play Der Auftrag. Erinnerung an eine Revolution (1980), on which the composer Heiner Goebbels has based himself to textually and musically dramatize an excerpt, Der Mann im Farhstuhl / The Man in the Elevator. A transcription of such excerpt in its source language, German, as well as its translation into English (Carl Weber, 1984, Performing Arts Publications, New York) and French (Jean Jourdheuil, Heinz Schwarzinger, Editions Minuit, Paris) can be found in the booklet that accompanies the CD – edited in 1988 by ECD (München: Records GmbH). It should be emphasized that such a creation allows a framing of Müller‘s text into a musical scenography and, therefore, encourages an intersemiotic contrast. This experience enabled us to come up with a unique imagery of Müller‘s piece of writing, by means of its dramatic and musical conversion and, simultaneously, lead us to stretch our textual consciousness to a multitude of intra-, extra- and interlinguistic elements.