Implementação de uma plataforma digital para o serviço de cuidados paliativos do IPO - Porto

Orientada por Doutora Paula Peres

XBRL: a linguagem digital das empresas

O movimento de afirmação eXtensible Business Reporting Language (XBRL), como padrão para a preparação e difusão dos relatórios financeiros e outras publicações empresariais, foi encabeçado pelo American lnstitute of Certified Public Accountants (AICPA) em conjunto com aproximadatnente outras 30 organizações. Desde o primeiro encontro internacional sobre a especificação XBRL, realizado em Nova York no mês de Outubro de 1999, que a lista de participantes se tem alargado incluindo proeminentes instituições financeiras, organizações profissionais de serviços, organizações profissionais de contabilidade e fornecedores de tecnologia sobrevindo, ao mesmo tempo, um incontável número de alianças e ligações. A XBRL é uma linguagem standard utilizada no ambiente da Internet cujo desenvolvimento permitirá obter uma informação de melhor qualidade, mais rápida, mais económica e mais eficaz, para o processo de criação e publicação de relatórios financeiros e empresariais. Neste artigo os autores apresentam, resumidamente, as vantagens referidas pela literatura para esta nova tecnologia, descrevem sumariamente as características técnicas da XBRL, traçam o seu percurso desde 1999 e analisam o potencial deste standard para Portugal, bem como a sua aplicação em diferentes áreas de investigação.

Outsourcing das actividades de marketing digital nas PME

Dissertação de Mestrado Apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Marketing Digital, sob orientação de Professor Doutor Freitas Santos

A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.