On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture

On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ICSOFT (15. : 2020 : Online) ICSOFT 2020
1. Verfasser: Eddine, Choucha Chams (VerfasserIn)
Weitere Verfasser: Salem, Mohamed Oussama Ben (VerfasserIn), Khalgui, Mohamed (VerfasserIn), Kahloul, Laid (VerfasserIn), Ougouti, Naima Souad (VerfasserIn)
Pages:2020
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
A Systematic Literature Mapping of Artificial Intelligence Planning in Software Testing 2020 Lima, Luis F. de
Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions 2020 Maidl, Monika
Visualization Method of Important Regions by Combination of Webpage Structures and Saliency Maps 2020 Inagaki, Yuya
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL 2020 Soualah, Sohaib
Fuzzy Multi-objective Optimization for Ride-sharing Autonomous Mobility-on-Demand Systems 2020 Khemiri, Rihab
Generic GA-PPI-Net: Generic Evolutionary Algorithm to Detect Semantic and Topological Biological Communities 2020 M’Barek, Marwa Ben
Big Data Streaming Platforms to Support Real-time Analytics 2020 Fernandes, Eliana
Blockchain Project Initiation and Execution: Decision-making Practices and Perceptions 2020 Kumalakov, Bolatzhan
Fault Detection and Co-design Recovery for Complex Task within IoT Systems 2020 Bendimerad, Radia
Towards a Data Science Framework Integrating Process and Data Mining for Organizational Improvement 2020 Delgado, Andrea
Using Blockchain to Implement Traceability on Fishery Value Chain 2020 Cruz, Estrela Ferreira
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment 2020 Choucha, Chams Eddine
A Novel Approach for Android Malware Detection and Classification using Convolutional Neural Networks 2020 Lekssays, Ahmed
IT-Application Behaviour Analysis: Predicting Critical System States on OpenStack using Monitoring Performance Data and Log Files 2020 Kubiak, Patrick
Introducing AI/ML Components into Software Systems 2020 Slezak, Dominik
Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes 2020 Mohagheghi, Mohammadsadegh
A Case Study on Performance Optimization Techniques in Java Programming 2020 Khlud, Ciprian
A Data-driven Methodology towards Interpreting Readability against Software Properties 2020 Karanikiotis, Thomas
A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications 2020 Witteck, Ulrike
Detecting Model View Controller Architectural Layers using Clustering in Mobile Codebases 2020 Dobrean, Dragos
Alle Artikel auflisten