The proceedings contain 23 papers. The topics discussed include: a multi-target, multi-paradigm DSL compiler for algorithmic graph processing;Lang-n-Prove: a DSL for language proofs;freon: an open web native language ...
ISBN:
(纸本)9781450399197
The proceedings contain 23 papers. The topics discussed include: a multi-target, multi-paradigm DSL compiler for algorithmic graph processing;Lang-n-Prove: a DSL for language proofs;freon: an open web native language workbench;the semantics of plurals;reflection as a tool to debug objects;workbench for creating block-based environments;property-based testing: climbing the stairway to verification;selective traceability for rule-based model-to-model transformations;specializing scope graph resolution queries;gradual grammars: syntax in levels and locales;property probes: source code based exploration of program analysis results;a language-parametric approach to exploratory programming environments;collection skeletons: declarative abstractions for data collections;and iCoLa: a compositional meta-language with support for incremental language development.
The proceedings contain 13 papers. The special focus in this conference is on Human-Centered softwareengineering. The topics include: Meeting Strangers Online: Feature Models for Trustworthiness Assessment;requi...
ISBN:
(纸本)9783031147845
The proceedings contain 13 papers. The special focus in this conference is on Human-Centered softwareengineering. The topics include: Meeting Strangers Online: Feature Models for Trustworthiness Assessment;requirements-Based Composition of Tailored Decision Support Systems;towards Collaborative Vision Video Production: How to Integrate Different Stakeholders;development of a Conversational Dietary Assessment Tool for Cardiovascular Patients;emoti-Office, Using Emotional and Contextual Data to Improve Employees’ Working Needs in the Office;i Feel You;challenges with Traditional Human-Centered Design for Developing Neurorehabilitation software;dissecting the Security and Usability Alignment in the Industry;Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC;on the Potentials of Realtime Sentiment Analysis on Text-Based Communication in software Projects;little Stakeholder Communication in Distributed Scrum Projects During the Covid-19 Period.
The proceedings contain 10 papers. The topics discussed include: report on the 10th international Workshop on Quantitative Approaches to software Quality;a dynamic model selection approach to mitigate the change of ba...
The proceedings contain 10 papers. The topics discussed include: report on the 10th international Workshop on Quantitative Approaches to software Quality;a dynamic model selection approach to mitigate the change of balance problem in cross-version bug prediction;a composite discover method for gadget chains in java deserialization vulnerability;exploring the impact of code style in identifying good programmers;an empirical evaluation of defect prediction models using project-specific measures;towards model driven safety and security by design;proposal of a user interface design guideline based on analysis of the causes of usability defects reported in a project-based softwareengineering course;adaptation of an online platform to teach testing;online service-learning in application development course: the challenges during the COVID-19 post-pandemic period;identifying learning challenges faced by novice/beginner computer programming students: an action research approach;and using student-generated questions in softwareengineering courses.
The proceedings contain 27 papers. The topics discussed include: Tetris: automatic UAF exploit generation by manipulating layout based on reactivated paths;artificial neural network for processing fingerprint image no...
ISBN:
(纸本)9798350396379
The proceedings contain 27 papers. The topics discussed include: Tetris: automatic UAF exploit generation by manipulating layout based on reactivated paths;artificial neural network for processing fingerprint image noise;facial expression intensity estimation considering change characteristic of facial feature values for each facial expression;developing a gamification method based on motivation subscales for lifelogging applications;preliminary study of reasoning existing projects' descriptions based on classname word elements;construction and evaluation of a speech emotion classifier using LSTM;concurrency control program generation in genetic programming considering depth of the program tree;reconfiguration cost for reconfigurable computing architectures;and parallel binary search tree construction inspired by thread-level speculation.
The proceedings contain 53 papers. The topics discussed include: infrared long-distance target detection based on deep learning;multi-scale context enhancement network for object detection;deep learning for single-obj...
ISBN:
(纸本)9781665482233
The proceedings contain 53 papers. The topics discussed include: infrared long-distance target detection based on deep learning;multi-scale context enhancement network for object detection;deep learning for single-object tracking: a survey;handwritten ancient Chinese character recognition algorithm based on improved inception-ResNet and attention mechanism;surgical action recognition and prediction with transformers;learning short-term and long-term facial behaviors for personality traits recognition;transfer learning-based detection of endometrial cancer lesion regions on MRI images;point pattern feature matching method based on polar coordinate;recaptured image forensics based on generalized central difference convolution network;SWIN transformer based pyramid pooling network for food segmentation;and multi-frame video super-resolution based on efficient and parallel network.
The proceedings contain 9 papers. The topics discussed include: continuous requirements engineering in sociotechnical systems: challenges and solutions;requirements engineering for sociotechnical systems that may incl...
The proceedings contain 9 papers. The topics discussed include: continuous requirements engineering in sociotechnical systems: challenges and solutions;requirements engineering for sociotechnical systems that may include mixed initiative interactions between humans and machines;towards an approach for designing socio-technical business processes;emotion-oriented AOM: a case study;an ideal physical activity app for adults - what should it be like? requirements of adult users;requirements elicitation and repeatable processes - interdisciplinary collaboration between softwareengineering and design;requirements engineering for sociotechnical systems: case study of an airline operations control center;and transitioning from motivational goal models to user stories within user-centered software design.
The proceedings contain 165 papers. The topics discussed include: design of temperature monitoring system for space environment simulation and research infrastructure based on EPICS;multi-sensor fusion localization an...
ISBN:
(纸本)9781665484749
The proceedings contain 165 papers. The topics discussed include: design of temperature monitoring system for space environment simulation and research infrastructure based on EPICS;multi-sensor fusion localization and mapping of indoor mobile robot;fusion localization based on accuracy estimation;research on sway detection method of subway train based on MEMS gyroscope technology;principle and application of tunnel magnetoresistance current sensor against direct-current influence;research on design of railway supervision and obstacle removal special vehicle based on function analysis method;design and realization of conductor for spacecraft based on single-chip microcomputer;poles estimation based on backward shift method;parallel convolutional neural network based on multi-band brain networks for EEG classification;mechanical properties of interconnection interfaces in micro tin-silver-copper solder joints;and abnormal electricity detection method based on multi-dimensional unsupervised learning.
The proceedings contain 17 papers. The special focus in this conference is on engineeringsoftware for Modern Challenges. The topics include: Vehicle Recognition Using Multi-level Deep Learning Models;IMMFV2: Improved...
ISBN:
(纸本)9783031199677
The proceedings contain 17 papers. The special focus in this conference is on engineeringsoftware for Modern Challenges. The topics include: Vehicle Recognition Using Multi-level Deep Learning Models;IMMFV2: Improved Modified Fermat Factorization Algorithm;functional Requirements Management in Virtual Team Environment;quality Assessment Framework for IoT Based Systems for Agriculture Industry 4.0;CMMI software Evolution and Its Role in Pakistan;secure software Development: Infuse Cyber Security to Mitigate Attacks in an Organization;a Survey on Measurement Based Shadow Fading Model for Vehicular Communications;improving Traceability Using Blockchain and Internet of Things (IoT) in the Food Supply Chain;Security Issues and Challenges in Vehicular Big Data Network (VBDN): A Survey;analysis of Web Monitoring Servers and Tools for Cloud Computing Services;XSHM: Proposed Hybrid Process Modeling Technique from Scrum and XP for PSP and Medium Projects;PACS: A Standardized Model for the Deployment of Digital Imaging in DoR;content-Based Venue Recommender Approach for Publication;determining Object Color in Images Using Color Thresh-Holding Approach;educational Robot for Assignments Checking.
The proceedings contain 126 papers. The topics discussed include: analysis and research on adaptive time-frequency analysis method;a new method for detecting binary random sequences in cryptography: first interval tes...
ISBN:
(纸本)9781450397780
The proceedings contain 126 papers. The topics discussed include: analysis and research on adaptive time-frequency analysis method;a new method for detecting binary random sequences in cryptography: first interval test for non-overlapping templates;an effective data recovery approach for distributed storage based on interference alignment;an optimization design method of cloud manufacturing service process based on improved artificial bee colony algorithm;a chronic disease medication data sharing model based on blockchain;study on the evaluation model of airborne software supplier development capability;blockchain-based cable supply chain traceability system;study on digital signal synchronization system of confocal micro endoscope;research on short-term load forecasting of power system based on wavelet denoising and artificial neural network;and metro passenger flow prediction based on optimized BP neural network algorithm.
The proceedings contain 13 papers. The topics discussed include: propensity-dependent model for unbiased learning-to-rank;research on intellectualization of cost management system of power transmission and transformat...
ISBN:
(纸本)9781450397940
The proceedings contain 13 papers. The topics discussed include: propensity-dependent model for unbiased learning-to-rank;research on intellectualization of cost management system of power transmission and transformation project;research on the classification algorithm of Chinese language and literature system based on artificial intelligence technology;analysis of BIM and GIS fusion technology in railway information construction;node localization in rang-free 3D-WSNs using new DV-Hop algorithm based machine learning techniques;integrated mobile command platform for UAV operation, inspection and dispatching;automatic evaluation system of aerobics based on action recognition algorithm;heart sound detection based on bidirectional multilayer recurrent convolutional neural network;and visual analysis of Su Shi literature database in programming with R language and Ucinet and Citespace software.
暂无评论