New trends in intelligent software methodologies, tools and techniques : proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam :
IOS Press,
2021.
|
Colección: | Frontiers in artificial intelligence and applications ;
v. 337. |
Temas: | |
Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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