The proceedings contain 18 papers. The topics discussed include: post-pandemic resilience of hybrid software teams;on the perceived relevance of critical internal quality attributes when evolving software features;wha...
ISBN:
(纸本)9798350337341
The proceedings contain 18 papers. The topics discussed include: post-pandemic resilience of hybrid software teams;on the perceived relevance of critical internal quality attributes when evolving software features;what’s behind tight deadlines? business causes of technical debt;accounting for socio-technical resilience in softwareengineering;an exploratory study of the benefits of time-bounded collaborative events for startup founders;towards understanding the open source interest in gender-related GitHub projects;novice programmers strategies for online resource use and their impact on source code;developers need protection, too: perspectives and research challenges for privacy in social coding platforms;emotions in requirements engineering: a systematic mapping study;and perceptions of task interdependence in software development: an industrial case study.
The proceedings contain 28 papers. The topics discussed include: automatically resolving data source dependency hell in large scale data science projects;uncovering energy-efficient practices in deep learning training...
ISBN:
(纸本)9798350301137
The proceedings contain 28 papers. The topics discussed include: automatically resolving data source dependency hell in large scale data science projects;uncovering energy-efficient practices in deep learning training: preliminary steps towards green AI;prevalence of code smells in reinforcement learning projects;automotive perception software development: an empirical investigation into data, annotation, and ecosystem challenges;towards understanding model quantization for reliable deep neural network deployment;exploring hyperparameter usage and tuning in machine learning research;algorithm debt: challenges and future paths;enabling machine learning in software architecture frameworks;extensible modeling framework for reliable machine learning system analysis;and how federated machine learning helps increase the mutual benefit of data-sharing ecosystems.
The proceedings contain 9 papers. The topics discussed include: a recognition algorithm applied to apple orchard picking robot;An underground pipeline relocation decision support system based on BIM and GIS integratio...
The proceedings contain 9 papers. The topics discussed include: a recognition algorithm applied to apple orchard picking robot;An underground pipeline relocation decision support system based on BIM and GIS integration;UAV path planning method based on modeling in complex forest environment;analysis and study on path planning algorithms in the further mobile action;optimization of image style transfer algorithm based on CycleGAN;optimization of adaptive mechanism for pipeline robots;Fostc3net: a lightweight YOLOv5 based on the network structure optimization;A review of advanced techniques in simultaneous localization and mapping.
The proceedings contain 25 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: User-Guided Verification of Security Protocols via Sound Animation;a...
ISBN:
(纸本)9783031773815
The proceedings contain 25 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: User-Guided Verification of Security Protocols via Sound Animation;a Policy Framework for Regulating External Calls in Smart Contracts;exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability;a Formal Modeling Language for Smart Contracts;symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems;Validating Traces of Distributed Programs Against TLA+ Specifications;partially-Observable Security Games for Attack-Defence Analysis in software Systems;secure Smart Contracts with Isabelle/Solidity;Deductive Verification of SYCL in VerCors;minuska: Towards a Formally Verified Programming Language Framework;hierarchical Learning of Generative Automaton Models from Sequential Data;composing Run-Time Variability Models;model-Checking the Implementation of Consent;grammarForge: Learning Program Input Grammars for Fuzz Testing;verified Configuration and Deployment of Layered Attestation Managers;right or Wrong – Understanding How Users Write software Models in Alloy;an Operational Semantics for Yul;execution-Time Opacity Control for Timed Automata;unlocking the Power of Environment Assumptions for Unit Proofs;towards Quantum Multiparty Session Types;automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems;formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards;leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems.
The proceedings contain 133 papers. The topics discussed include: numerical simulation of airflow organization in the cabin of a widebody aircraft;personalized clinical trial based on multi-armed bandit algorithms wit...
ISBN:
(纸本)9798400709784
The proceedings contain 133 papers. The topics discussed include: numerical simulation of airflow organization in the cabin of a widebody aircraft;personalized clinical trial based on multi-armed bandit algorithms with covariates;genetic algorithm based path planning method for municipal garbage trucks;research on urban landscape design optimization based on interactive genetic algorithm;exploring the effect of non-on-predictor algorithms in triple training;research on building environment optimization based on niche genetic algorithm;traffic flow prediction method based on improved optimization algorithm mixed kernel extreme learning machine;research and application of gaze direction algorithm based on head movement and eye movement data fusion;and research on switch cabinet fault diagnosis algorithm based on voiceprint feature fusion.
The proceedings contain 26 papers. The topics discussed include: how to find new onion hidden service based on blind secret key?: a method of new onion hidden service‘s scale estimation;architecture in the Peruvian r...
ISBN:
(纸本)9798400709197
The proceedings contain 26 papers. The topics discussed include: how to find new onion hidden service based on blind secret key?: a method of new onion hidden service‘s scale estimation;architecture in the Peruvian real estate sector based on blockchain to prevent fraud;network-transparent service container and migration with information distribution management in edge environments;a low-Ops IaaS cloud framework based on cloud-native architecture;a low-ops IaaS cloud framework based on cloud-native architecture;between theory and value transactions: a multifaceted exploration of relevance and resilience of decentralized autonomous organizations;using data mining to uncover association of Philippines’ demographic data to tuberculosis;and employing naïve bayes algorithm in the analysis of students’ academic performances.
The proceedings contain 46 papers. The topics discussed include: please fix this mutant: how do developers resolve mutants surfaced during code review?;widget detection-based testing for industrial mobile games;DAppHu...
ISBN:
(纸本)9798350300376
The proceedings contain 46 papers. The topics discussed include: please fix this mutant: how do developers resolve mutants surfaced during code review?;widget detection-based testing for industrial mobile games;DAppHunter: identifying inconsistent behaviors of blockchain-based decentralized applications;evolutionary approach for concurrency testing of ripple blockchain consensus algorithm;a model for understanding and reducing developer burnout;a model-based, quality attribute-guided architecture re-design process at google;an empirical comparison on the results of different clone detection setups for c-based projects;challenges in adopting artificial intelligence based user input verification framework in reporting software systems;scalable compositional static taint analysis for sensitive data tracing on industrial micro-services;simulation-driven automated end-to-end test and oracle inference;please fix this mutant: how do developers resolve mutants surfaced during code review?;and an empirical study on change-induced incidents of online service systems.
The proceedings contain 37 papers. The topics discussed include: use of DevOps in very small entities: systematic mapping;team formation in software development : a systematic mapping;systematic mapping on software to...
ISBN:
(纸本)9798350358568
The proceedings contain 37 papers. The topics discussed include: use of DevOps in very small entities: systematic mapping;team formation in software development : a systematic mapping;systematic mapping on software to improve pronunciation in French learning;roadmap web system for project management in the ISO/IEC 29110 standard;evaluation of the ROBIX UML web modeler: assessing the level of usability;identification of the behavior and preferences of the users of a virtual campus through data mining techniques;systematic study of deep learning models for image-based detection of monkeypox virus;attention, emotion, recall analysis model for brand adoption using heat mapping and eye tracking;and impact of DevOps practices on software product quality: preliminary findings from a systematic mapping.
The proceedings contain 11 papers. The special focus in this conference is on Model-Driven engineering and software Development. The topics include: Decomposable and Executable Models for Verification of...
ISBN:
(纸本)9783031388200
The proceedings contain 11 papers. The special focus in this conference is on Model-Driven engineering and software Development. The topics include: Decomposable and Executable Models for Verification of Real-Time Systems;comparing Goal-Oriented Analysis Techniques: A Controlled Experiment;A Methodological Framework for SPL engineering from DSML;HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments;Dependency Graphs to Boost the Verification of SysML Models;acknowledging Implementation Trade-Offs When Developing with Units of Measurement;a Digital Twin Description Framework and Its Mapping to Asset Administration Shell;preface;Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies.
The proceedings contain 44 papers. The topics discussed include: text analysis method based on multi-channel parallel classifier;a rudimentary proof on Goldbach conjectures;a combined algorithm for imbalanced classifi...
ISBN:
(纸本)9781665482202
The proceedings contain 44 papers. The topics discussed include: text analysis method based on multi-channel parallel classifier;a rudimentary proof on Goldbach conjectures;a combined algorithm for imbalanced classification based on dual distribution representation learning and classifier decoupling learning;transformer-based deep learning method for the prediction of ventilator pressure;multiple input single target streamflow forecast by neurowavelet networks;STDE: a single-senior-teacher knowledge distillation model for high-dimensional knowledge graph embeddings;a survey: complex knowledge base question answering;neural data-to-text generation guided by predicted plan;design and implementation of a perioperative medical data quality management platform;multi-view user preference learning with knowledge graph for recommendation;and representation learning of knowledge graph integrating entity description and language morphological structure information.
暂无评论