Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2014

Optimal self-scheduling of a wind power producer in energy and ancillary services markets using a multi-stage stochastic programming

Autores
Shafie-khah, M; de la Nieta, A; Catalao, J; Heydarian-Forushani, E;

Publicação
2014 Smart Grid Conference (SGC)

Abstract

2014

Elspot: Nord Pool Spot Integration in MASCEM Electricity Market Simulator

Autores
Fernandes, R; Santos, G; Praça, I; Pinto, T; Morais, H; Pereira, IF; Vale, ZA;

Publicação
Highlights of Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection - PAAMS 2014 International Workshops, Salamanca, Spain, June 4-6, 2014. Proceedings

Abstract

2014

Preface

Autores
de Sousa, JF; Rossi, R;

Publicação
Advances in Intelligent Systems and Computing

Abstract

2014

Towards robustness and self-organization of ESB-based solutions using service life-cycle management

Autores
Leitao, P; Barbosa, J; Pereira, A;

Publicação
Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society

Abstract
Enterprise Service Bus (ESB) is a middleware infrastructure that provides a way to integrate loosely-coupled heterogeneous software applications based on the services principles. The life-cycle management of services in such environments is a critical issue for the component's reuse, maintenance and operation. This paper introduces a service life-cycle management module that extends the traditional functionalities with advanced monitoring and data analytics to contribute for the robustness, reliability and self-organization of networks of clusters based on ESB platforms. The realization of this module was embedded in the JBoss ESB, considering a sniffer mechanism to collect the service messages crossing the bus and a Liferay portal to display relevant information related to the services' health. © 2014 IEEE.

2014

A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation

Autores
Santos, AC; Cardoso, JMP; Diniz, PC; Ferreira, DR; Petrov, Z;

Publicação
JOURNAL OF SUPERCOMPUTING

Abstract
The traditional approach for specifying adaptive behavior in embedded applications requires developers to engage in error-prone programming tasks. This results in long design cycles and in the inherent inability to explore and evaluate a wide variety of alternative adaptation behaviors, critical for systems exposed to dynamic operational and situational environments. In this paper, we introduce a domain-specific language (DSL) for specifying and implementing run-time adaptable application behavior. We illustrate our approach using a real-life stereo navigation application as a case study, highlighting the impact and benefits of dynamically adapting algorithm parameters. The experiments reveal our approach effective, as such run-time adaptations are easily specified in a higher level by the DSL, and thus at a lower programming effort than when using a general-purpose language such as C.

2014

Paradigm integration in a specification course

Autores
Martins, MA; Madeira, A; Barbosa, LS; Neves, R;

Publicação
2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI)

Abstract
As a complex artefact, software has to meet requirements formulated and verified at different levels of abstraction. A basic distinction is drawn between behavioural (dynamic) and data (static) aspects. From an educational point of view, although disguised under a number of different designations, both issues are usually present, but kept separated, in typical Computer Science undergraduate curricula. It is often argued that they tackle orthogonal problems through essentially different methods. This paper explores an alternative path in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

  • 2826
  • 4387