2020
Authors
Alonso, AN; Abreu, J; Nunes, D; Vieira, A; Santos, L; Soares, T; Pereira, J;
Publication
Distributed Applications and Interoperable Systems - 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
Abstract
Low-code application development as proposed by the OutSystems Platform enables fast mobile and desktop application development and deployment. It hinges on visual development of the interface and business logic but also on easy integration with data stores and services while delivering robust applications that scale. Data integration increasingly means accessing a variety of NoSQL stores. Unfortunately, the diversity of data and processing models, that make them useful in the first place, is difficult to reconcile with the simplification of abstractions exposed to developers in a low-code platform. Moreover, NoSQL data stores also rely on a variety of general purpose and custom scripting languages as their main interfaces. In this paper we report on building a polyglot data access layer for the OutSystems Platform that uses SQL with optional embedded script snippets to bridge the gap between low-code and full access to NoSQL stores. © IFIP International Federation for Information Processing 2020.
2020
Authors
Alonso, AN; Abreu, J; Nunes, D; Vieira, A; Santos, L; Soares, T; Pereira, J;
Publication
CoRR
Abstract
2020
Authors
de Oliveira Dantas, ABD; de Carvalho Junior, FH; Barbosa, LS;
Publication
SCIENCE OF COMPUTER PROGRAMMING
Abstract
HPC Shelf is a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification on HPC Shelf. Certification is aimed at providing higher confidence that components of parallel computing systems of HPC Shelf behave as expected according to one or more requirements expressed in their contracts. To this end, new abstractions are introduced, starting with certifier components. They are designed to inspect other components and verify them for different types of functional, non-functional and behavioral requirements. The certification framework is naturally based on parallel computing techniques to speed up verification tasks.
2020
Authors
Gomes, L; Madeira, A; Barbosa, LS;
Publication
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Abstract
This paper introduces a sort of automata and associated languages, often arising in modelling natural phenomena, in which both vagueness and simultaneity are taken as first class citizens. This requires a fuzzy semantics assigned to transitions and a precise notion of a synchronous product to enforce the simultaneous occurrence of actions. The expected relationships between automata and languages are revisited in this setting; in particular it is shown that any subset of a fuzzy synchronous language with the suitable signature forms a synchronous Kleene algebra.
2020
Authors
Barbosa, LS; Baltag, A;
Publication
DaLí
Abstract
2020
Authors
Guimaraes, JD; Tavares, C; Barbosa, LS; Vasilevskiy, MI;
Publication
COMPLEXITY
Abstract
Photosynthesis is an important and complex physical process in nature, whose comprehensive understanding would have many relevant industrial applications, for instance, in the field of energy production. In this paper, we propose a quantum algorithm for the simulation of the excitonic transport of energy, occurring in the first stage of the process of photosynthesis. The algorithm takes in account the quantum and environmental effects (pure dephasing), influencing the quantum transport. We performed quantum simulations of such phenomena, for a proof of concept scenario, in an actual quantum computer, IBMQ, of 5 qubits. We validate the results with the Haken-Strobl model and discuss the influence of environmental parameters on the efficiency of the energy transport.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.