CCET - DIMAP - Artigos publicados em periódicos
Permanent URI for this collectionhttps://repositorio.ufrn.br/handle/1/2983
Browse
collection.page.browse.recent.head
Now showing 1 - 10 of 10
Article Blockchain in health information systems: a systematic review(International Journal of Environmental Research and Public Health, 2024-11-14) Fonsêca, Aleika Lwiza Alves; Barbalho, Ingridy Marina Pierre; Fernandes, Felipe Ricardo dos Santos; Arrais Júnior, Ernano; Nagem, Danilo Alves Pinto; Cardoso, Pablo Holanda; Veras, Nícolas Vinícius Rodrigues; Farias, Fernando Lucas de Oliveira; Lindquist, Ana Raquel; Santos, João Paulo Queiroz dos; Morais, Antonio Higor Freire de; Henriques, Jorge; Lucena, Marcia Jacyntha Nunes Rodrigues; Valentim, Ricardo Alexsandro de MedeirosArticle Distributed-Memory load balancing with cyclic token-based work-stealing applied to reverse time migration(Institute of Electrical and Electronics Engineers, 2019) Martins, Idalmis Milian Sardina; Assis, Ítalo Augusto Souza; Oliveira, Antônio D. S.; Barros, Tiago; Bianchini, Calebe P.; Souza, Samuel Xavier deArticle A PSO-inspired architecture to hybridise multi-objective metaheuristics(Springer, 2020-06-22) Fernandes, Islame Felipe da Costa; Silva, Igor Rosberg de Medeiros; Goldbarg, Elizabeth Ferreira Gouvea; Maia, Silvia Maria Diniz Monteiro; Goldbarg, Marco CésarArticle A wearable mobile sensor platform to assist fruit grading(MDPI, 2013-05-10) Aroca, Rafael Vidal; Gomes, Rafael Beserra; Dantas, Rummenigge Rudson; Calbo, Adonai G.; Gonçalves, Luiz Marcos GarciaArticle Sinais e sistemas definidos sobre aritmética intervalar complexa(Sociedade Brasileira de Matemática Aplicada e Computacional, 2012-03-17) Santana, Fabiana Tristão de; Santana, Fágner Lemos; Doria Neto, Adrião Duarte; Santiago, Regivan Hugo NunesArticle Wavelet-fuzzy power quality diagnosis system with inference method based on overlap functions: case study in an AC microgrid(Elsevier, 2019-05-30) Nolasco, Diego H. S.; Costa, Flávio Bezerra; Palmeira, Eduardo Silva; Alves, Denis Keuton; Bedregal, Benjamín Rene Callejas; Rocha, Thiago de Oliveira Alves; Ribeiro, Ricardo Lúcio de Araújo; Silva, Juliano Costa Leal daArticle Sistema de apoio à gestão de cursos de graduação à distância: relato de uma experiência na SEDIS/UFRN(Sistemas & Gestão, 2014-02-06) Oliveira, Idelmárcia Dantas de; Hékis, Hélio Roberto; Valentim, Ricardo Alexsandro de Medeiros; Ramos, Anatália Saraiva Martins; Araújo, Guilherme Fernandes de; Silva, Janaína Luana Rodrigues daThis article presents a information system implemented at the Distance Education Secretariat of the Federal University of Rio Grande do Norte - SEDIS/UFRN, to manage the information that make up the planning of the semester. The methodology used was an adaptation of the standard information systems development lifecycle. The strategy of research was a case study of the use of this system, during the planning of the semester 2013, in the distance learning undergraduate courses at SEDIS/UFRN. As results, it is pointed out that the solution is capable of supporting the management, especially the information that will build the Virtual Learning Environment - VLE, more agility in the production and printing of learning materials, as well as its distribution to centers of learningArticle Maude Object-Oriented Action Tool(2013-05-24) Maidl, André Murbach,; Carvilhe, Cláudio,; Musicante, Martin A.,Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantics specifications. Moreover, it supports syntax-independent specifications, due to the way classes are written. Maude Object-Oriented Action Tool (MOOAT) is an executable environment for Object-Oriented Action Semantics implemented as a conservative extension of Full Maude and Maude MSOS Tool (MMT). The Modular SOS of Action Notation has been implemented using MMT transitions and Full Maude has been used to implement the Classes Notation. The syntax created by MOOAT is fairly similar to the original Object-Oriented Action Semantics syntax. In addition to it, the tool combines the modularity aspects observed in the object-oriented approach with the efficient execution and analysis of the Maude system. We use MOOAT to describe syntaxindependent specifications of programming languages. In this way, we show how Constructive Object-Oriented Action Semantics (COOAS) may be achieved as a combination between Object-Oriented Action Semantics and Constructive Action Semantics (CAS) using MOOAT, in order to increase the modularity aspects observed in the object-oriented formalism. This paper reports on the development of Maude Object-Oriented Action Tool and its application to the formal specification of programming languages.Article Specification and Runtime Verification of Java Card Programs(Elsevier, 2009) Costa, Umberto Souza da; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Plácido A.Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. They are required to be portable and safe. Often, the requirements of the application impose the use of dynamic, on-card verifications, but most of the research developed to improve safety of Java Card applets concentrates on static verification methods. This work presents a runtime verification approach based on Design by Contract to improve the safety of Java Card applications. To this end, we propose JCML (Java Card Modeling Language) a specification language derived from JML (Java Modeling Language) and its implementation: a compiler that generates runtime verification code. We also present some experiments and quality indicators.Article JCML: A specification language for the runtime verification of Java Card programs(Elsevier, 2010-03-19) Moreira, Anamaria Martins; Costa, Umberto Souza da; Musicante, Martin A.; Souza Neto, Plácido A.Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical,highly distributed, mobile conditions. They are required to be portable and safe. Often, the requirements of the application impose the use of dynamic, on-card verifications, but most of the research developed to improve the safety of Java Card applets concentrates on static verification methods. This work presents a runtime verification approach based on Design by Contract to improve the safety of Java Card applications. To this end, we propose JCML (Java Card Modelling Language) a specification language derived from JML (Java Modelling Language) and its implementation: a compiler that generates runtime verification code. We also present some experiments and quality indicators. This paper extends previous published work from the authors with a more complete and precise definition of the JCML language and new experiments and results.