当前期刊: "软件"类期刊
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • Users’ domain knowledge prediction in e-learning with speech-interfaced augmented and virtual reality contents
    Virtual Real. (IF 2.906) Pub Date : 2017-09-26
    Ponsy R. K. Sathia Bhama, Vigneshwaran Hariharasubramanian, O. P. Mythili, Murugesh Ramachandran

    Abstract E-learning provides an individualized course path which provides a user the convenience of pacing ones way through a particular course. One of the key privileges it offers is the flexibility of the course and consistent delivery of the material. The proposed system predicts the user’s domain knowledge with the help of the lectures knowledge that a particular user completes and also a lecture’s

    更新日期:2020-04-08
  • Approximate solution of the backward problem for Kirchhoff’s model of Parabolic type with discrete random noise
    Comput. Math. Appl. (IF 2.811) Pub Date : 2020-04-08
    Nguyen Anh Triet; Nguyen Duc Phuong; Donal O’Regan; Nguyen Huy Tuan

    In this paper, we consider the final boundary value problem for non-local Kirchhoff’s model of parabolic type with discrete random noise. We first discuss the instability of solutions. Then we present the regularized solution by the trigonometric method in non-parametric regression associated with the truncated expansion method. In addition, under a prior assumption on the exact solution, the convergence

    更新日期:2020-04-08
  • EAFIM: efficient apriori-based frequent itemset mining algorithm on Spark for big transactional data
    Knowl. Inf. Syst. (IF 2.397) Pub Date : 2020-04-07
    Shashi Raj, Dharavath Ramesh, M. Sreenu, Krishan Kumar Sethi

    Abstract Frequent itemset mining is considered a popular tool to discover knowledge from transactional datasets. It also serves as the basis for association rule mining. Several algorithms have been proposed to find frequent patterns in which the apriori algorithm is considered as the earliest proposed. Apriori has two significant bottlenecks associated with it: first, repeated scanning of input dataset

    更新日期:2020-04-08
  • Multilevel Analysis of The Java Virtual Machine Based on Kernel and Userspace Traces
    J. Syst. Softw. (IF 2.559) Pub Date : 2020-04-06
    Houssem Daoud; Michel Dagenais

    Performance analysis of Java applications requires a deep understanding of the Java virtual machine and the system on which it is running. An unexpected latency can be caused by a bug in the source code, a misconfiguration or an external factor like CPU or disk contention. Existing tools have difficulties finding the root cause of some latencies because they do not efficiently collect performance data

    更新日期:2020-04-08
  • More precise construction of static single assignment programs using reaching definitions
    J. Syst. Softw. (IF 2.559) Pub Date : 2020-04-06
    Abu Naser Masud; Federico Ciccozzi

    The Static Single Assignment (SSA) form is an intermediate representation used for the analysis and optimization of programs in modern compilers. The ϕ-function placement is the most computationally expensive part of converting any program into its SSA form. The most widely-used ϕ-function placement algorithms are based on computing dominance frontiers (DF). However, this kind of algorithms works under

    更新日期:2020-04-08
  • Scalable model views over heterogeneous modeling technologies and resources
    Softw. Syst. Model. (IF 2.66) Pub Date : 2020-04-08
    Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel, Sina Madani, Dimitris Kolovos, Jordi Cabot

    Abstract When engineering complex systems, models are typically used to represent various systems aspects. These models are often heterogeneous in terms of modeling languages, provenance, number or scale. As a result, the information actually relevant to engineers is usually split into different kinds of interrelated models. To be useful in practice, these models need to be properly integrated to provide

    更新日期:2020-04-08
  • An interdisciplinary comparison of sequence modeling methods for next-element prediction
    Softw. Syst. Model. (IF 2.66) Pub Date : 2020-04-07
    Niek Tax, Irene Teinemaa, Sebastiaan J. van Zelst

    Abstract Data of sequential nature arise in many application domains in the form of, e.g., textual data, DNA sequences, and software execution traces. Different research disciplines have developed methods to learn sequence models from such datasets: (i) In the machine learning field methods such as (hidden) Markov models and recurrent neural networks have been developed and successfully applied to

    更新日期:2020-04-08
  • Rough polyharmonic splines method for optimal control problem governed by parabolic systems with rough coefficient
    Comput. Math. Appl. (IF 2.811) Pub Date : 2020-04-06
    Jiaoyan Zeng; Yanping Chen; Guichang Liu

    Rough polyharmonic splines (RPS) is a variational method which has recently been developed for linear divergence-form operators with arbitrary rough coefficients. RPS method does not rely on concepts of ergodicity or scale-separation, but on compactness properties of the solution space. In this paper, we extend RPS approach method for the optimal control problem governed by parabolic systems with rough

    更新日期:2020-04-08
  • Ranking Computer Vision Service Issues using Emotion
    arXiv.cs.SE Pub Date : 2020-04-07
    Maheswaree K Curumsing; Alex Cummaudo; Ulrike Maria Graestch; Scott Barnett; Rajesh Vasa

    Software developers are increasingly using machine learning APIs to implement 'intelligent' features. Studies show that incorporating machine learning into an application increases technical debt, creates data dependencies, and introduces uncertainty due to non-deterministic behaviour. However, we know very little about the emotional state of software developers who deal with such issues. In this paper

    更新日期:2020-04-08
  • Embedding Java Classes with code2vec: Improvements from Variable Obfuscation
    arXiv.cs.SE Pub Date : 2020-04-06
    Rhys Compton; Eibe Frank; Panos Patros; Abigail Koay

    Automatic source code analysis in key areas of software engineering, such as code security, can benefit from Machine Learning (ML). However, many standard ML approaches require a numeric representation of data and cannot be applied directly to source code. Thus, to enable ML, we need to embed source code into numeric feature vectors while maintaining the semantics of the code as much as possible. code2vec

    更新日期:2020-04-08
  • Vulnerabilities Mapping based on OWASP-SANS: a Survey for Static Application Security Testing (SAST)
    arXiv.cs.SE Pub Date : 2020-04-07
    Jinfeng Li

    The delivery of a framework in place for secure application development is of real value for application development teams to integrate security into their development life cycle, especially when a mobile or web application moves past the scanning stage and focuses increasingly on the remediation or mitigation phase based on static application security testing (SAST). For the first time, to the author's

    更新日期:2020-04-08
  • A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages
    arXiv.cs.SE Pub Date : 2020-04-07
    Théo ZimmermannPI.R2, IRIF

    One of the biggest strength of many modern programming languages is their rich open source package ecosystem. Indeed, modern language-specific package managers have made it much easier to share reusable code and depend on components written by someone else (often by total strangers). However, while they make programmers more productive, such practices create new health risks at the level of the ecosystem:

    更新日期:2020-04-08
  • BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis
    arXiv.cs.SE Pub Date : 2020-04-07
    Francisco Maria Calisto; Nuno Jardim Nunes; Jacinto Carlos Nascimento

    This paper describes the field research, design and comparative deployment of a multimodal medical imaging user interface for breast screening. The main contributions described here are threefold: 1) The design of an advanced visual interface for multimodal diagnosis of breast cancer (BreastScreening); 2) Insights from the field comparison of single vs multimodality screening of breast cancer diagnosis

    更新日期:2020-04-08
  • On Relating Technical, Social Factors, and the Introduction of Bugs
    arXiv.cs.SE Pub Date : 2018-11-05
    Filipe Falcão; Caio Barbosa; Baldoino Fonseca; Alessandro Garcia; Márcio Ribeiro; Rohit Ghey

    As collaborative coding environments make it easier to contribute to software projects, the number of developers involved in these projects keeps increasing. This increase makes it more difficult for code reviewers to deal with buggy contributions. Collaborative environments like GitHub provide a rich source of data on developers' contributions. Such data can be used to extract information about developers

    更新日期:2020-04-08
  • Better Data Labelling with EMBLEM (and how that Impacts Defect Prediction)
    arXiv.cs.SE Pub Date : 2019-05-05
    Huy Tu; Zhe Yu; Tim Menzies

    Standard automatic methods for recognizing problematic development commits can be greatly improved via the incremental application of human+artificial expertise. In this approach, called EMBLEM, an AI tool first explore the software development process to label commits that are most problematic. Humans then apply their expertise to check those labels (perhaps resulting in the AI updating the support

    更新日期:2020-04-08
  • The role of formalism in system requirements
    arXiv.cs.SE Pub Date : 2019-11-06
    Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev; Manuel Mazzara; Bertrand Meyer

    A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, which is good for understandability but lacks precision. To make requirements precise, researchers have for many years advocated the use of ``formal'' approaches. Many such approaches exist, differing in their

    更新日期:2020-04-08
  • The Machine Learning Bazaar: Harnessing the ML Ecosystem for Effective System Development
    arXiv.cs.SE Pub Date : 2019-05-22
    Micah J. Smith; Carles Sala; James Max Kanter; Kalyan Veeramachaneni

    As machine learning is applied more widely, data scientists often struggle to find or create end-to-end machine learning systems for specific tasks. The proliferation of libraries and frameworks and the complexity of the tasks have led to the emergence of "pipeline jungles" - brittle, ad hoc ML systems. To address these problems, we introduce the Machine Learning Bazaar, a new framework for developing

    更新日期:2020-04-08
  • Improved Code Summarization via a Graph Neural Network
    arXiv.cs.SE Pub Date : 2020-04-06
    Alexander LeClair; Sakib Haque; Lingfei Wu; Collin McMillan

    Automatic source code summarization is the task of generating natural language descriptions for source code. Automatic code summarization is a rapidly expanding research area, especially as the community has taken greater advantage of advances in neural network and AI technologies. In general, source code summarization techniques use the source code as input and outputs a natural language description

    更新日期:2020-04-08
  • Embedding Java Classes with code2vec: Improvements from Variable Obfuscation
    arXiv.cs.PL Pub Date : 2020-04-06
    Rhys Compton; Eibe Frank; Panos Patros; Abigail Koay

    Automatic source code analysis in key areas of software engineering, such as code security, can benefit from Machine Learning (ML). However, many standard ML approaches require a numeric representation of data and cannot be applied directly to source code. Thus, to enable ML, we need to embed source code into numeric feature vectors while maintaining the semantics of the code as much as possible. code2vec

    更新日期:2020-04-08
  • Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL
    arXiv.cs.PL Pub Date : 2020-04-06
    Sadegh Dalvandi; Brijesh Dongol; Simon Doherty

    Weak memory presents a new challenge for program verification and has resulted in the development of a variety of specialised logics. For C11-style memory models, our previous work has shown that it is possible to extend Hoare logic and Owicki-Gries reasoning to verify correctness of weak memory programs. The technique introduces a set of high-level assertions over C11 states together with a set of

    更新日期:2020-04-08
  • egg: Easy, Efficient, and Extensible E-graphs
    arXiv.cs.PL Pub Date : 2020-04-07
    Max Willsey; Yisu Remy Wang; Oliver Flatt; Chandrakana Nandi; Pavel Panchekha; Zachary Tatlock

    An E-graph is a data structure that can efficiently encode the congruence closure of an equivalence relation over many expressions. E-graphs are used in theorem provers for communicating equalities among theories. Another strand of work proposed their use for rewrite-driven program optimization with a technique called equality saturation. In this work, we expand on the idea of equality saturation and

    更新日期:2020-04-08
  • Decidability and Synthesis of Abstract Inductive Invariants
    arXiv.cs.PL Pub Date : 2020-04-07
    Francesco Ranzato

    Decidability and synthesis of inductive invariants ranging in a given domain play an important role in many software and hardware verification systems. We consider here inductive invariants belonging to an abstract domain $A$ as defined in abstract interpretation, namely, ensuring the existence of the best approximation in $A$ of any system property. In this setting, we study the decidability of the

    更新日期:2020-04-08
  • LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
    arXiv.cs.PL Pub Date : 2020-04-07
    Fabian Schuiki; Andreas Kurth; Tobias Grosser; Luca Benini

    Modern Hardware Description Languages (HDLs) such as SystemVerilog or VHDL are, due to their sheer complexity, insufficient to transport designs through modern circuit design flows. Instead, each design automation tool lowers HDLs to its own Intermediate Representation (IR). These tools are monolithic and mostly proprietary, disagree in their implementation of HDLs, and while many redundant IRs exists

    更新日期:2020-04-08
  • The role of formalism in system requirements
    arXiv.cs.PL Pub Date : 2019-11-06
    Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev; Manuel Mazzara; Bertrand Meyer

    A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, which is good for understandability but lacks precision. To make requirements precise, researchers have for many years advocated the use of ``formal'' approaches. Many such approaches exist, differing in their

    更新日期:2020-04-08
  • SoftWear: Software-Only In-Memory Wear-Leveling for Non-Volatile Main Memory
    arXiv.cs.OS Pub Date : 2020-04-07
    Christian Hakert; Kuan-Hsun Chen; Pual R. Genssler; Georg von der Brüggen; Lars Bauer; Hussam Amrouch; Jian-Jia Chen; Jörg Henkel

    Several emerging technologies for byte-addressable non-volatile memory (NVM) have been considered to replace DRAM as the main memory in computer systems during the last years. The disadvantage of a lower write endurance, compared to DRAM, of NVM technologies like Phase-Change Memory (PCM) or Ferroelectric RAM (FeRAM) has been addressed in the literature. As a solution, in-memory wear-leveling techniques

    更新日期:2020-04-08
  • The DUNE Framework: Basic Concepts and Recent Developments
    arXiv.cs.MS Pub Date : 2019-09-30
    Peter Bastian; Markus Blatt; Andreas Dedner; Nils-Arne Dreier; Christian Engwer; René Fritze; Carsten Gräser; Christoph Grüninger; Dominic Kempf; Robert Klöfkorn; Mario Ohlberger; Oliver Sander

    This paper presents the basic concepts and the module structure of the Distributed and Unified Numerics Environment and reflects on recent developments and general changes that happened since the release of the first Dune version in 2007 and the main papers describing that state [1, 2]. This discussion is accompanied with a description of various advanced features, such as coupling of domains and cut

    更新日期:2020-04-08
  • Multilingual enrichment of disease biomedical ontologies
    arXiv.cs.IR Pub Date : 2020-04-07
    Léo BouscarratQARMA, TALEP; Antoine BonnefoyLIF, QARMA; Cécile CapponiLIF, QARMA; Carlos RamischTALEP

    Translating biomedical ontologies is an important challenge, but doing it manually requires much time and money. We study the possibility to use open-source knowledge bases to translate biomedical ontologies. We focus on two aspects: coverage and quality. We look at the coverage of two biomedical ontologies focusing on diseases with respect to Wikidata for 9 European languages (Czech, Dutch, English

    更新日期:2020-04-08
  • Query Focused Multi-Document Summarization with Distant Supervision
    arXiv.cs.IR Pub Date : 2020-04-06
    Yumo Xu; Mirella Lapata

    We consider the problem of better modeling query-cluster interactions to facilitate query focused multi-document summarization (QFS). Due to the lack of training data, existing work relies heavily on retrieval-style methods for estimating the relevance between queries and text segments. In this work, we leverage distant supervision from question answering where various resources are available to more

    更新日期:2020-04-08
  • Discovering associations in COVID-19 related research papers
    arXiv.cs.IR Pub Date : 2020-04-06
    Iztok Fister Jr.; Karin Fister; Iztok Fister

    A COVID-19 pandemic has already proven itself to be a global challenge. It proves how vulnerable humanity can be. It has also mobilized researchers from different sciences and different countries in the search for a way to fight this potentially fatal disease. In line with this, our study analyses the abstracts of papers related to COVID-19 and coronavirus-related-research using association rule text

    更新日期:2020-04-08
  • Deep Learning Based Multi-Label Text Classification of UNGA Resolutions
    arXiv.cs.IR Pub Date : 2020-04-01
    Francesco Sovrano; Monica Palmirani; Fabio Vitali

    The main goal of this research is to produce a useful software for United Nations (UN), that could help to speed up the process of qualifying the UN documents following the Sustainable Development Goals (SDGs) in order to monitor the progresses at the world level to fight poverty, discrimination, climate changes. In fact human labeling of UN documents would be a daunting task given the size of the

    更新日期:2020-04-08
  • Testing pre-trained Transformer models for Lithuanian news clustering
    arXiv.cs.IR Pub Date : 2020-04-03
    Lukas Stankevičius; Mantas Lukoševičius

    A recent introduction of Transformer deep learning architecture made breakthroughs in various natural language processing tasks. However, non-English languages could not leverage such new opportunities with the English text pre-trained models. This changed with research focusing on multilingual models, where less-spoken languages are the main beneficiaries. We compare pre-trained multilingual BERT

    更新日期:2020-04-08
  • How Additional Knowledge can Improve Natural Language Commonsense Question Answering?
    arXiv.cs.IR Pub Date : 2019-09-19
    Arindam Mitra; Pratyay Banerjee; Kuntal Kumar Pal; Swaroop Mishra; Chitta Baral

    Recently several datasets have been proposed to encourage research in Question Answering domains where commonsense knowledge is expected to play an important role. Recent language models such as ROBERTA, BERT and GPT that have been pre-trained on Wikipedia articles and books have shown reasonable performance with little fine-tuning on several such Multiple Choice Question-Answering (MCQ) datasets.

    更新日期:2020-04-08
  • Knowledge Guided Named Entity Recognition for BioMedical Text
    arXiv.cs.IR Pub Date : 2019-11-10
    Pratyay Banerjee; Kuntal Kumar Pal; Murthy Devarakonda; Chitta Baral

    In this work, we formulate the NER task as a multi-answer question answering (MAQA) task and provide different knowledge contexts, such as entity types, questions, definitions and definitions with examples. This formulation (a) enables systems to jointly learn from varied NER datasets, enabling systems to learn more NER specific features, (b) can use knowledge-text attention to identify words having

    更新日期:2020-04-08
  • Instance-based Transfer Learning for Multilingual Deep Retrieval
    arXiv.cs.IR Pub Date : 2019-11-08
    Andrew O. Arnold; William W. Cohen

    Perhaps the simplest type of multilingual transfer learning is instance-based transfer learning, in which data from the target language and the auxiliary languages are pooled, and a single model is learned from the pooled data. It is not immediately obvious when instance-based transfer learning will improve performance in this multilingual setting: for instance, a plausible conjecture is this kind

    更新日期:2020-04-08
  • On the Persistence of Persistent Identifiers of the Scholarly Web
    arXiv.cs.DL Pub Date : 2020-04-06
    Martin Klein; Lyudmila Balakireva

    Scholarly resources, just like any other resources on the web, are subject to reference rot as they frequently disappear or significantly change over time. Digital Object Identifiers (DOIs) are commonplace to persistently identify scholarly resources and have become the de facto standard for citing them. We investigate the notion of persistence of DOIs by analyzing their resolution on the web. We derive

    更新日期:2020-04-08
  • GeoFlink: A Framework for the Real-time Processing of Spatial Streams
    arXiv.cs.DB Pub Date : 2020-04-07
    Salman Ahmed Shaikh; Komal Mariam; Hiroyuki Kitagawa; Kyoung-Sook Kim

    Apache Flink is an open-source system for the scalable processing of batch and streaming data. The Flink does not natively support the efficient processing of spatial data streams, which is the requirement of many applications dealing with the spatial data. Besides Flink, other scalable spatial data processing platforms including GeoSpark, Spatial Hadoop, GeoMesa and Parallel Secondo do not support

    更新日期:2020-04-08
  • Forecasting in multivariate irregularly sampled time series with missing values
    arXiv.cs.DB Pub Date : 2020-04-06
    Shivam Srivastava; Prithviraj Sen; Berthold Reinwald

    Sparse and irregularly sampled multivariate time series are common in clinical, climate, financial and many other domains. Most recent approaches focus on classification, regression or forecasting tasks on such data. In forecasting, it is necessary to not only forecast the right value but also to forecast when that value will occur in the irregular time series. In this work, we present an approach

    更新日期:2020-04-08
  • Learning Individual Models for Imputation (Technical Report)
    arXiv.cs.DB Pub Date : 2020-04-07
    Aoqian Zhang; Shaoxu Song; Yu Sun; Jianmin Wang

    Missing numerical values are prevalent, e.g., owing to unreliable sensor reading, collection and transmission among heterogeneous sources. Unlike categorized data imputation over a limited domain, the numerical values suffer from two issues: (1) sparsity problem, the incomplete tuple may not have sufficient complete neighbors sharing the same/similar values for imputation, owing to the (almost) infinite

    更新日期:2020-04-08
  • An Algorithm for Context-Free Path Queries over Graph Databases
    arXiv.cs.DB Pub Date : 2020-04-07
    Ciro M. Medeiros; Martin A. Musicante; Umberto S. Costa

    RDF (Resource Description Framework) is a standard language to represent graph databases. Query languages for RDF databases usually include primitives to support path queries, linking pairs of vertices of the graph that are connected by a path of labels belonging to a given language. Languages such as SPARQL include support for paths defined by regular languages (by means of Regular Expressions). A

    更新日期:2020-04-08
  • Modularis: Modular Data Analytics for Hardware, Software, and Platform Heterogeneity
    arXiv.cs.DB Pub Date : 2020-04-07
    Dimitrios Koutsoukos; Ingo Müller; Renato Marroquín; Gustavo Alonso

    Today's data analytics displays an overwhelming diversity along many dimensions: data types, platforms, hardware acceleration, etc. As a result, system design often has to choose between depth and breadth: high efficiency for a narrow set of use cases or generality at a lower performance. In this paper, we pave the way to get the best of both worlds: We present Modularis-an execution layer for data

    更新日期:2020-04-08
  • Usable & Scalable Learning Over Relational Data With Automatic Language Bias
    arXiv.cs.DB Pub Date : 2017-10-03
    Jose Picado; Arash Termehchy; Sudhanshu Pathak; Alan Fern; Praveen Ilango; Yunqiao Cai

    Relational databases are valuable resources for learning novel and interesting relations and concepts. In order to constraint the search through the large space of candidate definitions, users must tune the algorithm by specifying a language bias. Unfortunately, specifying the language bias is done via trial and error and is guided by the expert's intuitions. We propose AutoBias, a system that leverages

    更新日期:2020-04-08
  • A blockchain-based data storage framework: A rotating multiple random masters and error-correcting approach
    Peer-to-Peer Netw. Appl. (IF 2.397) Pub Date : 2020-04-05
    Yuqi Fan, JingLin Zou, Siyu Liu, Qiran Yin, Xin Guan, Xiaohui Yuan, Weili Wu, Dingzhu Du

    Abstract A blockchain is resistant to modification based on the consensus of the network majority, which requires a large amount of communication among distributed nodes. Existing data dissemination protocol solves the wrong block problem also at a high communication cost. This paper investigates the error-correcting tamper-proofing data storage problem and proposes a three-layer framework to store

    更新日期:2020-04-06
  • PSTRM: Privacy-aware sociopsychological trust and reputation model for wireless sensor networks
    Peer-to-Peer Netw. Appl. (IF 2.397) Pub Date : 2020-04-05
    Henry Nunoo-Mensah, Kwame Osei Boateng, James Dzisi Gadze

    Abstract The high possibility of attack is greatly attributed to the broadcast nature of the communication medium in which the sensor nodes operate; this makes eavesdropping of messages possible on the network. This paper proposes a privacy-aware sociopsychological trust and reputation management (PSTRM) model. The paper presents a model that models the ability of a node as a continuum based on the

    更新日期:2020-04-06
  • A novel possibilistic artificial immune-based classifier for course learning outcome enhancement
    Knowl. Inf. Syst. (IF 2.397) Pub Date : 2020-04-04
    Ilyes Jenhani, Ammar Elhassan, Ghassen Ben Brahim

    Abstract In this paper, we propose PAIRS3: a possibilistic classification approach based on artificial immune recognition system (AIRS) and the possibility theory. PAIRS3 is applied to address shortcomings in student attainment rates of course learning outcomes by predicting effective remedial actions through learning from assessment rubrics instances. For most of assessment rubric instances, it is

    更新日期:2020-04-06
  • A sliding mode-based approach to motion cueing for virtual reality gaming using motion simulators
    Virtual Real. (IF 2.906) Pub Date : 2020-04-06
    Aman Sharma, Mohamed Sadiq Ikbal, Duc Trinh Cuong, Matteo Zoppi

    Abstract Motion simulators have been of significant importance for the aviation sector in training pilots. However, the present boom in the utilization of robotics for virtual reality (VR) gaming has given rise to a new application of motion simulators. Motion cueing algorithms (MCA) play a key role in mapping the motions from a gaming scenario to the workspace of a simulator. This workspace is small

    更新日期:2020-04-06
  • The state of adoption and the challenges of systematic variability management in industry
    Empir. Software Eng. (IF 4.457) Pub Date : 2020-04-04
    Thorsten Berger, Jan-Philipp Steghöfer, Tewfik Ziadi, Jacques Robin, Jabier Martinez

    Abstract Handling large-scale software variability is still a challenge for many organizations. After decades of research on variability management concepts, many industrial organizations have introduced techniques known from research, but still lament that pure textbook approaches are not applicable or efficient. For instance, software product line engineering—an approach to systematically develop

    更新日期:2020-04-06
  • Correctness Checking for BPMN Collaborations with Sub-Processes
    J. Syst. Softw. (IF 2.559) Pub Date : 2020-04-06
    Flavio Corradini; Andrea Morichetta; Andrea Polini; Barbara Re; Lorenzo Rossi; Francesco Tiezzi

    BPMN collaboration models are commonly used to describe the behaviour and interactions of processes in an inter-organisational context. An important role in this kind of models is played both by the message flow, and by sub-processes. The interplay between these features of BPMN models can conceal subtle or unexpected effects, which makes the design activity error-prone, thus leading to the possible

    更新日期:2020-04-06
  • Automated defect identification via path analysis-based features with transfer learning
    J. Syst. Softw. (IF 2.559) Pub Date : 2020-04-05
    Yuwei Zhang; Dahai Jin; Ying Xing; Yunzhan Gong

    Recently, artificial intelligence techniques have been widely applied to address various specialized tasks in software engineering, such as code generation, defect identification, and bug repair. Despite the diffuse usage of static analysis tools in automatically detecting potential software defects, developers consider the large number of reported alarms and the expensive cost of manual inspection

    更新日期:2020-04-06
  • Autonomous FEs (AFE) - A stride toward personalized medicine
    Comput. Math. Appl. (IF 2.811) Pub Date : 2020-04-03
    Zohar Yosibash; Kent Myers; Nir Trabelsi; Amir Sternheim

    Finite element analysis (FEA), introduced more than half a century ago, requires a (qualified) analyst to generate the necessary input data, verify the output and post process the analysis results for a meaningful conclusion. The required expertise and labor efforts have precluded the use of FEA in daily medical practice by orthopedic surgeons for example. Patient-specific analyses of the mechanical

    更新日期:2020-04-06
  • A Tertiary and Secondary Study Canvas
    arXiv.cs.SE Pub Date : 2020-04-03
    Bianca Minetto Napoleão; Fabio Petrillo; Sylvain Hallé

    Over the past years, more secondary (Systematic Literature Reviews and Systematic Mappings) and tertiary studies have been conducted. Their conduction is considered a quite large task and labor-intensive since it involves a detailed process including a protocol development, which is one of the most challenging phase reported by the software engineering research community. In this scenario, we propose

    更新日期:2020-04-06
  • Generating Interactive WebSocket Applications in TypeScript
    arXiv.cs.SE Pub Date : 2020-04-03
    Anson MiuImperial College London; Francisco FerreiraImperial College London; Nobuko YoshidaImperial College London; Fangyi ZhouImperial College London

    Advancements in mobile device computing power have made interactive web applications possible, allowing the web browser to render contents dynamically and support low-latency communication with the server. This comes at a cost to the developer, who now needs to reason more about correctness of communication patterns in their application as web applications support more complex communication patterns

    更新日期:2020-04-06
  • Bounded verification of message-passing concurrency in Go using Promela and Spin
    arXiv.cs.SE Pub Date : 2020-04-03
    Nicolas DilleyUniversity of Kent; Julien LangeUniversity of Kent

    This paper describes a static verification framework for the message-passing fragment of the Go programming language. Our framework extracts models that over-approximate the message-passing behaviour of a program. These models, or behavioural types, are encoded in Promela, hence can be efficiently verified with Spin. We improve on previous works by verifying programs that include communication-related

    更新日期:2020-04-06
  • Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-based Approach
    arXiv.cs.SE Pub Date : 2020-04-03
    Miroslav Bures; Miroslav Macik; Bestoun S. Ahmed; Vaclav Rechtberger; Pavel Slavik

    As the popularity of Smart Televisions (TVs) and interactive Smart TV applications (apps) has recently grown, the usability of these apps has become an important quality characteristic. Previous studies examined Smart TV apps from a usability perspective. However, these methods are mainly manual, and the potential of automated model-based testing methods for usability testing purposes has not yet been

    更新日期:2020-04-06
  • Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler
    arXiv.cs.SE Pub Date : 2020-04-03
    Timofey Bryksin; Victor Petukhov; Ilya Alexin; Stanislav Prikhodko; Alexey Shpilman; Vladimir Kovalenko; Nikita Povarov

    In this work, we apply anomaly detection to source code and bytecode to facilitate the development of a programming language and its compiler. We define anomaly as a code fragment that is different from typical code written in a particular programming language. Identifying such code fragments is beneficial to both language developers and end users, since anomalies may indicate potential issues with

    更新日期:2020-04-06
  • Visualization of Methods Changeability Based on VCS Data
    arXiv.cs.SE Pub Date : 2020-04-03
    Sergey Svitkov; Timofey Bryksin

    Software engineers have a wide variety of tools and techniques that can help them improve the quality of their code, but still, a lot of bugs remain undetected. In this paper we build on the idea that if a particular fragment of code is changed too often, it could be caused by some technical or architectural issues, therefore, this fragment requires additional attention from developers. Most teams

    更新日期:2020-04-06
  • Session Type Systems based on Linear Logic: Classical versus Intuitionistic
    arXiv.cs.PL Pub Date : 2020-04-03
    Bas van den HeuvelUniversity of Groningen; Jorge A. PérezUniversity of Groningen

    Session type systems have been given logical foundations via Curry-Howard correspondences based on both intuitionistic and classical linear logic. The type systems derived from the two logics enforce communication correctness on the same class of pi-calculus processes, but they are significantly different. Caires, Pfenning and Toninho informally observed that, unlike the classical type system, the

    更新日期:2020-04-06
  • Generating Interactive WebSocket Applications in TypeScript
    arXiv.cs.PL Pub Date : 2020-04-03
    Anson MiuImperial College London; Francisco FerreiraImperial College London; Nobuko YoshidaImperial College London; Fangyi ZhouImperial College London

    Advancements in mobile device computing power have made interactive web applications possible, allowing the web browser to render contents dynamically and support low-latency communication with the server. This comes at a cost to the developer, who now needs to reason more about correctness of communication patterns in their application as web applications support more complex communication patterns

    更新日期:2020-04-06
  • Duality of Session Types: The Final Cut
    arXiv.cs.PL Pub Date : 2020-04-03
    Simon J. GaySchool of Computing Science, University of Glasgow, UK; Peter ThiemannInstitut für Informatik, University of Freiburg, Germany; Vasco T. VasconcelosFaculdade de Ciências, University of Lisbon, Portugal

    Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been published. As their connection is not obvious, we compare the competing definitions, discuss tradeoffs, and prove some equivalences. Some of the results are mechanized in Agda.

    更新日期:2020-04-06
  • Bounded verification of message-passing concurrency in Go using Promela and Spin
    arXiv.cs.PL Pub Date : 2020-04-03
    Nicolas DilleyUniversity of Kent; Julien LangeUniversity of Kent

    This paper describes a static verification framework for the message-passing fragment of the Go programming language. Our framework extracts models that over-approximate the message-passing behaviour of a program. These models, or behavioural types, are encoded in Promela, hence can be efficiently verified with Spin. We improve on previous works by verifying programs that include communication-related

    更新日期:2020-04-06
  • Mixed Sessions: the Other Side of the Tape
    arXiv.cs.PL Pub Date : 2020-04-03
    Filipe CasalLASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal; Andreia MordidoLASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal; Vasco T. VasconcelosLASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal

    The original paper on Mixed Sessions introduce the side A of the tape: there is an encoding of classical sessions into mixed sessions. Here we present side B: there is a translation of (a subset of) mixed sessions into classical session types. We prove that the translation is a minimal encoding, according to the criteria put forward by Kouzapas, P\'erez, and Yoshida.

    更新日期:2020-04-06
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
聚焦肿瘤,探索癌症
欢迎探索2019年最具下载量的材料科学论文
宅家赢大奖
向世界展示您的会议墙报和演示文稿
全球疫情及响应:BMC Medicine专题征稿
新版X-MOL期刊搜索和高级搜索功能介绍
化学材料学全球高引用
ACS材料视界
x-mol收录
自然科研论文编辑服务
南方科技大学
南方科技大学
舒伟
中国科学院长春应化所于聪-4-8
复旦大学
课题组网站
X-MOL
香港大学化学系刘俊治
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug