A geographic opportunistic forwarding strategy for vehicular named data networking

Studies in Computational Intelligence, 616

Step towards of a homemade business intelligence solution: A case study in textile industry

Nowadays, organizations are increasingly looking to invest in business intelligence solutions, mainly private companies in order to get advantage over its competitors, however they do not know what is necessary. Business intelligence allows an analysis of consolidated information in order to obtain more specific outlets and certain indications in order to support the decision making process. You can take the right decision based on the data collected from different information systems present in the organization and outside of them. The textile sector is a sector where concept of Business Intelligence it is not many explored yet. Actually there are few textile companies that have a BI platform. Thus, the article objective is present an architecture and show all the steps by which companies need to spend to implement a successful free homemade Business Intelligence system. As result the proposed approach it was validated using real data aiming assess the steps defined.

Improving quality of medical service with mobile health software

An increasing number of m-Health applications are being developed benefiting health service delivery. In this paper, a new methodology based on the principle of calm computing applied to diagnostic and therapeutic procedure reporting is proposed. A mobile application was designed for the physicians of one of the Portuguese major hospitals, which takes advantage of a multi-agent interoperability platform, the Agency for the Integration, Diffusion and Archive (AIDA). This application allows the visualization of inpatients and outpatients medical reports in a quicker and safer manner, in addition to offer a remote access to information. This project shows the advantages in the use of mobile software in a medical environment but the first step is always to build or use an interoperability platform, flexible, adaptable and pervasive. The platform offers a comprehensive set of services that restricts the development of mobile software almost exclusively to the mobile user interface design. The technology was tested and assessed in a real context by intensivists.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Escola, democracia e autonomia: uma análise das políticas e práticas no cotidiano escolar

Tese de Doutoramento em Ciências da Educação - Especialidade em Política Educativa

GIS application in water resources master planning

Due to water scarcity, it is important to organize and regulate water resources utilization to satisfy the conflicting water demands and needs. This paper aims to describe a comprehensive methodology for managing the water sector of a defined urbanized region, using the robust capabilities of a Geographic Information System (GIS). The proposed methodology is based on finding alternatives to cover the gap between recent supplies and future demands. Nablus which is a main governorate located in the north of West Bank, Palestine, was selected as case study because this area is classified as arid to semi-arid area. In fact, GIS integrates hardware, software, and data for capturing, managing, analyzing, and displaying all forms of geographic information. The resulted plan of Nablus represents an example of the proposed methodology implementation and a valid framework for the elaboration of a water master plan.

Organização e gestão da manutencão de ferramentas numa empresa de produção de peças metálicas

Dissertação de mestrado Engenharia e Gestão da Qualidade

Mineralizações associadas a shear zone networking na vertente oriental da Serra de Arga (Minho, Portugal)

Dissertação de mestrado em Ordenamento e Valorização de Recursos Geológicos

Projeto de produção de tubo elíptico em aço avançado de elevada resistência para uma serra de arco

Dissertação de mestrado integrado em Engenharia Mecânica

Utilização de modelos de simulação para a melhoria de um sistema de restauração: estudo de caso de uma cantina universitária

Dissertação de mestrado em Engenharia Industrial

Estudo e implementação de testes de software em desenvolvimento ágil

Dissertação de mestrado em Engenharia de Sistemas

Conversão sistemática do comportamento definido nos blocos funcionais da norma IEC 61 131-3 para autómatos finitos temporizados

Dissertação de mestrado integrado em Engenharia Mecânica

Frameworks no desenvolvimento de software: o caso da Elevation da PRIMAVERA BSS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Algorithms and computational tools for metabolic flux analysis

PhD thesis in Biomedical Engineering

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.