
Modelling and Implementation of Complex Systems
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
This book presents the proceedings of the fifth International Symposium on Modelling and Implementation of Complex Systems (MISC 2018). The event was held in Laghouat, Algeria, on December 16-18, 2018. The 25 papers gathered here have been selected from 109 submissions using a strict peer-review process, and address a range of topics concerning the theory and applications of networking and distributed computing, including: cloud computing and the IoT, metaheuristics and optimization, computational intelligence, software engineering and formal methods.
More details
Other editions
Additional editions

Content
- Intro
- Preface
- Organization
- Honorary Chairs
- General Chairs
- Steering Committee
- Invited Speakers
- Organizing Committee Chairs
- Organizing Committee
- Publication Chairs
- Publicity and Sponsor Chairs
- Program Committee Chairs
- Program Committee
- Co-editors
- Additional Reviewers
- Contents
- Cloud Computing and IoT
- Enhanced RECCo Controller with Integrated Removing Clouds Mechanism
- 1 Introduction
- 2 RECCo Controller Design
- 3 Clouds Removing Mechanism
- 4 Application to Heat Exchanger Temperature Control
- 5 Conclusion
- References
- Virtual Machines Allocation and Migration Mechanism in Green Cloud Computing
- Abstract
- 1 Introduction
- 2 Related Work
- 3 Mechanism Principle
- 4 VMs Allocation Rules
- 5 VMs Migration Rules
- 6 Tests and Simulation Results
- 6.1 Simulation Parameters
- 6.2 Experience
- 7 Conclusion
- References
- Secure Data Transmission Scheme Based on Elliptic Curve Cryptography for Internet of Things
- 1 Introduction
- 2 Background
- 3 Related Work
- 4 Secure Data Transmission Scheme (SDTS)
- 4.1 System Model, Assumptions, and Notations
- 4.2 Proposed Algorithm
- 5 Security Analysis
- 6 Performance Analysis
- 6.1 Computation Costs
- 6.2 Communication Costs
- 7 Comparative Analysis
- 8 Conclusion
- References
- QoS Multicast Routing Based on a Quantum Chaotic Dragonfly Algorithm
- 1 Introduction
- 2 Multicast Routing Problem Formulation
- 3 Dragonfly Algorithm and Quantum Evolutionary Algorithm
- 3.1 Dragonfly Algorithm
- 3.2 Quantum Evolutionary Algorithm
- 4 Proposed Algorithm Based on the Hybridization of DFA and QEA for QoS Multicast Routing
- 5 Simulation Results
- 5.1 First Scenario
- 5.2 Second Scenario
- 6 Conclusion
- References
- Service Discovery in the Internet of Things: A Survey
- 1 Introduction
- 2 Classification Scheme
- 2.1 Description
- 2.2 Architecture
- 2.3 Search Method
- 2.4 Internet Dependency
- 2.5 Push/Pull Modes
- 2.6 Scope
- 3 Service Discovery in IoT
- 3.1 Local Discovery
- 3.2 Remote Discovery
- 3.3 IoT Search Engine
- 3.4 IoT Recommendation System
- 4 Evaluation
- 5 Conclusion and Future Research Directions
- References
- Spectral Band Selection Using Binary Gray Wolf Optimizer and Signal to Noise Ration Measure
- 1 Introduction
- 2 Spectral Band Selection Using Binary Gray Wolf Optimizer
- 2.1 Gray Wolf Optimizer
- 2.2 BGWO: Binary Gray Wolf Optimizer for Spectral Band Selection
- 2.3 Fitness Function
- 3 Experimental Results
- 3.1 Hyperspectral Datasets
- 3.2 Parameters Setting
- 3.3 Results and Discussion
- 4 Conclusions and Perspectives
- References
- Metaheuristics and Optimization
- New Solutions for the Density Classification Task in One Dimensional Cellular Automata
- Abstract
- 1 Introduction
- 2 Basic Concepts and Properties
- 2.1 Cellular Automata
- 2.2 The Symmetry Property
- 2.3 The Number-Conserving Property
- 3 The Density Classification Task
- 3.1 Overview
- 3.2 Related Works on the DCT
- 4 Designing New Solutions for the DCT Using CAs of Radius r = 4
- 4.1 Context and Motivation
- 4.2 Computational Mechanisms of Good Solutions of Radius r = 3
- 4.3 Designing New Efficient Solutions
- 4.4 Numerical Results and Discussion
- 4.5 Evaluation of the Proposed Procedure
- 4.5.1 The Advantages
- 4.5.2 The Limitations
- 4.6 Implementation Details and Running Time Measurements
- 5 Conclusion
- References
- A Chaotic Binary Salp Swarm Algorithm for Solving the Graph Coloring Problem
- 1 Introduction
- 2 Graph Coloring Problem Formulation
- 3 Salp Swarm Algorithm and Binary Salp Swarm Algorithm
- 3.1 Salp Swarm Algorithm
- 3.2 Binary Salp Swarm Algorithm
- 4 Chaotic Binary Salp Swarm Algorithm for the Graph Coloring Problem
- 4.1 Chaotic Binary Salp Swarm Algorithm
- 4.2 Representation of the Solution
- 4.3 Objective Function
- 4.4 Initialization of the Population
- 4.5 Complexity Analysis of CBSSA
- 5 Experimental Results
- 6 Conclusion
- References
- Gene Selection for Microarray Data Classification Using Hybrid Meta-Heuristics
- 1 Introduction
- 2 Related Works
- 3 Materials and Methods
- 3.1 Differential Evolution
- 3.2 Artificial Immune System
- 3.3 Firefly Algorithm
- 3.4 BAT Algorithm
- 3.5 Penguin Search Optimization Algorithm
- 4 Hybridizations
- 4.1 Modified Version of PeSOA (PeSOA-C)
- 4.2 FA and DE Hybridization (HFA)
- 4.3 BAT and AIS Hybridization (AIS-BAT)
- 5 Results and Discussion
- 6 Conclusion
- References
- Optimization of PID Sliding Surface Using Ant Lion Optimizer
- Abstract
- 1 Introduction
- 2 Ant Lion Algorithm
- 2.1 Random Movement of Ants
- 2.2 Trapping of Ants
- 2.3 Construction of Trap
- 2.4 Catching the Prey and Reconstruction of the Pit
- 2.5 Elitism
- 3 Sliding Mode Controller Design Using PID Sliding Surface
- 4 Results and Discussion
- 4.1 Case 1: Unit Step Reference Trajectory
- 4.2 Case 2: Sinusoidal Reference Trajectory
- 5 Conclusion
- References
- Computational Intelligence
- Deep Neural Network for Supervised Inference of Gene Regulatory Network
- Abstract
- 1 Introduction
- 2 System and Method
- 2.1 Data Classification
- 2.2 Deep Neural Network
- 2.3 DNN for Gene Regulatory Network Inference
- 3 Experimental Study
- 3.1 Datasets
- 3.2 Results
- 4 Conclusion
- References
- Sentiment Analysis of Arabic Tweets: Opinion Target Extraction
- Abstract
- 1 Introduction
- 2 Related Work
- 3 Proposed Method
- 3.1 Corpus Building
- 3.2 Preprocessing
- 3.3 Classification
- 4 Experiments and Discussions
- 4.1 Experiment 1: Impact of Simple Words by Varying the Corpus Size
- 4.2 Experiment 2: Impact of Stemming
- 4.3 Experiment 3: Impact of Stemming and Part of Speech Tagging
- 4.4 Discussions
- 5 Conclusion
- References
- Shifted 1D-LBP Based ECG Recognition System
- Abstract
- 1 Introduction
- 2 Literature Review
- 3 Proposed Methodology
- 3.1 Basic LBP
- 3.2 Shifted 1D LBP
- 3.3 Proposed System
- 4 Experimental Result
- 4.1 Database
- 4.2 Evaluation Metrics
- 4.3 Results and Discussion
- 5 Conclusion
- References
- Dynamic Time Warping Inside a Genetic Algorithm for Automatic Speech Recognition
- Abstract
- 1 Introduction
- 2 Architecture of the Suggested System
- 2.1 The Learning Process
- 2.2 The Signal Pre-treatment Process
- 2.3 The Signal Parameterization Process
- 2.4 The Recognition Process
- 2.5 The Statistical Process
- 3 The Experiments Results
- 4 Conclusion and Perspectives
- References
- Enhancing the Sales Diversity Using a Two-Stage Improved KNN Algorithm
- 1 Introduction
- 2 Related Works
- 3 Proposed Approach
- 3.1 An Adjusted Similarity Based Neighborhood Selection
- 3.2 An Optimized Neighborhood Using Genetic Algorithm
- 3.3 Description
- 4 Experimental Design
- 4.1 Evaluation Metrics
- 4.2 Results and Discussion
- 5 Conclusion
- References
- A Statistical Approach for the Best Deep Neural Network Configuration for Arabic Language Processing
- 1 Introduction
- 2 Related Work
- 3 Arabic Morphology
- 4 Architecture of the Neural Network
- 4.1 Preprocessing of Datasets
- 4.2 Propagation
- 4.3 Backpropagation
- 5 Parallel Computing
- 5.1 Parallel Computing Using CPU
- 5.2 Parallel Computing Using GPU
- 6 Taguchi Method
- 6.1 Levels for Factor Design
- 6.2 Optimal Configuration Choice
- 7 Experimental Results
- 8 Conclusions and Future Work
- References
- Implementation of Real Time Reconfigurable Embedded Architecture for People Counting in a Crowd Area
- 1 Introduction
- 2 Related Work
- 3 Proposed System
- 3.1 HOG Based Head Detections
- 3.2 LBP Feature
- 3.3 Training of Joint HOG-LBP Classifiers
- 4 Experimental Results
- 5 Conclusion
- 6 Future Work
- References
- Towards a Better Training for Siamese CNNs on Kinship Verefication
- 1 Introduction
- 2 Related Work
- 3 The Proposed Approach
- 3.1 The Proposed Siamese Architecture
- 3.2 Interpretation of the Layers and their Outputs
- 3.3 The Siamese CNN Training
- 4 Experimental Results
- 4.1 Data Collection
- 4.2 Experimental Protocol
- 4.3 Results
- 5 Discussion
- 6 Conclusions
- References
- A Context-Aware Distributed Protocol for Updating BDI Agents Abilities
- 1 Introduction
- 2 Approach Overview
- 2.1 Problem Definition
- 2.2 Required Properties
- 2.3 Proposed Solution
- 3 Distributed Protocol for Updating Agents Abilities
- 3.1 Entities
- 3.2 Assumptions
- 3.3 Distributed Protocol
- 4 Implementation
- 4.1 Scenario (Smart Laboratory)
- 4.2 Illustration
- 5 Conclusion
- References
- Software Engineering and Formal Methods
- Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code
- 1 Introduction
- 2 Context
- 3 Background
- 3.1 Transformation of a Metamodel to Inductive Types
- 3.2 Mechanization of the Type System and Implementation of the Type Checker
- 4 Generation of Proofs
- 5 Transformation of Model Elements Into Terms
- 5.1 Correspondence Information
- 5.2 Generic Transformation
- 5.3 Generation of the Transformation
- 6 Related Works
- 7 Conclusion
- References
- Optimization of Component-Based Systems Run Time Verification
- 1 Introduction
- 2 Related Work
- 3 Monitoring and Runtime Verification
- 4 Runtime Verification in Framework BIP
- 4.1 Runtime Verification Functions
- 4.2 Verification Monitors
- 4.3 Example
- 5 Optimization of Runtime Verification in BIP
- 5.1 Atomic Components Transformations
- 5.2 Transformed Monitor
- 5.3 Experimental Result
- 6 Conclusion
- References
- Meta-ECATNets for Modelling and Analyzing Clinical Pathways
- 1 Introduction
- 2 Related Work
- 3 Basic Concepts
- 4 The Proposed Approach
- 4.1 Case Study: Chronic Obstructive Pulmonary Disease (COPD)
- 4.2 Description
- 5 Conclusion
- References
- Ontologies-Based Process in Software Reengineering
- Abstract
- 1 Introduction
- 2 Background
- 3 Ontology as Software Artefacts
- 4 Ontology as Domain Knowledge
- 5 Comparative Study
- 6 Open Challenges
- 7 Conclusion
- References
- An Improved Fuzzy Analytical Hierarchy Process for K-Representative Skyline Web Services Selection
- Abstract
- 1 Introduction
- 2 Background
- 2.1 K-Representative Skyline Operator
- 2.2 Fuzzy AHP Method
- 3 An Improved Fuzzy AHP for Selecting K-Representative Skyline Web Services
- 3.1 Computing K-Representative Skyline Web Services
- 3.2 An Improved Fuzzy AHP
- 4 Experiment
- 4.1 Selecting K-Representative Skyline Web Services
- 4.2 QoS Attributes Weighting for the Full DataSet
- 4.3 QoS Matrix Discretization
- 4.4 Computing Eigenvectors with Respect to Each Attribute
- 4.5 Ranking K-Representative Skyline Web Services
- 5 Conclusion
- References
- ATL Based Refinement of WS-CDL Choreography into BPEL Processes
- Abstract
- 1 Introduction
- 2 Composition of Web Services
- 2.1 The Process of Web Services Composition
- 2.2 Types of Web Services Composition
- 3 ATL (Atlas Transformation Language)
- 4 Translation CDL into BPEL Based on ATL
- 4.1 Mapping CDL-BPEL
- 4.2 Generation of Meta-Models
- 4.3 Chain of Transformation
- 4.4 ATL Rules of the Translation
- 5 Related Work
- 5.1 Comparison of Existing Work with the Proposed Approach
- 6 Conclusion
- References
- Correction to: Spectral Band Selection Using Binary Gray Wolf Optimizerand Signal to Noise Ration Measure
- Correction to: Chapter "Spectral Band Selection Using Binary Gray Wolf Optimizerand Signal to Noise Ration Measure" in: S. Chikhi et al. (Eds.): MISC 2018, LNNS 64, 2019. https://doi.org/10.1007/978-3-030-05481-66
- Author Index
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.