Journal of Computer Languages最新文献_第10页

Taming stateful computations in Rust with typestates 在Rust中使用类型状态驯服有状态计算

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-09-01 DOI: 10.1016/j.cola.2022.101154

J. Duarte, A. Ravara

引用次数: 1

Hapi: A domain-specific language for the declaration of access policies Hapi:用于声明访问策略的特定于领域的语言

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-09-01 DOI: 10.1016/j.cola.2022.101153

Vinícius Julião Ramos, Alexander Holmquist, Fernando Magno Quintão Pereira

引用次数: 1

Design, implementation and evaluation of the Hedy programming language Hedy编程语言的设计、实现和评估

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-09-01 DOI: 10.1016/j.cola.2022.101158

Marleen Gilsing, Jesús Pelay, F. Hermans

引用次数: 0

Minimising line segments in linear diagrams is NP-hard 最小化线性图中的线段是NP困难的

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-08-01 DOI: 10.1016/j.cola.2022.101136

Peter Chapman, Kevin Sim, Huang Hao Chen

引用次数: 2

Investigating the relationships between class probabilities and users' appropriate trust in computer vision classifications of ambiguous images 研究模糊图像计算机视觉分类中类别概率与用户适当信任的关系

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-08-01 DOI: 10.1016/j.cola.2022.101149

G. D. J. Barbosa, Dalai Dos Santos Ribeiro, Marisa Do Carmo Silva, H. Lopes, Simone Diniz Junqueira Barbosa

引用次数: 0

A surprisingly simple Lua compiler - Extended version 一个令人惊讶的简单Lua编译器-扩展版本

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-08-01 DOI: 10.1016/j.cola.2022.101151

Hugo Musso Gualandi, R. Ierusalimschy

引用次数: 0

A novel data-driven approach on inferring loop invariants for C programs 推导C程序循环不变量的一种新的数据驱动方法

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-08-01 DOI: 10.1016/j.cola.2022.101135

Hong Lu , Huitao Wang , Jiacheng Gui , Panfeng Chen , Hao Huang

引用次数: 0

Automatic resolution of model merging conflicts using quality-based reinforcement learning 使用基于质量的强化学习自动解决模型合并冲突

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-08-01 DOI: 10.1016/j.cola.2022.101123

Mohammadreza Sharbaf , Bahman Zamani , Gerson Sunyé

{"title":"Automatic resolution of model merging conflicts using quality-based reinforcement learning","authors":"Mohammadreza Sharbaf , Bahman Zamani , Gerson Sunyé","doi":"10.1016/j.cola.2022.101123","DOIUrl":"https://doi.org/10.1016/j.cola.2022.101123","url":null,"abstract":"<div><p><span><span>Modeling is an activity in the software development life cycle in which different experts and stakeholders collaborate as a team. In collaborative modeling, adhering to the optimistic versioning paradigm allows users to apply concurrent changes to the same model. In such a situation, conflicts may arise. To have an integrated yet consistent merged model, conflicts have to be resolved. To this end, automation is currently at its limit or is not supported at all, and user interaction is often required. To alleviate this flaw, there is an opportunity to apply </span>Artificial Intelligence techniques in a collaborative modeling environment to empower the provisioning of automated and intelligent decision-making. In this paper, we propose the use of </span>reinforcement learning<span><span> algorithms to achieve merging conflict resolution with a high degree of automation. This enables the personalized and quality-based integration of model versions. To evaluate our idea, we demonstrate the resolution of UML class diagram conflicts using a learning process in an illustrative modeling scenario. We also show the applicability of our approach through a proof of concept implementation and assess its accuracy compared to the greedy and search-based algorithms. Moreover, we conducted an experience with five experts to evaluate the satisfaction of actual users with the selection of resolution actions for different conflicts. The result of the assessment validates our proposal with various </span>syntactic and semantic conflicts.</span></p></div>","PeriodicalId":48552,"journal":{"name":"Journal of Computer Languages","volume":"71 ","pages":"Article 101123"},"PeriodicalIF":2.2,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72268942","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Automatic mandala pattern design and generation based on COOM framework 基于COOM框架的曼荼罗图案自动设计与生成

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-08-01 DOI: 10.1016/j.cola.2022.101138

Shuchang Xu, Yu Zhang, Simin Yan

引用次数: 1

Gravity++: A graph-based framework for constructing interactive visualization narratives Gravity++：一个基于图形的交互式可视化叙事构建框架

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-08-01 DOI: 10.1016/j.cola.2022.101125

Humphrey O. Obie , Dac Thanh Chuong Ho , Iman Avazpour , John Grundy , Mohamed Abdelrazek , Tomasz Bednarz , Caslon Chua

{"title":"Gravity++: A graph-based framework for constructing interactive visualization narratives","authors":"Humphrey O. Obie , Dac Thanh Chuong Ho , Iman Avazpour , John Grundy , Mohamed Abdelrazek , Tomasz Bednarz , Caslon Chua","doi":"10.1016/j.cola.2022.101125","DOIUrl":"https://doi.org/10.1016/j.cola.2022.101125","url":null,"abstract":"<div><p><span>Interactive visualizations play a key part in the exploration and analysis of data, and in the creation of visual data stories. This paper describes a new graph-based framework for developing interactive visualizations for creating coherent visual data stories. We have realized our framework in a prototype tool named Gravity++. Gravity++ uses a novel graph architecture for modeling interaction, data navigation, and changes in visual representation to better communicate findings to an audience. The combination of these graph models provides better support and flexibility for designing interactive visualizations, data navigation, and visual data stories. We demonstrate the applicability of this framework by two example </span>usage scenarios. We also report on an evaluation study conducted with representative participants. All participants successfully created meaningful visual data stories with a high level of complexity. Our results also show that Gravity++ is easy to use and supports the understanding and sense-making of the visual data story creation process.</p></div>","PeriodicalId":48552,"journal":{"name":"Journal of Computer Languages","volume":"71 ","pages":"Article 101125"},"PeriodicalIF":2.2,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72232250","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2