当前期刊: Journal of Computer Languages Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • A proposed approach to determining expertise level of StackOverflow programmers based on mining of user comments
    J. Comput. Lang. Pub Date : 2020-09-11
    Ahmad Diyanati; Behrooz Shahi Sheykhahmadloo; Seyed Mostafa Fakhrahmad; Mohammad Hadi Sadredini; Mohammad Hassan Diyanati

    The popularity of Question–Answer websites such as StackOverflow, Ask and Yahoo! Answers is gradually increasing. Considering this increased popularity, the quality of the questions and answers is necessary to be taken into account. The reason for this necessity is that there could be many answers to any question, and some of these answers have a low level in terms of quality. The credibility and expertise

    更新日期:2020-09-30
  • A framework for managing the imperfect modularity of variability implementations
    J. Comput. Lang. Pub Date : 2020-09-21
    Xhevahire Tërnava; Philippe Collet

    In many industrial settings, the common and varying features of related software-intensive systems, as their reusable units, are likely to be implemented by a combined set of traditional techniques. Features do not align perfectly well with the used language constructs, e.g., classes, thus hindering the management of implemented variability. Herein, we provide a detailed framework to capture, model

    更新日期:2020-09-21
  • The patterns of user experience for sticky-note diagrams in software requirements workshops
    J. Comput. Lang. Pub Date : 2020-09-03
    Henry Gardner; Alan F. Blackwell; Luke Church

    Software requirements elicitation workshops often make use of a widely used and, on the surface, highly informal, notational medium: the sticky note. Often, in such workshops, facilitators and participants collaborate to construct “diagrams” made up of sticky notes. Methodologies have been developed that prescribe the way that diagram construction can uncover and document software requirements. Because

    更新日期:2020-09-18
  • Smart Block: A visual block language and its programming environment for IoT
    J. Comput. Lang. Pub Date : 2020-09-11
    Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi

    A visual block programming language allows users to make their own programs by dragging and dropping graphic blocks rather than by writing the program. This enables users who are not proficient in programming to create programs easily. Although existing studies have applied this idea to programming Internet of things (IoT) applications, existing visual language tools have certain limitations in terms

    更新日期:2020-09-11
  • Stepwise abstraction of high-level system specifications from source code
    J. Comput. Lang. Pub Date : 2020-08-06
    Flavio Ferrarotti, Michael Moser, Josef Pichler

    We are interested in specifications which provide a consistent high-level view of systems. They should abstract irrelevant details and provide a precise and complete description of the behaviour of the system. This view of software specification can naturally be expressed by means of Gurevich’s Abstract State Machines (ASMs). There are many known benefits of such an approach to system specifications

    更新日期:2020-08-06
  • Lavoisier: A DSL for increasing the level of abstraction of data selection and formatting in data mining
    J. Comput. Lang. Pub Date : 2020-07-10
    Alfonso de la Vega, Diego García-Saiz, Marta Zorrilla, Pablo Sánchez

    Input data of a data mining algorithm must conform to a very specific tabular format. Data scientists arrange data into that format by creating long and complex scripts, where different low-level operations are performed, and which can be a time-consuming and error-prone process. To alleviate this situation, we present Lavoisier, a declarative language for data selection and formatting in a data mining

    更新日期:2020-07-10
  • PathPair2Vec: An AST path pair-based code representation method for defect prediction
    J. Comput. Lang. Pub Date : 2020-05-28
    Ke Shi, Yang Lu, Jingfei Chang, Zhen Wei

    Software project defect prediction (SDP) can predict the bug probability of software by their features and allocate their testing efforts. The existing software defect prediction methods can be divided into two categories: methods based on traditional handcrafted features and methods based on automatically made abstract features, especially those made by deep learning. The current research indicates

    更新日期:2020-05-28
  • Applications of model-driven engineering in cyber-physical systems: A systematic mapping study
    J. Comput. Lang. Pub Date : 2020-05-22
    Mustafa Abshir Mohamed, Moharram Challenger, Geylani Kardas

    Engineers face significant challenges in developing cyber-physical systems (CPS) due to their heterogeneous nature, i.e. the need for knowledge and skills from a wide range of academic and industrial disciplines, the integration of the artifacts of these disciplines and fields, and the difficulty of maintaining such heterogeneous artifacts should be taken into account. The development of CPS mostly

    更新日期:2020-05-22
  • Visual Programming Environments for End-User Development of intelligent and social robots, a systematic review
    J. Comput. Lang. Pub Date : 2020-05-20
    Enrique Coronado, Fulvio Mastrogiovanni, Bipin Indurkhya, Gentiane Venture

    Robots are becoming interactive and robust enough to be adopted outside laboratories and in industrial scenarios as well as interacting with humans in social activities. However, the design of engaging robot-based applications requires the availability of usable, flexible and accessible development frameworks, which can be adopted and mastered by researchers and practitioners in social sciences and

    更新日期:2020-05-20
  • Technical debt in procedural model transformation languages
    J. Comput. Lang. Pub Date : 2020-05-19
    Shekoufeh Kolahdouz-Rahimi, Kevin Lano, Meysam Karimi

    Model transformations (MT) are a significant element of model-based and model-driven engineering approaches. Hence their quality is important for their effectiveness for use in such developments. The concept of technical debt (TD) estimates the impact of quality flaws on the maintenance costs of software artefacts. In this paper we define a quality model for model transformation languages, and define

    更新日期:2020-05-19
  • Parametric Modeling and Generation of Mandala Thangka Patterns
    J. Comput. Lang. Pub Date : 2020-05-06
    Jiajing Zhang, Kang Zhang, Ren Peng, Jinhui Yu

    The mandala thangka, as a religious art in Tibetan Buddhism, is an invaluable cultural and artistic heritage. However, drawing a mandala pattern of thangka style is both time- and effort-consuming and requires mastery due to intricate details. Retaining and digitizing this heritage is an unresolved research challenge to date. In this paper, we propose a parametric approach to model and generate mandala

    更新日期:2020-05-06
  • Graph-Related Properties for Comparing Dynamic Call Graphs
    J. Comput. Lang. Pub Date : 2020-04-29
    Michael Burch

    Software systems produce long sequences of call graphs, in particular, if the graphs are generated during runtime and not revision by revision. Visualizing, analyzing, and interacting with such long dynamic graphs with respect to different properties is a challenging task. In this article we describe an interactive visualization technique for dynamic call graphs that supports the observation of the

    更新日期:2020-04-29
  • Deriving overloaded success type schemes in Erlang
    J. Comput. Lang. Pub Date : 2020-04-19
    Francisco J. López-Fraguas, Manuel Montenegro, Gorka Suárez-García

    Erlang is a programming language which brings together the features of functional programming and actor-based concurrency. Although it is a dynamically-typed language, there exists a tool (Dialyzer) that analyses Erlang programs in order to detect type discrepancies at compile-time. This tool is based on the notion of success types, which are overapproximations to the actual semantics of expressions

    更新日期:2020-04-19
  • Multi-view routing visualization for the identification of BGP issues
    J. Comput. Lang. Pub Date : 2020-04-14
    Massimo Candela, Giuseppe Di Battista, Luca Marzialetti

    The Internet is constantly evolving and changing over time. Outages, attacks, upgrades, censorships, and policy changes modify the routing very frequently everywhere in the world. To give the possibility to the Internet Service Providers and to the network operators of monitoring such an evolving scenario, many organizations collect information on the routing changes and give free access to them. We

    更新日期:2020-04-14
  • An end-to-end model-based approach to support big data analytics development
    J. Comput. Lang. Pub Date : 2020-04-07
    Hourieh Khalajzadeh, Andrew J. Simmons, Mohamed Abdelrazek, John Grundy, John Hosking, Qiang He

    We present BiDaML 2.0, an integrated suite of visual languages and supporting tool to help multidisciplinary teams with the design of big data analytics solutions. BiDaML tool support provides a platform for efficiently producing BiDaML diagrams and facilitating their design, creation, report and code generation. We evaluated BiDaML using two types of evaluations, a theoretical analysis using the “physics

    更新日期:2020-04-07
  • Understanding Practitioners’ Challenges on Software Modeling: A Survey
    J. Comput. Lang. Pub Date : 2020-04-06
    Mert Ozkaya, Ferhat Erata

    Software modeling is considered as the high-level design technique for describing abstract statements about software systems. While some practitioners create models for the early analysis of their design decisions and generating code from their models, some practitioners create models for the eased communication among stakeholders. There also exist practitioners who ignore modeling and directly proceed

    更新日期:2020-04-06
  • Authoring logically sequenced visual data stories with Gravity
    J. Comput. Lang. Pub Date : 2020-03-31
    Humphrey O. Obie, Caslon Chua, Iman Avazpour, Mohamed Abdelrazek, John Grundy, Tomasz Bednarz

    Visual data stories have been shown to significantly aid the comprehension and short-term memorability of statistical facts and value messages. Hence, they are a promising medium for communicating complex information to a target audience, fulfilling the communicative goal of information visualisation. However, creating visual data stories often requires a plethora of tools to execute the visual data

    更新日期:2020-03-31
  • Interactive exploration of large time-dependent bipartite graphs
    J. Comput. Lang. Pub Date : 2020-03-13
    Manuela Waldner, Daniel Steinböck, Eduard Gröller

    Bipartite graphs are typically visualized using linked lists or matrices, but these visualizations neither scale well nor do they convey temporal development. We present a new interactive exploration interface for large, time-dependent bipartite graphs. We use two clustering techniques to build a hierarchical aggregation supporting different exploration strategies. Aggregated nodes and edges are visualized

    更新日期:2020-03-13
  • On the semantics for spreadsheets with sheet-defined functions
    J. Comput. Lang. Pub Date : 2020-03-07
    Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen

    We give an operational semantics for the evaluation of spreadsheets, including sheet-defined and built-in numeric functions in the Funcalc spreadsheet platform. The semantics allows for different implementations and we discuss sheet-defined functions implemented using both interpretation and run-time code generation. The semantics specifies the expected result of a computation, also considering non-deterministic

    更新日期:2020-03-07
  • Visual analysis of customer switching behavior pattern mining for takeout service
    J. Comput. Lang. Pub Date : 2020-02-27
    Yaru Du, Hong Yin, Changbo Wang, Chenhui Li

    Visualization of customer behavior is urgently needed for an increasing number of customer orders on takeout service. Although many works have been done on visualizing customer opinion or customer click events of one store, visualizing customer switching behavior among stores is still challenging. The challenge is to show customer order records over time and structure the inter-connection among different

    更新日期:2020-02-27
  • Morbig: A Static parser for POSIX shell
    J. Comput. Lang. Pub Date : 2020-02-18
    Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen

    The POSIX shell language defies conventional wisdom of compiler construction on several levels: The shell language was not designed for static parsing, but with an intertwining of syntactic analysis and execution by expansion in mind. Token recognition cannot be specified by regular expressions and lexical analysis depends on the parsing context and the evaluation context. Besides, the unorthodox design

    更新日期:2020-02-18
  • Incremental correct-by-construction of distributed systems
    J. Comput. Lang. Pub Date : 2020-02-11
    Sarah Benyagoub, Meriem Ouederni, Yamine Aït-Ameur

    Although today’s software systems are distributed by necessity, their design verification and validation is still an open issue due to their ever-increasing complexity. This paper proposes a stepwise development method allowing a designer to build correct-by-construction distributed systems. System correctness is handled w.r.t.a realizability property. We assume a top-down approach where systems are

    更新日期:2020-02-11
  • Purely functional GLL parsing
    J. Comput. Lang. Pub Date : 2020-02-10
    L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone

    Generalised parsing has become increasingly important in the context of software language design and several compiler generators and language workbenches have adopted generalised parsing algorithms such as GLR and GLL. The original GLL parsing algorithms are described in low-level pseudo-code as the output of a parser generator. This paper explains GLL parsing differently, defining the FUN-GLL algorithm

    更新日期:2020-02-10
  • Run-time conflict detection in visual language parsing
    J. Comput. Lang. Pub Date : 2020-02-07
    G. Costagliola, V. Deufemia, F. Ferrucci, C. Gravino

    The widespread use of diagrammatic languages has motivated the need for grammar-based tools to support designers in the definition and implementation of graphical environments. The effective use of such systems requires efficient parsing techniques. In previous years, many approaches have been devised and one of them is based on the extension of the LR parsing methodology from traditional string languages

    更新日期:2020-02-07
  • QueryCrumbs search query history visualization – Usability, transparency and long-term usage
    J. Comput. Lang. Pub Date : 2020-01-24
    Jörg Schlötterer, Christin Seifert, Christopher Satchell, Michael Granitzer

    Models of human information seeking reveal that search, in particular ad-hoc retrieval, is non-linear and iterative. Despite these findings, today’s search user interfaces do not support non-linear navigation, like for example backtracking in time. We propose QueryCrumbs, a compact and easy-to-understand visualization for navigating the search query history supporting iterative query refinement. We

    更新日期:2020-01-24
  • Relational reference attribute grammars: Improving continuous model validation
    J. Comput. Lang. Pub Date : 2020-01-20
    Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, Uwe Aßmann

    Just like current software systems, conceptual models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated, validated and serialized. To achieve sufficiently low response times for large models, incremental analysis is required. Reference Attribute Grammars (RAGs) offer mechanisms to perform incremental analysis efficiently

    更新日期:2020-01-20
  • RT-Trust: Automated refactoring for different trusted execution environments under real-time constraints
    J. Comput. Lang. Pub Date : 2019-12-27
    Yin Liu, Kijin An, Eli Tilevich

    Real-time systems must meet strict timeliness requirements. These systems also often need to protect their critical program information (CPI) from adversarial interference and intellectual property theft. Trusted execution environments (TEE) execute CPI tasks on a special-purpose processor, thus providing hardware protection. However, adapting a system written to execute in environments without TEE

    更新日期:2019-12-27
  • Examining virtual reality navigation techniques for 3D network visualisations
    J. Comput. Lang. Pub Date : 2019-12-19
    Adam Drogemuller, Andrew Cunningham, James Walsh, Bruce H. Thomas, Maxime Cordeil, William Ross

    Research into how virtual reality (VR) can be a beneficial technology for new and emerging large, complex data visualisations for data scientists is ongoing. In this paper, we evaluate three-dimensional VR navigation technique for data visualisations and test their effectiveness with a large graph visualisation. We evaluate two prominent navigation techniques employed in VR (Teleportation and One-Handed

    更新日期:2019-12-19
  • Security patterns: A systematic mapping study
    J. Comput. Lang. Pub Date : 2019-12-13
    Abbas Javan Jafari, Abbas Rasoolzadegan

    Security patterns are a well-established means to encapsulate and communicate proven security solutions and introduce security into the development process. Our objective is to explore the research efforts on security patterns and discuss the current state of the art, which will serve as a guideline for interested researchers, practitioners, and teachers. We have conducted a systematic mapping study

    更新日期:2019-12-13
  • Code generation using model driven architecture: A systematic mapping study
    J. Comput. Lang. Pub Date : 2019-11-26
    Gabriel Sebastián, Jose A. Gallud, Ricardo Tesoriero

    Model Driven Architecture (MDA) has earned a prominent place in Software Engineering. However, while the application of MDA in software industry has grown, its impact in industry is not being as fast and broad as predicted. Moreover, the emerging use of agile methods have had an effect on the interest of industry and academics on developing software using metamodels. As a result, it is difficult to

    更新日期:2019-11-26
  • FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis
    J. Comput. Lang. Pub Date : 2019-11-23
    Jeff Smits, Guido Wachsmuth, Eelco Visser

    Data-flow analysis is the static analysis of programs to estimate their approximate run-time behavior or approximate intermediate run-time values. It is an integral part of modern language specifications and compilers. In the specification of static semantics of programming languages, the concept of data-flow allows the description of well-formedness such as definite assignment of a local variable

    更新日期:2019-11-23
  • EpidNews: Extracting, exploring and annotating news for monitoring animal diseases
    J. Comput. Lang. Pub Date : 2019-11-23
    Rohan Goel, Sarah Valentin, Alexis Delaforge, Samiha Fadloun, Arnaud Sallaberry, Mathieu Roche, Pascal Poncelet

    In the recent years, there has been a massive increase in the amount of data published on the web about human and animal health events. Epidemiologists use this spatio-temporal information on a daily basis to detect and monitor disease outbreaks over time. While official sources such as the World Organization for Animal Health release formal outbreak notifications, unofficial sources such as online

    更新日期:2019-11-23
  • APRSuite: A suite of components and use cases based on categorical decomposition of automatic program repair techniques and tools
    J. Comput. Lang. Pub Date : 2019-11-06
    Alireza Khalilian, Ahmad Baraani-Dastjerdi, Bahman Zamani

    During the last decade, we are witnessing the advent of a proliferation of techniques and associated tools for automatic program repair (APR). The current techniques and tools provide rich sources of knowledge that should be taken into consideration for future research. An overview of the current APR techniques and tools can serve the research community as a knowledge accumulator. However, APR techniques

    更新日期:2019-11-06
  • Geovisualizing attribute uncertainty of interval and ratio variables: a framework and an implementation for vector data.
    J. Comput. Lang. Pub Date : 2018-03-06
    Hyeongmo Koo,Yongwan Chun,Daniel A Griffith

    Geovisualization of attribute uncertainty helps users to recognize underlying processes of spatial data. However, it still lacks an availability of uncertainty visualization tools in a standard GIS environment. This paper proposes a framework for attribute uncertainty visualization by extending bivariate mapping techniques. Specifically, this framework utilizes two cartographic techniques, choropleth

    更新日期:2019-11-01
  • 3D Modeling of Branching Structures for Anatomical Instruction.
    J. Comput. Lang. Pub Date : 2016-04-19
    William A Mattingly,Julia H Chariker,Richard Paris,Dar-Jen Chang,John R Pani

    Branching tubular structures are prevalent in many different organic and synthetic settings. From trees and vegetation in nature, to vascular structures throughout human and animal biology, these structures are always candidates for new methods of graphical and visual expression. We present a modeling tool for the creation and interactive modification of these structures. Parameters such as thickness

    更新日期:2019-11-01
  • Eigenedge: A measure of edge centrality for big graph exploration
    J. Comput. Lang. Pub Date : 2019-10-24
    Xiaodi Huang, Weidong Huang

    As we are in the age of big data, graph data become bigger. A big graph normally has an overwhelming number of edges. Existing metrics of edge centrality are not quite suitable for dealing with such a large graph. A novel metric for measuring the importance of edges in a graph is introduced in this paper. Compared with the other six popular matrices with respect to a number of real-world graphs, the

    更新日期:2019-10-24
  • Applying model-driven engineering to high-performance computing: Experience report, lessons learned, and remaining challenges
    J. Comput. Lang. Pub Date : 2019-10-12
    Benoît Lelandais, Marie-Pierre Oudot, Benoît Combemale

    Thanks to the increasing power of supercomputers, CEA develops ever more complex numerical simulators in the field of High Performance Computing (HPC) to cover a wide range of physical phenomena. As a consequence, simulation codes tend to become unmanageable and difficult to maintain and adapt to new hardware architectures. In this paper, we report on our experience in the use of Model-Driven Engineering

    更新日期:2019-10-12
  • Perceptually guided contrast enhancement based on viewing distance
    J. Comput. Lang. Pub Date : 2019-10-08
    Liang Zhou, Daniel Weiskopf, Chris R. Johnson

    We propose an image-space contrast enhancement method for color-encoded visualization. The contrast of an image is enhanced through a perceptually guided approach that interfaces with the user with a single and intuitive parameter of the virtual viewing distance. To this end, we analyze a multiscale contrast model of the input image and test the visibility of bandpass images of all scales at a virtual

    更新日期:2019-10-08
  • Automatic advertising image color design incorporating a visual color analyzer
    J. Comput. Lang. Pub Date : 2019-09-09
    Wei-Tao You, Ling-Yun Sun, Zhi-Yuan Yang, Chang-Yuan Yang

    Colors have a significant impact on marketing so designers often use color strategically to shape brand personality and purchase intent. The automatic color design of advertising images is challenging because it must satisfy esthetic goals while also complying with the color design for different content, brand or targeted audience. This paper proposes a data-driven method to color advertising images

    更新日期:2019-09-09
  • ML-LUM: A system for land use mapping by machine learning algorithms
    J. Comput. Lang. Pub Date : 2019-08-14
    Xiaojin Liao, Xiaodi Huang, Weidong Huang

    The land use mapping refers to mapping and assessing changes and patterns of land use. The use of agricultural land maps becomes increasingly important. The governments, private sectors, research agencies, and community groups rely on land use mapping data for natural resource assessment, monitoring, and planning. Finding an effective mapping approach is thereby crucial for natural resource condition

    更新日期:2019-08-14
  • A Nano-Pattern Language for Java
    J. Comput. Lang. Pub Date : 2019-06-20
    Yossi Gil, Ori Marcovitch, Matteo Orrú

    Patterns, micro-patterns, and nano-patterns have many applications: program comprehension, code transformations, documentation aids, improving code robustness, etc. This work revisits the notion of nano-patterns—originally an obiter dictum of the work on micro-patterns. Nano-patterns here are taken as more general than their previous definition in the literature: predicates on short code snippets that

    更新日期:2019-06-20
  • Beyond the digital Jordan curve: Unconstrained simple pixel-based raster relations
    J. Comput. Lang. Pub Date : 2019-06-09
    Matthew P. Dube, Max J. Egenhofer, Jordan V. Barrett, Noah J. Simpson

    Artificial intelligence and satellites have brought spatial-image interpretation to the forefront. Over the past two decades, the literature has provided three distinct methods for identifying and classifying the boundary of raster objects: the digital Jordan curve, the hyper-raster, and a marginal approach. While each approach has its own merits and drawbacks, there should be methods by which to convert

    更新日期:2019-06-09
  • Enforcing globally dependent flow policies in message-passing systems
    J. Comput. Lang. Pub Date : 2019-06-05
    Ximeng Li, Flemming Nielson, Hanne Riis Nielson

    The flow of information in a computing system is a crucial indicator for the security of the system. In a system of multiple message-passing processes, the flow of information could depend on the states of different processes. We devise a type-based verification technique for flow policies with such multi-process (global) dependencies, to provide confidentiality guarantees. In this technique, the confidentiality

    更新日期:2019-06-05
  • eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems
    J. Comput. Lang. Pub Date : 2019-05-28
    Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka

    Using JavaScript as a description language can increase the productivity of application programs on embedded systems. Since JavaScript is a dynamic language, it is important for a JavaScript virtual machine (VM) to efficiently identify the types of first-class values and perform type-based dispatches. For embedded systems, the type-based dispatching code is desired to be compact as well as fast. Although

    更新日期:2019-05-28
  • A lightweight push-pull mechanism for implicitly using signals in imperative programming
    J. Comput. Lang. Pub Date : 2019-05-25
    YungYu Zhuang

    While signals can express time-varying values well, they heavily rely on the semantics of dataflow programming and functional programming. Several research have developed mechanisms for using signals with imperative object-oriented design and shown the benefits of its usage. However, they tend to introduce a class for signals, which thus results in the necessity of lifting up/down between variables

    更新日期:2019-05-25
  • A compiler and virtual machine for constraint-logic object-oriented programming with Muli
    J. Comput. Lang. Pub Date : 2019-05-23
    Jan C. Dageförde, Herbert Kuchen

    The development of enterprise software typically relies on object-oriented (OO) programming languages. However, OO languages are not particularly suited for the implementation of software which involves solving complicated search problems with dynamically appearing constraints, e. g. as found in logistics. Aiming to improve this situation, we propose the Münster Logic-imperative Language (Muli). As

    更新日期:2019-05-23
  • Research on context of implicit context-sensitive graph grammars
    J. Comput. Lang. Pub Date : 2019-05-22
    Yang Zou, Jian Lü, Xianping Tao

    Visual Programming Languages have been widely adopted in design and comprehension of sophisticated systems. Context-sensitive graph grammar formalisms are suitable tools for specifying these languages, since they are intuitive and possess sufficient expressive power and usability. Nevertheless, some of the formalisms whose contexts are implicitly or incompletely represented in productions, called implicit

    更新日期:2019-05-22
  • AtoMixer: Atom-based interactive visual exploration of traffic surveillance data
    J. Comput. Lang. Pub Date : 2019-05-09
    Guodao Sun, Yin Zhao, Dizhou Cao, Jianyuan Li, Ronghua Liang, Yipeng Liu

    Massive traffic surveillance data extracted from vehicle detectors such as cameras provide essential information for revealing urban traffic pattern. However, most existing tools only allow users to analyze the data in specific time periods and regions with particular requirements. In this paper, we work closely with traffic domain experts and investigate a novel way of reframing visual traffic analysis

    更新日期:2019-05-09
  • A study of the effects of narration on comprehension and memorability of visualisations
    J. Comput. Lang. Pub Date : 2019-05-04
    Humphrey O. Obie, Caslon Chua, Iman Avazpour, Mohamed Abdelrazek, John Grundy, Tomasz Bednarz

    Information visualisation researchers have posited that author-driven narratives will allow information to be conveyed efficiently and argue for the adoption of storytelling techniques in information visualisation. However, limited work has been done to date to concretely examine the effects of author-driven narratives in users’ comprehension and memorability of visualisations, and their associated

    更新日期:2019-05-04
  • How end-user programmers debug visual web-based programs: An information foraging theory perspective
    J. Comput. Lang. Pub Date : 2019-04-26
    Sandeep Kaur Kuttal, Anita Sarma, Margaret Burnett, Gregg Rothermel, Ian Koeppe, Brooke Shepherd

    Web-active end-user programmers squander much of their time foraging for bugs and related information in mashup programming environments as well as on the web. To analyze this foraging behavior while debugging, we utilize an Information Foraging Theory perspective. Information Foraging Theory models the human (predator) behavior to forage for specific information (prey) in the webpages or programming

    更新日期:2019-04-26
  • NeuroProv: Provenance data visualisation for neuroimaging analyses
    J. Comput. Lang. Pub Date : 2019-04-26
    Bilal Arshad, Kamran Munir, Richard McClatchey, Jetendr Shamdasani, Zaheer Khan

    Visualisation underpins the understanding of scientific data both through exploration and explanation of analysed data. Provenance strengthens the understanding of data by showing the process of how a result has been achieved. With the significant increase in data volumes and algorithm complexity, clinical researchers are struggling with information tracking, analysis reproducibility and the verification

    更新日期:2019-04-26
  • Jitana: A modern hybrid program analysis framework for android platforms
    J. Comput. Lang. Pub Date : 2019-04-24
    Yutaka Tsutano, Shakthi Bachala, Witawas Srisa-an, Gregg Rothermel, Jackson Dinh

    Security vetting of Android apps is often performed under tight time constraints (e.g., a few minutes). As such, vetting activities must be performed “at speed”, when an app is submitted for distribution or a device is analyzed for malware. Existing static and dynamic program analysis approaches are not feasible for use in security analysis tools because they require a much longer time to operate than

    更新日期:2019-04-24
  • Visualization approaches for understanding uncertainty in flow diagrams
    J. Comput. Lang. Pub Date : 2019-04-23
    Zana Vosough, Dietrich Kammer, Mandy Keck, Rainer Groh

    Business Intelligence applications often handle data sets that contain uncertain values. In this contribution, we focus on product costing, which deals with the average costs of product components – that vary significantly based on many factors such as inflation, exchange rates, and commodity prices. After experts estimate the uncertainty information for single items, decision makers need to quickly

    更新日期:2019-04-23
  • Multi modal spatio temporal co-trained CNNs with single modal testing on RGB–D based sign language gesture recognition
    J. Comput. Lang. Pub Date : 2019-04-22
    Sunitha Ravi, Maloji Suman, P.V.V. Kishore, Kiran Kumar E, Teja Kiran Kumar M, Anil Kumar D

    Extracting hand movements using single RGB video camera for sign language recognition is a necessary attribute in developing an automated sign language recognition system. Local spatio temporal methods has shown encouraging outcomes for hand extraction using color cues. However, the color intensities does not behave as an independent entity during video capture in real environments. This has become

    更新日期:2019-04-22
  • Mobile photo recommendation system of continuous shots based on aesthetic ranking
    J. Comput. Lang. Pub Date : 2019-04-22
    Keng-Hao Liu, Kuo-Yen Lo, Yu-Chieh Kuo, Chu-Song Chen

    Image aesthetics have been a popular topic in the recent years. The users can obtain aesthetic score of any image by using the computational approaches based on photography rules. However, most approaches consider the task as an off-line process because those methods usually require high computational complexity. On the other hand, mobile devices (tablet and smart phone) have become an indispensable

    更新日期:2019-04-22
  • MAD: A visual analytics solution for Multi-step cyber Attacks Detection
    J. Comput. Lang. Pub Date : 2019-04-18
    M. Angelini, S. Bonomi, S. Lenti, G. Santucci, S. Taggi

    Software vulnerabilities represent one of the main weaknesses of an Information Technology (IT) system w.r.t. cyber attacks and nowadays consolidated official data, like the Common Vulnerability Exposure (CVE) dictionary, provide precise and reliable details about them. This information, together with the identification of priority systems to defend allows for inspecting the network structure and the

    更新日期:2019-04-18
  • A multi-objective search based approach to identify reusable software components
    J. Comput. Lang. Pub Date : 2019-04-16
    Amit Rathee, Jitender Kumar Chhabra

    Component-based-software-development (CBSD) is one of the most recent trends in the software development industry and its success majorly depends on the quality of the software components. Good quality software components are those components, which are internally strongly cohesive and are independent of others. Use of such components helps in faster development of a software and reduces the maintenance

    更新日期:2019-04-16
  • Leveraging product line engineering for the development of domain-specific metamodeling languages
    J. Comput. Lang. Pub Date : 2019-04-10
    Leila Samimi-Dehkordi, Bahman Zamani, Shekoufeh Kolahdouz-Rahimi

    A domain-specific metamodeling language (DSM2L) enables language engineers to define a family of similar metamodel-based languages. In recent years, several DSM2Ls have been developed for various domains, e.g., traceability, variability management, process modeling, and metamodeling feature models. However, there is no consensus on an engineering approach for constructing a DSM2L. To address this problem

    更新日期:2019-04-10
  • Negotiation and cooperation between agents for generalizing geographic objects
    J. Comput. Lang. Pub Date : 2019-04-09
    Brahim Lejdel

    Agent approach is the most used to model the process of generalization of geographic objects. In this approach, each geographic object of a database is assigned an agent that can itself be generalized. To optimize the generalization process, we should propose a heuristic mechanism for negotiation and cooperation, which allows the agents to find the optimal action to perform. The objective of this mechanism

    更新日期:2019-04-09
  • Visualization and analysis of schema and instances of ontologies for improving user tasks and knowledge discovery
    J. Comput. Lang. Pub Date : 2019-04-09
    Isabel Cristina Siqueira Silva, Giuseppe Santucci, Carla Maria Dal Sasso Freitas

    Ontologies are an important resource for knowledge representation. Their structure can be complex due to role relations between several concepts, distinct attributes, and different instances. In this paper, we discuss a Visual Analytics solution, relying on the use of multiple coordinated views for exploring different ontology aspects and a novel use of the degree of interest (DoI) suppression technique

    更新日期:2019-04-09
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
Springer 纳米技术权威期刊征稿
全球视野覆盖
施普林格·自然新
chemistry
3分钟学术视频演讲大赛
物理学研究前沿热点精选期刊推荐
自然职位线上招聘会
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
ACS Publications填问卷
阿拉丁试剂right
麻省大学
西北大学
湖南大学
华东师范大学
王要兵
化学所
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
天合科研
x-mol收录
陆军军医大学
杨财广
廖矿标
试剂库存
down
wechat
bug