Cargando…

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) /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques Cancun, Mexico
Otros Autores: Fujita, Hamido, Perez-Meana, Hector, 1954-
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