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

Efficient Measurement of the User Experience. A Portuguese Version

Autores
Cota, MP; Thomaschewski, J; Schrepp, M; Gonçalves, R;

Publicação
5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013

Abstract
For the international use of software products it is important to know the culture, language and behavior of the citizens. Means: internationalization and location. To be able to evaluate these products it is significant to know how people from a country behave and express their feelings. This article presents a questionnaire which was initially developed in German, English and Spanish and is now available after a complex transformation in Portuguese. (C) 2013 The Authors. Published by Elsevier B.V.

2014

Graphical Querying of Model-Driven Spreadsheets

Autores
Cunha, J; Fernandes, JP; Pereira, R; Saraiva, J;

Publicação
HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND KNOWLEDGE DESIGN AND EVALUATION, PT I

Abstract
This paper presents a graphical interface to query model-driven spreadsheets to simplify query construction for typical end-users with little to no knowledge of SQL. This was based on experience with previous work and empirical studies in querying systems. We briefly show our previous text based model-driven querying system. Afterwards, we detail our graphical model-driven querying interface, explaining each part of the interface and showing an example. To validate our work, we executed an empirical study, comparing our graphical querying approach to an alternative querying tool, which produced positive results.

2014

A relational approach to bidirectional transformation

Autores
Macedo, N;

Publicação

Abstract
The ubiquity of data transformation problems in software engineering has led to the development of bidirectional transformation techniques in a variety of application domains. Model-driven engineering (MDE) is one of those areas, where such techniques are essential to maintain the consistency between multiple coexisting and simultaneously evolving models. However, the lack of in-depth research about certain characteristics of MDE has hindered the development of effective bidirectional model transformations that are able to address realistic MDE scenarios. This dissertation tackles two of these issues: that of constrained transformation domains and least-change transformations. The first regards the transformations’ ability to take into consideration the constraints imposed by the meta-models, and is essential to achieve correctness; the second regards the transformations’ ability to control the selection of updates from among those considered correct, and is essential to achieve a predictable system. These two issues are addressed under two popular bidirectional transformation schemes: in the context of the asymmetric framework of lenses, following a combinatorial approach; and in the context of the symmetric framework of constraint maintainers, proposing a solution based on model finding. The latter was effectively deployed as Echo, a tool for model repair and transformation. The expressiveness and flexibility provided by relational logic enabled it to be used as the unifying formalism throughout this dissertation.;A ubiquidade de problemas de transformação de dados em engenharia de software levou ao desenvolvimento de técnicas para transformação bidirecional numa variedade de domínios de aplicação. A Engenharia Baseada em Modelos (MDE) é uma dessas áreas, onde essas técnicas são essenciais para gerir a consistência entre múltiplos modelos que coexistem e evolvem simultaneamente. No entanto, a falta de estudos aprofundados sobre algumas características da MDE tem dificultado o desenvolvimento de técnicas de transformação bidirecional de modelos eficazes e que consigam lidar com cenários MDE realísticos. Esta dissertação aborda dois destes problemas: o de domínios de transformação restringidos e o de transformações com mudanças-mínimas. O primeiro tem que ver com a capacidade das transformações de ter em consideração as restrições impostas pelos meta-modelos e é essencial para atingir correcção; a segunda tem que ver com a capacidade de controlar a seleção de modificações entre as consideradas corretas, e é essencial para obter um sistema previsível. Esta tese aborda estes dois problemas sob dois populares esquemas de transformação bidirecional: no contexto da framework assimétrica das lentes, seguindo uma abordagem combinatorial, e no contexto da framework simétrica dos constraint maintainers, sendo proposta uma solução baseada em “procura de modelos”. Esta última foi efetivamente implementada como Echo, uma ferramenta para a reparação e transformação de modelos. A expressividade e flexibilidade proporcionada pela lógica relacional permitiu que esta fosse usada como o formalismo unificador desta dissertação.

2014

Multi-agent simulation of bilateral contracting in competitive electricity markets

Autores
Lopes, F; Algarvio, H; Sousa, JAM; Coelho, H; Pinto, T; Santos, G; Vale, Z; Praca, I;

Publicação
Proceedings - International Workshop on Database and Expert Systems Applications, DEXA

Abstract
Traditional vertically integrated power utilities around the world have evolved from monopoly structures to open markets that promote competition among suppliers and provide consumers with a choice of services. Market forces drive the price of electricity and reduce the net cost through increased competition. Electricity can be traded in both organized markets or using forward bilateral contracts. This article focuses on bilateral contracts and describes some important features of an agent-based system for bilateral trading in competitive markets. Special attention is devoted to the negotiation process, demand response in bilateral contracting, and risk management. The article also presents a case study on forward bilateral contracting: a retailer agent and a customer agent negotiate a 24h-rate tariff.

2014

pH1: A Transactional Middleware for NoSQL

Autores
Coelho, F; Cruz, F; Vilaça, R; Pereira, J; Oliveira, R;

Publicação
2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS)

Abstract
NoSQL databases opt not to offer important abstractions traditionally found in relational databases in order to achieve high levels of scalability and availability: transactional guarantees and strong data consistency. In this work we propose pH1, a generic middleware layer over NoSQL databases that offers transactional guarantees with Snapshot Isolation. This is achieved in a non-intrusive manner, requiring no modifications to servers and no native support for multiple versions. Instead, the transactional context is achieved by means of a multiversion distributed cache and an external transaction certifier, exposed by extending the client's interface with transaction bracketing primitives. We validate and evaluate pH1 with Apache Cassandra and Hyperdex. First, using the YCSB benchmark, we show that the cost of providing ACID guarantees to these NoSQL databases amounts to 11% decrease in throughput. Moreover, using the transaction intensive TPC-C workload, pH1 presented an impact of 22% decrease in throughput. This contrasts with OMID, a previous proposal that takes advantage of HBase's support for multiple versions, with a throughput penalty of 76% in the same conditions

2014

Real-time communication in IEEE 802.11s mesh networks: simulation assessment considering the interference of non-real-time traffic sources

Autores
Viegas, CMD; Vasques, F; Portugal, P; Moraes, R;

Publicação
EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING

Abstract
With the widespread deployment of wireless mesh networks (WMNs) in industrial environments, real-time (RT) communication may benefit from the multi-hop relaying infrastructure provided by WMNs. However, RT communication must be able to coexist with non-RT traffic sources that will interfere with RT communication. Within this context, this paper assesses the impact of interferences caused by non-RT traffic sources upon RT traffic in IEEE 802.11s mesh networks. Through an extensive set of simulations, we assess the impact of external traffic sources upon a set of RT message streams in different communication scenarios. According to the simulation results, we infer that RT traffic in 802.11s networks may be highly affected by external interferences, and therefore, such interferences must be taken into account when setting-up 802.11s networks. By varying the network load imposed by external interferences, we provide some useful hints about utilization thresholds above which the network can no longer reliably support RT traffic. We also present insights about the setting-up of some network parameters in order to optimize the RT communication performance.

  • 2987
  • 4387