The proceedings contain 85 papers. The topics discussed include: research on encrypted text classification based on natural language processing;shuffled frog leaping algorithm based neural network and its application ...
The proceedings contain 85 papers. The topics discussed include: research on encrypted text classification based on natural language processing;shuffled frog leaping algorithm based neural network and its application in big data set;mobile app fingerprint feature extraction pattern recognition based on random game;a survey of abnormal event perception research based on mobile phone location big data;deep learning method for buffer layer defect detection in high voltage cable;research on relation extraction method based on similar relations and Bayesian neural network;research on intelligent identification method for access equipment of grid information system;an analysis of the 'direct effect' and 'indirect effect' of urban housing prices on the upgrading of industrial structure-based on data of 285 cities;an exploration-driven reinforcement learning model for video streaming scheduling in 5G-powered drone;research on fire alarm monitoring system of fire engineering based on network;agile development technology of test application program suitable for semiconductor device testing;and forest fire compound feature monitoring technology based on infrared and visible binocular vision.
The proceedings contain 24 papers. The special focus in this conference is on New Trends in Model and Data engineering. The topics include: Record Linkage for Auto-tuning of High Performance Computing Systems;protecti...
ISBN:
(纸本)9783030876562
The proceedings contain 24 papers. The special focus in this conference is on New Trends in Model and Data engineering. The topics include: Record Linkage for Auto-tuning of High Performance Computing Systems;protecting Sensitive Data in Web of Data;COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection;time Insertion Functions;static Checking Consistency of Temporal Requirements for Control software;visual Language for Device Management in Telecommunication Product Line;Using Process-Oriented Structured Text for IEC 61499 Function Block Specification;the DibiChain Protocol: Privacy-Preserving Discovery and Exchange of Supply Chain Information;towards a Resource-Aware Formal Modelling Language for Workflow Planning;Development of Critical Systems with UML/OCL and FoCaLiZe;systematic Literature Review of Methods for Maintaining Data Integrity;medical Data engineering – Theory and Practice;querying Medical Imaging Datasets Using Spatial Logics (Position Paper);evaluation of Anonymization Tools for Health Data;usages of the ContSys Standard: A Position Paper;systematic Assessment of Formal Methods Based Models Quality Criteria;deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution;energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings;edge-to-Fog Collaborative Computing in a Swarm of Drones;Coverage Maximization in WSN Deployment Using Particle Swarm Optimization with Voronoi Diagram;EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles;bridging Trust in Runtime Open Evaluation Scenarios.
The proceedings contain 17 papers. The topics discussed include: scenario-based modeling and programming of distributed systems;scenario-based modeling and programming of distributed systems;towards modelling of cardi...
The proceedings contain 17 papers. The topics discussed include: scenario-based modeling and programming of distributed systems;scenario-based modeling and programming of distributed systems;towards modelling of cardiac pacemakers with timed colored petri nets and related tools;improving drone-based parcel delivery in a delivery system at its capacity limit;availability analysis of the ONOS architecture;Petri net sagas;cloud native simulation of reference nets;collecting structured logs of instances as process nets in petriflow language;the reachability problem for acyclic join-free Petri nets is NP-complete;and general composition for symmetric net arc functions with applications.
The proceedings contain 129 papers. The topics discussed include: learning-to-rank vs ranking-to-learn: strategies for regression testing in continuous integration;a cost-efficient approach to building in continuous i...
ISBN:
(纸本)9781450371216
The proceedings contain 129 papers. The topics discussed include: learning-to-rank vs ranking-to-learn: strategies for regression testing in continuous integration;a cost-efficient approach to building in continuous integration;practical fault detection in puppet programs;adapting requirements models to varying environments;comparing formal tools for system design: a judgment study;causal testing: understanding defects' root causes;impact analysis of cross-project bugs on software ecosystem;taming behavioral backward incompatibilities via cross-project testing and analysis;watchman: monitoring dependency conflicts for python library ecosystem;one size does not fit all: a grounded theory and online survey study of developer preferences for security warning types;how software practitioners use informal local meetups to share softwareengineeringknowledge;predicting developers' negative feelings about code review;and near-duplicate detection in web app model inference.
The proceedings contain 40 papers. The topics discussed include: development of a web-based intervention application for high school teachers’ intervention efforts;ADOMATH: an android mobile game application for pres...
ISBN:
(纸本)9798350391411
The proceedings contain 40 papers. The topics discussed include: development of a web-based intervention application for high school teachers’ intervention efforts;ADOMATH: an android mobile game application for preschoolers;calculation method of winning percentage in handball games and its application to player evaluation;strategic prioritization of industry 4.0 adoption in Indonesian manufacturing SMEs: a best-worst method analysis;predicting motorcycle tire failure with deep learning;GoCart: an IoT-based cart system with promotional feature in mobile application;process mining techniques utilizing ChatGPT: a comparative analysis with disco software on call center log data;and siltation modeling in Laguna Lake: a case study of Brgy. Palingon, Calamba City.
The proceedings contain 26 papers. The topics discussed include: divergent creativity for requirement elicitation amid pandemic: experience from real consulting project;continuous rationale identification in issue tra...
The proceedings contain 26 papers. The topics discussed include: divergent creativity for requirement elicitation amid pandemic: experience from real consulting project;continuous rationale identification in issue tracking and version control systems;a vision of understanding the users' view on software;an NLP-based chatbot to facilitate RE activities: an experience paper on human resources application;concept extraction in requirements elicitation session recordings: prototype and experimentation;semantic frames for classifying temporal requirements: an exploratory study;using recurrent neural networks for classification of natural language-based non-functional requirements;case study: how well can IBM's "requirements quality assistant" review automotive requirements?;and from legal contracts to formal specifications: a progress report.
The proceedings contain 28 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: On the Security and Safety of AbU Systems;parallelized Sequential Co...
ISBN:
(纸本)9783030921231
The proceedings contain 28 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: On the Security and Safety of AbU Systems;parallelized Sequential Composition and Hardware Weak Memory Models;Checking Opacity and Durable Opacity with FDR;Translation of CCS into CSP, Correct up to Strong Bisimulation;Probabilistic BDI Agents: Actions, Plans, and Intentions;a Debugger for Probabilistic Programs;verification of Programs with Exceptions Through Operator Precedence Automata;counterexample Classification;Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines;validating Safety Arguments with Lean;Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis;TACoS: A Tool for MTL Controller Synthesis;Lightweight Nontermination Inference with CHCs;A Denotational Semantics of Solidity in Isabelle/HOL;configuration Space Exploration for Digital Printing Systems;bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic;OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks;active Model Learning of Stochastic Reactive Systems;mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction;runtime Enforcement with Reordering, Healing, and Suppression;monitoring First-Order Interval Logic;exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines;nfer – A Tool for Event Stream Abstraction;mining Shape Expressions with ShapeIt;refining Privacy-Aware Data Flow Diagrams;hybrid Information Flow Control for Low-Level Code.
The proceedings contain 79 papers. The topics discussed include: an interactive approach for query-based multi-document scientific text summarization;enhancing Persian word sense disambiguation with large language mod...
ISBN:
(纸本)9798331511272
The proceedings contain 79 papers. The topics discussed include: an interactive approach for query-based multi-document scientific text summarization;enhancing Persian word sense disambiguation with large language models techniques and applications;assessing users' influence on respondents in conversation quality: a quantitative study on reddit based on the cooperative principle;non-negative matrix factorization improves residual neural networks;cluster sampling: a cluster-driven sampling strategy for deep metric learning;a scalable blockchain-based educational network for data storage and assessment;towards efficient capsule networks through approximate squash function and layer-wise quantization;automated software design using machine learning with natural language processing;evaluation of efficient electrocardiomatrix-based identification using deep learning methods;disturbance rejection in quadruple-tank system by proposing new method in reinforcement learning;and an improved and accurate measure for mining correlated high-utility itemsets.
The proceedings contain 32 papers. The topics discussed include: towards the use of a framework to make technical debt visible;context-based model of the progression of information capture in software requirements eli...
ISBN:
(纸本)9781728184500
The proceedings contain 32 papers. The topics discussed include: towards the use of a framework to make technical debt visible;context-based model of the progression of information capture in software requirements elicitation;customized diagnostic tool for the security maturity level of the enterprise information based on ISO/IEC 27001;a systematic literature review on machine learning for automated requirements classification;literature based modeling learning: an imaginative assignment to learn software modeling;towards the implementation of an attention-based neural machine translation with artificial pronunciation for Nahuatl as a mobile application;a metadata application profile to structure a scientific database for social network analysis (SNA);and a tool for reducing implementation defects for requirements based on large decision tables: towards a semantic gap reduction.
暂无评论