The proceedings contain 10 papers. The topics discussed include: introducing software system course to engineering undergraduate students - an experience report;mining and detecting bugs in introductory programs;teach...
The proceedings contain 10 papers. The topics discussed include: introducing software system course to engineering undergraduate students - an experience report;mining and detecting bugs in introductory programs;teaching softwareengineering virtually during COVID-19 pandemic era: lessons learned;the perceived effects of introducing coaching on the development of student’s soft skills managing software quality;applying softwareengineering to teach online project-basedsoftwareengineering courses;report on the 9th international workshop on quantitative approaches to software quality (QuASoQ 2021);the impacts of requirements relationships knowledge on requirements quality and software development project success;and predicting requirements volatility: an industry case study.
The proceedings contain 103 papers. The topics discussed include: research on the optimization of wireless sensor network localization based on real-time estimation;parameter estimation of LFM signal by direct and spl...
ISBN:
(纸本)9783642345272
The proceedings contain 103 papers. The topics discussed include: research on the optimization of wireless sensor network localization based on real-time estimation;parameter estimation of LFM signal by direct and spline interpolation based on FrET;study on industrial cluster knowledge emergence model based on asymmetric influence;study and optimization of FIR filters based on FPGA;efficient authentication based on orthogonality and timeliness for network coding;a security attack risk assessment for web services based on data schemas and semantics;a string approach for updates in order-sensitive XML data;fault diagnosis of nodes in WSN based on particle swarm optimization;impact analysis of reducing inbound information rate on the RDSS system inbound capacity;SNR estimation algorithm for single signal with strong multiple access interference;design and implementation of electrolyzer simulation system;and a method of optical ultra-wide-band pulse generation based on XPM in a dispersion shifted fiber.
Robot behavior learning has emerged as a crucial field, allowing robots to adapt and improve their actions based on experiential knowledge rather than being solely reliant on predefined instructions. However, the effe...
详细信息
As blockchain technology continues to evolve, the need for accessible solutions for developing smart contracts has grown, especially for non-technical users. This paper addresses practitioners' challenges in gener...
详细信息
ISBN:
(数字)9798331535100
ISBN:
(纸本)9798331535117
As blockchain technology continues to evolve, the need for accessible solutions for developing smart contracts has grown, especially for non-technical users. This paper addresses practitioners' challenges in generating Solidity smart contracts from natural language requirements within the AstraKode Blockchain no-code platform (AKB). Our goal is to lower the barrier of entry into smart contract development, making it more accessible to users with limited technical expertise. We propose three methods, i.e., Naive Generation, Augmented Generation, and Enhanced Generation, each utilizing large language models to streamline the code generation process. These methods cater to different user needs, from rapid prototyping to handling complex business scenarios, improving accessibility and usability within AKB. We demonstrate their practical relevance, potential, and limitations in addressing real-world challenges in smart contract development through empirical evaluations and practitioner feedback. Thanks to collaboration with academia and effective knowledge transfer, these methods provide innovative solutions to the challenges of smart contract generation. Furthermore, they have been integrated into AKB to enhance user services, ultimately promoting the development and deployment of secure and efficient smart contracts in the industry.
The proceedings contain 19 papers. The topics discussed include: towards decision centric repository of architectural knowledge;construction of messaging-based enterprise integration solutions using AI planning;integr...
ISBN:
(纸本)9783642280375
The proceedings contain 19 papers. The topics discussed include: towards decision centric repository of architectural knowledge;construction of messaging-based enterprise integration solutions using AI planning;integration of application business logic and business rules with DSL and AOP;aspect-oriented change realization based on multi-paradigm design with feature modeling;on the evolution of component-basedsoftware;query processing using negative and temporal tuples in stream query engines;scalable store of java objects using range partitioning;performance analysis of interactive Internet systems for a class of systems with dynamically changing offers;information systems development based on visual domain specific language BiLingva;a mapping from normative requirements to event-B to facilitate verified data-centric business process management;and computations in graph rewriting: inductive types and pullbacks in DPO approach.
The proceedings contain 41 papers. The topics discussed include: Bayesian network inference with qualitative expert knowledge for decision support systems;semantic query validation in guided-based systems: assuring th...
ISBN:
(纸本)9780769540887
The proceedings contain 41 papers. The topics discussed include: Bayesian network inference with qualitative expert knowledge for decision support systems;semantic query validation in guided-based systems: assuring the construction of queries that make sense;user and item pattern matching in multi-criteria recommender systems;modeling of device collaboration process based on Petri net;CP-nets based methodology for integrating functional verification and performance analysis of network protocol;a novel security approach for critical information systems: preventing flooding in the non-authenticated client area using a new service from local network service providers;achieving flow-level controllability in network intrusion detection system;explaining classification by finding response-related subgroups in data;real-time implementation of synthetic aperture sonar imaging on high performance clusters;and recovering depth from a single image using dark channel prior.
The proceedings contain 10 papers. The special focus in this conference is on Database and Expert Systems Applications. The topics include: An Automated Ontology-based Requirements Traceability Technique in Agile...
ISBN:
(纸本)9783031683015
The proceedings contain 10 papers. The special focus in this conference is on Database and Expert Systems Applications. The topics include: An Automated Ontology-based Requirements Traceability Technique in Agile software Development Context;toward a knowledge-based Anomaly Identification System for Detecting Anomalies in the Smart Grid;On the Solvability of the XOR Problem by Spiking Neural Networks;Risk Assessment in AI System engineering: Experiences and Lessons Learned from a Practitioner’s Perspective;from Paper to Pixels: A Multi-modal Approach to Understand and Digitize Assembly Drawings for Automated Systems;Uncertainty Estimation of Raters’ Performance and Ground Truth Through a Bayesian Extension of STAPLE;uncertainty Estimation for Energy Consumption Nowcasting;knowledge Guided Clustering Medieval Polychromy.
Traditional fault detection methods often rely on manual experience and regular inspections, which are not only inefficient but also difficult to detect potential safety hazards in a timely manner. In the study, the p...
详细信息
ISBN:
(数字)9798331536169
ISBN:
(纸本)9798331536176
Traditional fault detection methods often rely on manual experience and regular inspections, which are not only inefficient but also difficult to detect potential safety hazards in a timely manner. In the study, the power data was first preprocessed, including data cleaning, denoising, and normalization, and then key features were extracted using signal processing techniques. A hybrid model was constructed using a deep neural network (DNN) framework, combined with convolutional neural networks (CNN) and long short-term memory networks (LSTM), to handle nonlinear relationships and temporal dynamics in power data. In addition, a power knowledge map is constructed, and the map information is combined with the output of deep learning model through attention mechanism to enhance the model's ability to understand and predict fault modes. The experimental results show that the model based on knowledge map is generally higher than the model based on deep learning in the accuracy of fault prediction, showing better robustness and adaptability. Case analysis further verifies the effectiveness of the model, such as successfully predicting transformer overheating fault and transmission line disconnection caused by strong wind. This study provides a new method for intelligent fault prediction of power system, which is helpful to realize early detection and prevention of power system and ensure the stable operation of power system.
The proceedings contain 87 papers. The topics discussed include: designing an e-voting framework using blockchain: a secure and transparent attendance approach;SODIBOT: a two in one real-time human monitoring system u...
ISBN:
(纸本)9798350310931
The proceedings contain 87 papers. The topics discussed include: designing an e-voting framework using blockchain: a secure and transparent attendance approach;SODIBOT: a two in one real-time human monitoring system using YOLO algorithms;priority based fair scheduling: enhancing efficiency in cloud job distribution;a survey on supervised machine learning in intrusion detection systems for Internet of Things;machine learning regression models for real-time touchless interaction applications;knowledge of the utilization of telegram for learning among primary students in Kuantan;exploring machine learning in IoT smart home automation;predicting mental health disorder on twitter using machine learning techniques;improving sarcasm detection in mash-up language through hybrid pretrained word embedding;and an overview of part-of-speech tagging methods and datasets for Malay language.
The proceedings contain 15 papers. The special focus in this conference is on Requirements engineering: Foundation for software Quality. The topics include: Requirements engineering in the Planning Phase of a software...
ISBN:
(纸本)9783030731274
The proceedings contain 15 papers. The special focus in this conference is on Requirements engineering: Foundation for software Quality. The topics include: Requirements engineering in the Planning Phase of a software Ecosystem;power and Privacy in software Ecosystems: A Study on Data Breach Impact on Tech Giants;iterative and Scenario-based Requirements Specification in a System of Systems Context;Specifying Requirements for Data Collection and Analysis in Data-Driven RE. A Research Preview;saPeer Approach for Training Requirements Analysts: An Application Tailored to a Low-resource Context;on Understanding the Relation of knowledge and Confidence to Requirements Quality;Automatic Detection of Causality in Requirement Artifacts: The CiRA Approach;improving Trace Link Recovery Using Semantic Relation Graphs and Spreading Activation;CORG: A Component-Oriented Synthetic Textual Requirements Generator;automatically Classifying Non-functional Requirements with Feature Extraction and Supervised Machine Learning Techniques: A Research Preview;adaptationExplore – A Process for Elicitation, Negotiation, and Documentation of Adaptive Requirements;Trustworthy AI Services in the Public Sector: What Are Citizens Saying About It?;defining Utility Functions for Multi-stakeholder Self-adaptive Systems.
暂无评论