A mobile systems interface protocol

Recent progresses in the software development world has assisted a change in hardware from heavy mainframes and desktop machines to unimaginable small devices leading to the prophetic "third computing paradigm", Ubiquitous Computing. Still, this novel unnoticeable devices lack in various capabilities, like computing power, storage capacity and human interface. Connectivity associated to this devices is also considered an handicap which comes generally associated expensive and limited protocols like GSM and UMTS. Considering this scenario as background, this paper presents a minimal communication protocol introducing better interfaces for limited devices. Special attention has been paid to the limitations of connectivity, storage capacity and scalability of the developed software applications. Illustrating this new protocol, a case-study is presented addressing car sensors communicating with a central

GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Política, eleições e corrupção económica…

Os partidos e candidatos que terão os melhores resultados nas próximas eleições legislativas a realizar em Portugal – que, com elevado grau de probabilidade, serão antecipadas – serão aqueles que melhor consigam convencer os votantes em geral de que a retribuição, prevenção e restauração dos crimes e ilícitos de corrupção, e da criminalidade económica e social em geral, terão um tratamento desta vez eficaz em concreto; Abstract: The parties and candidates who have the best results in the upcoming legislative elections in Portugal - which, with high probability, will be early - will be those who best can convince the general voting that the compensation, prevention and restoration of crimes and illegal corruption, and economic and social crime in general, receive treatment this time effective in concrete.

Eleições europeias ou eleições para Marte?

Há países que introduziram o voto obrigatório. É uma hipótese. Outra mais credível seria fazer uma profunda reforma do sistema político europeu e nacional, nomeadamente introduzindo uma quota apreciável de deputados que deveriam ter exclusividade de funções. § Abstract: There are countries that have introduced compulsory voting. It is a hypothesis. Another more credible would make a profound reform of the European and national political system, such as introducing a significant share of deputies should have exclusive functions.

Application of Gage R&R methodology for improving the training and evaluation of automatic optical inspection machine operators

The current level of demand by customers in the electronics industry requires the production of parts with an extremely high level of reliability and quality to ensure complete confidence on the end customer. Automatic Optical Inspection (AOI) machines have an important role in the monitoring and detection of errors during the manufacturing process for printed circuit boards. These machines present images of products with probable assembly mistakes to an operator and him decide whether the product has a real defect or if in turn this was an automated false detection. Operator training is an important aspect for obtaining a lower rate of evaluation failure by the operator and consequently a lower rate of actual defects that slip through to the following processes. The Gage R&R methodology for attributes is part of a Six Sigma strategy to examine the repeatability and reproducibility of an evaluation system, thus giving important feedback on the suitability of each operator in classifying defects. This methodology was already applied in several industry sectors and services at different processes, with excellent results in the evaluation of subjective parameters. An application for training operators of AOI machines was developed, in order to be able to check their fitness and improve future evaluation performance. This application will provide a better understanding of the specific training needs for each operator, and also to accompany the evolution of the training program for new components which in turn present additional new difficulties for the operator evaluation. The use of this application will contribute to reduce the number of defects misclassified by the operators that are passed on to the following steps in the productive process. This defect reduction will also contribute to the continuous improvement of the operator evaluation performance, which is seen as a quality management goal.

FISCALIZAÇÃO E DISCIPLINA SINDICAL

Em termos legais, compete à Comissão de Fiscalização e Disciplina do Sindicato Nacional do Ensino Superior § Art. 15º dos Estatutos internos: "e) pronunciar-se sobre a regularidade das deliberações de quaisquer órgãos sindicais, designadamente as deliberações das assembleias e quaisquer actos eleitorais, podendo determinar a anulação de quaisquer deliberações ou eleições e, quando seja caso disso, a convocação de novas assembleias". § In legal terms, for the Commission for Supervision and Discipline of the National Higher Education § Art Union 15 of the Internal Statutes:. "E) to rule on the legality of the decisions of any trade union bodies, including the deliberations of the meetings and any elections and can determine invalidate any voting or elections and, where appropriate, to convene new meetings."

How logrolling can explain the failure of the government coalition in Brazil

This article presents an analysis of the behavior of federal representatives in the Brazilian House of Representatives between 1995 and 1998, when a series of constitutional amendments were presented by the president to be voted on by Congress. The objective is to show that the lack of a stable government coalition resulted in costs to society that were not anticipated by the government. The study argues that a logroll - a trade of votes - was the strategy used by the government in order to guarantee the number of votes necessary to approve the amendments. This strategy created a vicious system in which representatives would only vote with the government if they had benefits in return.

Reelection incentives and political budget cycle: evidence from Brazil

This article tests the presence of political budget cycle (PBC) in municipal elections in Brazil and checks whether mayors who adopt such policy have greater probability of reelection. Based on fiscal and electoral data of 5,406 Brazilian municipalities and applying the difference-in-differences econometric method as well as logistic regressions, the results provide some evidence of PBC in Brazil, although its magnitude and consistency varies depending on the years used as electoral and non-electoral years. On average, reelectable mayors spend close to 3% more in election years than nonreelectables. Moreover, reelectables who do run for reelection present a variation in spending which is close to 5% superior to that of non-reelectables and non-runners. Additionally, the results suggest that mayors who increase public spending during electoral periods have greater chances of being reelected, as long as such spending is done within deficit limits acceptable by voters.

Realism in Gameplay: Digital Fiction and Embodiment

In this article we argue that digital simulations promote and explore complex relations between the player and the machines cybernetic system with which it relates through gameplay, that is, the real application of tactics and strategies used by participants as they play the game. We plan to show that the realism of simulation, together with the merger of artificial objects with the real world, can generate interactive empathy between players and their avatars. In this text, we intend to explore augmented reality as a means to visualise interactive communication projects. With ARToolkit, Virtools and 3ds Max applications, we aim to show how to create a portable interactive platform that resorts to the environment and markers for constructing the games scenario. Many of the conventional functions of the human eye are being replaced by techniques where images do not position themselves in the traditional manner that we observe them (Crary, 1998), or in the way we perceive the real world. The digitalization of the real world to a new informational layer over objects, people or environments, needs to be processed and mediated by tools that amplify the natural human senses.

Sistema de apoio à decisão espacial para análise do impacte ambiental da dispersão de poluentes atmosféricos

Neste artigo é apresentado um Sistema de Apoio à Decisão Espacial (SADE) onde os decisores podem facilmente definir diferentes tipos de problemas espaciais recorrendo a diferentes categorias de objetos, pré-definidas ou a definir, associando- lhes características com ou sem dependência espacial, e indicando formas de interferência (impactos) entre essas caracte- rísticas/propriedades. A análise espacial para determinação ou avaliação de configurações alternativas para a localização de diferentes tipos de ocorrências espaciais será feita através da utilização interativa do SADE de acordo com conjuntos de regras intrínsecas aos vários elementos gráficos (objetos, categorias, características, impactos) utilizados na definição dos problemas. O teste à generalidade representativa e analítica do SADE proposto é efectuado recorrendo a um problema concreto, suficientemente específico e complexo, relativo à aplicação de modelos gaussianos para o estudo da dispersão atmosférica de eventuais poluentes resultantes do tratamento de resíduos sólidos. A região em estudo está limitada, neste exemplo, ao município de Coimbra, Portugal. Para este município estão acessíveis, e são utilizados, os dados demográficos ao nível da secção de voto (censos oficiais) e, como tal, é possível a realização de um estudo realístico do impacto com populações humanas.

Occupational exposure to volatile organic compounds in the Portuguese printing industry

In the printing industry, volatile organic compounds main sources are the uses of organic solvents, fountain solutions and cleaning agents. Nowadays, one circumstance which might confuse the exposure reality is that the majority of solvents which are often used have a faint odour. Therefore, the conditions at offset printing in regard to solvent exposure may seem acceptable to workers. Fortunately, general ventilation and local exhaust systems have also become more common, and new printing machines, often with automatic cleaning, have entered the market. The health effects of volatile organic solvents are dependent on the chemicals involved but, normally, are associated with affecting the nervous system, the liver and also the kidneys. The purpose of this study was to document the conditions regarding exposure to volatile organic compounds in an offset printing unit and to permit identify task with higher exposure and with priority for preventive measures application. Exposure assessment was done before and after installation of general ventilation and local exhaust equipments and during printing and cleaning procedure.

Learning techniques for automatic email message tagging

A organização automática de mensagens de correio electrónico é um desafio actual na área da aprendizagem automática. O número excessivo de mensagens afecta cada vez mais utilizadores, especialmente os que usam o correio electrónico como ferramenta de comunicação e trabalho. Esta tese aborda o problema da organização automática de mensagens de correio electrónico propondo uma solução que tem como objectivo a etiquetagem automática de mensagens. A etiquetagem automática é feita com recurso às pastas de correio electrónico anteriormente criadas pelos utilizadores, tratando-as como etiquetas, e à sugestão de múltiplas etiquetas para cada mensagem (top-N). São estudadas várias técnicas de aprendizagem e os vários campos que compõe uma mensagem de correio electrónico são analisados de forma a determinar a sua adequação como elementos de classificação. O foco deste trabalho recai sobre os campos textuais (o assunto e o corpo das mensagens), estudando-se diferentes formas de representação, selecção de características e algoritmos de classificação. É ainda efectuada a avaliação dos campos de participantes através de algoritmos de classificação que os representam usando o modelo vectorial ou como um grafo. Os vários campos são combinados para classificação utilizando a técnica de combinação de classificadores Votação por Maioria. Os testes são efectuados com um subconjunto de mensagens de correio electrónico da Enron e um conjunto de dados privados disponibilizados pelo Institute for Systems and Technologies of Information, Control and Communication (INSTICC). Estes conjuntos são analisados de forma a perceber as características dos dados. A avaliação do sistema é realizada através da percentagem de acerto dos classificadores. Os resultados obtidos apresentam melhorias significativas em comparação com os trabalhos relacionados.