The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

COORDINSPECTOR: a tool for extracting coordination data from legacy code

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications

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

Supply chain management

Nos últimos anos, a economia mundial e a economia brasileira têm sofrido mudanças importantes. Fusões, aquisições e alianças estratégicas têm se multiplicado. Parte considerável destas mudanças relaciona-se com profundas alterações nos sistemas de valores de todos os segmentos industriais. A busca da competitividade relaciona-se cada vez mais com a busca do ótimo sistêmico além das fronteiras da empresa. Neste contexto, a administração logística ganha nova dimensão, envolvendo a integração de todas as atividades ao longo da cadeia de valores e do sistema de valores, das matérias-primas ao cliente final. O objetivo deste trabalho é (re)situar a administração logística no contexto de mudanças, enfatizando a metodologia da gestão da cadeia de demanda (supply chain management).

GREEN SUPPLY CHAIN: PROTAGONISTA OU COADJUVANTE NO BRASIL?

Questões ambientais passaram a ser introduzidas com maior frequência nos negócios empresariais. Quanto à cadeia de suprimentos, Green Supply Chain Management (GSCM) surge como novo enfoque à responsabilidade das empresas com o meio ambiente. Este artigo objetiva analisar a difusão do conceito e das práticas de GSCM no cenário brasileiro. Para tanto, foram realizadas entrevistas com especialistas do tema cadeia de suprimentos na área de Administração no Brasil. Os resultados indicam que as razões para o lento desenvolvimento do conceito podem relacionar-se com características do mercado nacional, foco empresarial em aspectos internos, falta de legislação rígida e baixa pressão dos consumidores. Especialistas percebem, entretanto, boas perspectivas para o futuro das discussões da temática no País, em virtude da Política Nacional dos Resíduos Sólidos, de pressões do mercado internacional e da busca por certificação ambiental. Este estudo procurou fomentar novas discussões sobre GSCM no Brasil.

SUPPLY CHAIN RESILIENCE ANALYSIS: A BRAZILIAN AUTOMOTIVE CASE

Supply chain (SC) resilience and flexibility are important research topics receiving growing attention. However, the academic literature needs empirical studies on SC resilience capable of investigating the inter-organizational components of flexibility along different tiers. Therefore, this paper analyzes the main lack of flexibilities in three Brazilian automotive SCs that limit their resilience and therefore their capacity to better support and meet the demand changes in the marketplace. A multi-tier case study approach is adopted. Research findings identify lack of flexibilities in different tiers that inhibit the SC resilience as well as manufacturing and SC flexibilities that build SC resilience. The findings also highlight that the same SC may have the flexibility to be resilient for one of its products but not for another product, what sheds new lights on the academic literature. Finally, flexible SCs should be designed to increase SC resilience to cope with mishaps as significant demand changes.

EVALUATING THE EFFICIENCY PROGRESS WITH TECHNOLOGY IN A SPANISH HOTEL CHAIN

ABSTRACTThis paper analyzes the changes in the total factor productivity index of a Spanish hotel chain in the period from 2007 to 2010 with the purpose of identifying efficiency patterns for the chain in a period of financial crisis. The data envelopment analysis (DEA) Malmquist productivity index was used to estimate productivity change in 38 hotels of the AC chain. Results reveal AC hotels' efficiency trends and, therefore, their competitiveness in the recession period; they also show the changes experienced in these hotels' total productivity and its components: technological and efficiency changes. Positive efficiency changes were due to positive technical efficiency rather than technological efficiency. The recession period certainly influenced the performance of AC Hotels, which focused on organizational changes rather than investing in technology.

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.

Mixed-integer nonlinear approach for the optimal scheduling of a head-dependent hydro chain

This paper is on the problem of short-term hydro scheduling (STHS), particularly concerning a head-dependent hydro chain We propose a novel mixed-integer nonlinear programming (MINLP) approach, considering hydroelectric power generation as a nonlinear function of water discharge and of the head. As a new contribution to eat her studies, we model the on-off behavior of the hydro plants using integer variables, in order to avoid water discharges at forbidden areas Thus, an enhanced STHS is provided due to the more realistic modeling presented in this paper Our approach has been applied successfully to solve a test case based on one of the Portuguese cascaded hydro systems with a negligible computational time requirement.

The role of European "ro-ro" port terminals in the automotive supply chain management

The aim of this paper is concerned with the design and development of a functional framework for maritime mode integration in European automotive supply chain management when considering outbound distribution. Furthermore, it provides a readjustment of traditional concepts and terminology with findings that the role of ro-ro port terminals should be considered as decoupling points, poles and postponement platforms. Case studies examine relevant Western European ro-ro port terminals for cars and respective links to assembly/factories of vehicles localized in the hinterland and concludes that ro-ro port terminals reduce logistical friction and impedance, as well as promote space/time compression.

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.

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.

Besnoitia besnoiti protein disulfide isomerase (BbPDI): molecular characterization, expression and in silico modelling

Besnoitia besnoiti is an apicomplexan parasite responsible for bovine besnoitiosis, a disease with a high prevalence in tropical and subtropical regions and re-emerging in Europe. Despite the great economical losses associated with besnoitiosis, this disease has been underestimated and poorly studied, and neither an effective therapy nor an efficacious vaccine is available. Protein disulfide isomerase (PDI) is an essential enzyme for the acquisition of the correct three-dimensional structure of proteins. Current evidence suggests that in Neosporacaninum and Toxoplasmagondii, which are closely related to B. besnoiti, PDI play an important role in host cell invasion, is a relevant target for the host immune response, and represents a promising drug target and/or vaccine candidate. In this work, we present the nucleotide sequence of the B. besnoiti PDI gene. BbPDI belongs to the thioredoxin-like superfamily (cluster 00388) and is included in the PDI_a family (cluster defined cd02961) and the PDI_a_PDI_a'_c subfamily (cd02995). A 3D theoretical model was built by comparative homology using Swiss-Model server, using as a template the crystallographic deduced model of Tapasin-ERp57 (PDB code 3F8U chain C). Analysis of the phylogenetic tree for PDI within the phylum apicomplexa reinforces the close relationship among B. besnoiti, N. caninum and T. gondii. When subjected to a PDI-assay based on the polymerisation of reduced insulin, recombinant BbPDI expressed in E. coli exhibited enzymatic activity, which was inhibited by bacitracin. Antiserum directed against recombinant BbPDI reacted with PDI in Western blots and by immunofluorescence with B. besnoiti tachyzoites and bradyzoites.