The proceedings contain 10 papers. The topics discussed include: an exploratory study on the challenges of engineering quantum applications in the cloud;trials and tribulations of developing hybrid quantum-classical m...
The proceedings contain 10 papers. The topics discussed include: an exploratory study on the challenges of engineering quantum applications in the cloud;trials and tribulations of developing hybrid quantum-classical microservices systems;towards a quantum algorithm for evaluating WCETs;non-functional requirements for quantum programs;QuantumPath´s annealer compositor;cybersecurity for quantum computing;engineering reliable hybrid quantum software: an architectural-driven approach;software quality issues in quantum information systems;and formal quantum softwareengineering.
The proceedings contain 24 papers. The special focus in this conference is on CIFMA, CoSim-CPS, OpenCERT, and ASYDE. The topics include: Under What Conditions Does a Digital Shadow Track a Periodic Linear Ph...
ISBN:
(纸本)9783031124280
The proceedings contain 24 papers. The special focus in this conference is on CIFMA, CoSim-CPS, OpenCERT, and ASYDE. The topics include: Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?;convergence Properties of Hierarchical Co-simulation Approaches;co-simulation-Based Pre-training of a Ship Trajectory Predictor;effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation;co-simulation of a Model Predictive Control System for Automotive Applications;Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework;Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins;a Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project;open Source Discovery, Adoption, and Use: An Informal Perspective;regret from Cognition to Code;DrPython–WEB: A Tool to Help Teaching Well-Written Python Programs;formal Methods Communities of Practice: A Survey of Personal Experience;learning from Mistakes in an Open Source software Course;a Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems;Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology;In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL);fostering Safe Behaviors via Metaphor-Based Nudging Technologies;developing the Semantic Web via the Resolution of Meaning Ambiguities;original or Fake? How to Understand the Digital Artworks’ Value in the Blockchain;grounding Psychological Shape Space in Convolutional Neural Networks;unexpectedness and Bayes’ Rule;can Reinforcement Learning Learn Itself? A Reply to ‘Reward is Enough’.
The proceedings contain 126 papers. The topics discussed include: the neuropsychology assessment for identifying dementia in Parkinson’s disease patients using a deep neural network;hybrid multi-verse optimizer for C...
ISBN:
(纸本)9781665414074
The proceedings contain 126 papers. The topics discussed include: the neuropsychology assessment for identifying dementia in Parkinson’s disease patients using a deep neural network;hybrid multi-verse optimizer for COVID-19 confirmed cases prediction: cases in Malaysia;video tracking system using midrange exploration exploitation searching-particle swarm optimization (MEESPSO) in handling occlusion and similar appearance due to crowded environment;components for COVID19 outbreak control model: a system dynamics perspective;and features of single value coordinate system (SVCS) for earthquake forecasting using single layer hierarchical graph neuron (SLHGN).
The proceedings contain 15 papers. The special focus in this conference is on Evaluation of Novel Approaches to softwareengineering. The topics include: An Approach-Based on Allen’s Interval Algebra to Pro...
ISBN:
(纸本)9783031365966
The proceedings contain 15 papers. The special focus in this conference is on Evaluation of Novel Approaches to softwareengineering. The topics include: An Approach-Based on Allen’s Interval Algebra to Provision Resources for Disrupted Business Processes;a New Metric for Multithreaded Parallel Programs Overhead Time Prediction;software Project Management Approaches Used in the Context of Agile Development: A Systematic Literature Mapping;pull Requests Integration Process Optimization: An Empirical Study;identify Javascript Trends in Crowdsourcing Small Tasks;preface;evaluating Probabilistic Topic Models for Bug Triaging Tasks;BPMN4FRSS: An BPMN Extension to Support Risk-Based Development of Forensic-Ready software Systems;exploiting Metadata Semantics in Data Lakes Using Blueprints;predicting Bug-Fixing Time Using the Latent Dirichlet Allocation Model with Covariates;dynamic Link Network Emulation and Validation of Execution Datasets;empirical Validation of Entropy-Based Redundancy Metrics as Reliability Indicators Using Fault-Proneness Attribute and Complexity Metrics;an Exploration of Technical Debt over the Lifetime of Open-Source software.
The proceedings contain 64 papers. The topics discussed include: performance-based software architecture design and blockchain as a service for Peruvian e-government;modelling dynamics in aspect-oriented programs;spat...
ISBN:
(纸本)9781665415057
The proceedings contain 64 papers. The topics discussed include: performance-based software architecture design and blockchain as a service for Peruvian e-government;modelling dynamics in aspect-oriented programs;spatiotemporal modeling method of cyber-physical system based on object-oriented;research on the word segmentation model construction based on CNN+BiLSTM+HMM;image encryption algorithm based on fractional order chaotic system;cyber-physical system intrusion detection model based on software-defined network;research on Chinese minority clothing based on deep convolution neural network;and application of improved NSGA-ii algorithm in ship entry and exit dispatching.
The proceedings contain 28 papers. The topics discussed include: precise command injection analysis in android applications;improving testing process to maximize validation efficiency on advanced telecommunications la...
ISBN:
(纸本)9781450389709
The proceedings contain 28 papers. The topics discussed include: precise command injection analysis in android applications;improving testing process to maximize validation efficiency on advanced telecommunications laboratory: an experience report;bus signal priority system based on GNSS electronic fence technology;a post-processing module scheme of finite element software;architecture transformation research on joint border defense systems-of-systems;understanding the blockchain ecosystem with analysis of decentralized applications: an empirical study;the design of multimedia multicast system in campus network based on three-tier architecture;a comparative study on the input validity of regional universities educational funds based on DEA and Malmquist indexes;and a study on the relationship between perceived value and behavioral intention of Wechat official account: library of Sichuan University as an example.
The proceedings contain 57 papers. The topics discussed include: a parallel closed centrality algorithm for complex networks;machine learning based web application firewall;‘trust pass’ – blockchain-based trusted d...
ISBN:
(纸本)9781665407595
The proceedings contain 57 papers. The topics discussed include: a parallel closed centrality algorithm for complex networks;machine learning based web application firewall;‘trust pass’ – blockchain-based trusted digital identity platform towards digital transformation;RDF-based semantic for condition monitoring of autonomous mobile robot;disease diagnosis by Nadi analysis using ayurvedic methods with portable Nadi device & web application;performance analysis of dual hop half duplex SWIPT based cooperative Internet of Things (IoT) network;driving through a bend: detection of unsafe driving patterns and prevention of heavy good vehicle rollovers;and development of IoT based battery management system.
The proceedings contain 77 papers. The topics discussed include: what makes online reviews useful? evidence from ***;impact of electronic word-of-mouth on box office revenue: an empirical study based on web crawler te...
ISBN:
(纸本)9781665425650
The proceedings contain 77 papers. The topics discussed include: what makes online reviews useful? evidence from ***;impact of electronic word-of-mouth on box office revenue: an empirical study based on web crawler technology;research on man-machine safety of officer of the watch fatigue based on fuzzy mathematics and safety ergonomics;research on key factors of digital transformation behavior of discrete manufacturing enterprises based on NVIVO analysis;newton iteration method for nonlinear equations with parameters and arbitrary original value;study on image recognition based on computer visual angle point detection;and design and implementation of internet ticketing system based on distributed data processing platform.
The proceedings contain 60 papers. The topics discussed include: construction of perceptual security dataset for video selective encryption based on double-blind subjective experiment;a bearing fault diagnosis method ...
ISBN:
(纸本)9780738131504
The proceedings contain 60 papers. The topics discussed include: construction of perceptual security dataset for video selective encryption based on double-blind subjective experiment;a bearing fault diagnosis method based on L1 regularization transfer learning and LSTM deep learning;evaluation of image fusion methods applied to the ZY1-04 data of Chengdu area;signal demodulation algorithm for interference spectrum of Fabry-Perot Cavity with stainless steel diaphragm;fuzzy adaptive PI clock synchronization algorithm based on kalman filter;a compact and reliable software architecture for robotics control;research and development of attendance management system based on face recognition and RFID technology;multi-sensor network-based trajectory planning for an Internet of UAVs;and temporal model for transportation management.
The proceedings contain 14 papers. The topics discussed include: monilogging for executable domain-specific languages;vision: the next 700 language workbenches;vision: the next 700 language workbenches;automating the ...
ISBN:
(纸本)9781450391115
The proceedings contain 14 papers. The topics discussed include: monilogging for executable domain-specific languages;vision: the next 700 language workbenches;vision: the next 700 language workbenches;automating the synthesis of recommender systems for modelling languages;executing certified model transformations on Apache spark;new ideas: automated engineering of metamorphic testing environments for domain-specific languages;a concurrency model for JavaScript with cooperative cancellation;there is more than one way to Zen your python;getting grammars into shape for block-based editors;vision: bias in systematic grammar-based test suite construction algorithms;and FIDDLR: streamlining reuse with concern-specific modelling languages.
暂无评论