| Description |
1 online resource |
| Series |
Frontiers in artificial intelligence and applications ; v. 337 |
|
Frontiers in artificial intelligence and applications ; v. 337.
|
| Contents |
Intro -- Title Page -- Preface -- Conference Organization -- Contents -- Chapter 1. Software System with Intelligent Design -- Generating Program Identifier Dictionary for Maintaining Legacy Systems -- Protection of Mathematical Formulas Using Function Invariants -- Software Protection of Smart Household Appliances Against Over-Exploitation -- Algorithmic Methods of Hidden Communication Through Buy Orders and Sales on International Stock Exchanges -- SELM: Software Engineering of Machine Learning Models -- Feature Reuse Across Software Releases During Software Evolution |
|
Chapter 2. Software Systems Security and Techniques -- Protecting the Sharing and Distribution of Color Images Hosted in Cloud Storage Services -- Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting -- Extreme Gradient Boosting for Cyberpropaganda Detection -- The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation -- LSTM Neural Networks for Detecting Anomalies Caused by Web Application Cyber Attacks -- A Massively Parallel Approach to Automated Software Correctness Enhancement in Java |
|
Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings -- Chapter 3. Formal Techniques for System Software and Quality Assessment -- Building Normalized Systems from Domain Models in Ecore -- New Model for Handling Inconsistency Issues in DL-Lite Knowledge Bases -- Formal Event-B Modeling of the MICONIC Application -- Integrating Quality Assessment Through Metrics into Scrum Software Development -- Effort Estimation in Agile Software Development: A Systematic Mapping Study -- Engineering Platform as Integrated Software for Model Mediated Research |
|
Toward the Formalization of Business Process Model and Notation -- Chapter 4. Applied Intelligence in Software -- Introducing Interactivity in Disaster Recovery Simulations -- An Ontology for Modeling Vehicle Routing Problems -- LSTM-Based Mosquito Genus Classification Using Their Wingbeat Sound -- Acoustic Scenery Recognition Using CWT and Deep Neural Network -- Towards a New Approach for Intelligent BPM Based on Technologies 4.0 -- A Deep Transfer Learning Approach for Flow-Based Intrusion Detection in SDN-Enabled Network -- Chapter 5. Intelligent Decision Support Systems |
|
Improving Euclidean's Consensus Degrees in Group Decision Making Problems Through a Uniform Extension -- Bio-Informatic Model of Tyrosine Kinases Inhibitors in Trabecular Meshwork Cells -- AFL: Adaptive Federated Learning Based on Personalized Model and Adaptive Communication -- An Empirical Investigation of Online News Classification on an Open-Domain, Large-Scale and High-Quality Dataset in Vietnamese -- Skeleton-Based Action Recognition with Joint Coordinates as Feature Using Neural Oblivious Decision Ensembles -- Proctors Assignment at the University of Information Technology -- VNU HCM |
| Notes |
Includes indexes |
|
Online resource; title from PDF title page (IOS Press, viewed October 27, 2021) |
| Subject |
Software engineering -- Congresses
|
|
Computer software -- Development -- Congresses
|
|
Artificial intelligence -- Congresses
|
|
Artificial intelligence
|
|
Computer software -- Development
|
|
Software engineering
|
| Genre/Form |
Conference papers and proceedings
|
| Form |
Electronic book
|
| Author |
Fujita, Hamido.
|
|
Perez-Meana, Hector, 1954-
|
| ISBN |
9781643681955 |
|
1643681958 |
|
