Theory and Applications of Dependable Computer Systems : Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 – July 3, 2020, Brunów, Poland

This book presents selected papers from the Fifteenth International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), which illustrate the diversity of theoretical problems in analysis of performability, reliability and security of contemporary computer systems. Covering also methodologies and practical tools involved in this field, it is a valuable reference resource for scientists, researchers, practitioners and students who are dealing with these subjects. Established in 2006, DepCoS-RELCOMEX is an annual conference series organised by Wrocław University of Science and Technology. It focuses on the dependability and performability of contemporary computer systems – topics that can provide solutions to new challenges in evaluation of their reliability and efficiency. Since they are probably the most complex technical systems ever engineered by humans, the organization of modern computer systems cannot be modelled and analysed solely as structures (however complex and distributed) built only on the basis of technical resources. Instead they should be considered as a unique blend of interacting people (their needs and behaviours), networks (together with mobile properties, iCloud organisation, Internet of Everything) and a large number of users dispersed geographically and producing an unimaginable number of applications. This new, interdisciplinary approach is developing a continually increasing range of methods which apply also the latest findings in artificial intelligence (AI) and computational intelligence (CI). Preface Organization Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX Programme Committee Organizing Committee Chair Members Contents Sequence Mining and Property Verification for Fault-Localization in Simulink Models Abstract 1 Introduction 2 Related Works 3 The Proposed Fault Localization Procedure 4 Case Study 4.1 Target System 4.2 Fault Detection 4.3 Fault Isolation 4.4 Fault Identification 5 Early Evaluation Results 5.1 Model Instrumentation 5.2 Observations and Metrics 6 Conclusion and Future Works References Handwritten Text Lines Segmentation Using Two Column Projection 1 Introduction 2 Related Work 3 Line Segmentation 3.1 Half Projections 3.2 Line Pairing 3.3 Line Labeling 4 Experiments 4.1 Data-Set and Evaluation Methodology 4.2 Experimental Results 5 Conclusions References Convolutional Neural Networks for Dot Counting in Fluorescence in Situ Hybridization Imaging 1 Introduction 2 Database of FISH Images 3 Methodology 3.1 Image Preprocessing 3.2 Training Set Preparation 3.3 Pixel Classification 4 Training 5 Results 6 Conclusions and Future Work References Classification of Local Administrative Units in Poland: Spatial Approach Abstract 1 Introduction 2 Spatial Autocorrelation in the Modelling of Economic Processes 3 Methodology 4 Empirical Results 5 Conclusions References Development of Methodology for Counteraction to Cyber-Attacks in Wireless Sensor Networks Abstract 1 Introduction 2 Formulation of the Problem 3 Development of an Encryption Algorithm for Messages in Wireless Sensor Network 4 Discussion 5 Conclusion Acknowledgment References The Need to Use a Hash Function to Build a Crypto Algorithm for Blockchain Abstract 1 Introduction 2 Problem Formulation 3 The Algorithms of Hash Functions for Blockchain 4 Discussion 5 Conclusion Acknowledgment References Common Criteria Vulnerability Assessment Ontology Abstract 1 Introduction 2 Current State of Research 3 Towards the Common Criteria Vulnerability Assessment Ontology 3.1 Elementary Evaluation Processes 3.2 Data Representation 4 Conclusions Acknowledgements References Risk Management Approach for Revitalization of Post-mining Areas Abstract 1 Introduction 2 Risk Management in the SUMAD Project Domain 3 Concept of SUMAD Risk Management Methodology and Tool 3.1 Risk Reduction Assessment (RRA) Module Concept 3.2 Cost-Benefits Analysis (CBA) Module Concept 3.3 Qualitative Criteria Analysis (QCA) Module Concept 4 Research on Domain Data 4.1 Asset – a Waste Dump (a Site) Under Rehabilitation 4.2 Threats/Hazards and Vulnerability Structures 4.3 Revitalization Techniques Representation 4.4 Risk Scenarios Specifying Impacts 5 Conclusions Acknowledgements References CVE Based Classification of Vulnerable IoT Systems Abstract 1 Introduction and Background 1.1 IoT Applications an Architecture – An Outline 1.2 Security Issues with IoT Systems 1.3 Scope of This Work and Related Research 2 Structure and Contents of CVE Database 2.1 The Common Vulnerability and Exposures (CVE) Database 2.2 Common Platform Enumeration (CPE) 2.3 Discussion 3 CVE Data Classification and Analysis 3.1 Data Selection 3.2 Data Analysis Methodology 3.3 Classification Measures 4 Classification Results 4.1 Data Selection and Classification 5 Summary References Reliability and Availability Analysis of Critical Infrastructure Composed of Dependent Systems Abstract 1 Introduction 2 Reliability of Infrastructure Composed of Dependent Systems 3 Availability of Renewable Infrastructure 3.1 Additional Load on Systems Forming CI 3.2 Exemplary Results and Discussion 4 Summary Acknowledgements References Influence of Component Dependency on System Reliability Abstract 1 Introduction 2 Reliability of System with Dependent Components 3 Exemplary Wheel System Having Dependencies 3.1 Assumptions 3.2 Reliability of Wheel System 3.3 Discussion of Results 4 Summary Acknowledgements References Tool for Metamorphic Testing Abstract 1 Introduction 2 Metamorphic Testing 2.1 Metamorphic Relations 2.2 JFuzz 3 Meta-Tool 4 Example 5 Conclusions References Dependability of Web Sites Abstract 1 Introduction 2 Dependability 2.1 System Reliability 2.2 Software Reliability 2.3 Security 2.4 Web Site Faults 3 Web Sites Dependability 3.1 Web Sites Performance Measures 3.2 Dependability Measures 4 Dependability Analysis of Web Sites 5 Conclusions References Dependability Analysis of Systems Based on the Microservice Architecture Abstract 1 Introduction 2 Microservice System Model 2.1 Service Model 2.2 Network Infrastructure 2.3 System Configuration 3 Reconfiguration 3.1 System Faults 3.2 Permissible Configurations 3.3 Reconfiguration Graph 3.4 Reconfiguration Strategy 3.5 Service Availability 4 Lexical Platform 4.1 Overview 4.2 Anchor System 4.3 Service Model 4.4 Network Infrastructure and System Configuration 4.5 Reconfiguration 5 Conclusion References Using Domain Specific Languages and Domain Ontology in Workflow Design in Syndatis BPM4 Environment Abstract 1 Introduction 2 Related Work 2.1 Domain Specific Languages 2.2 Ontology 3 Proposed Solution in Syndatis BPM4 4 Example DSL Specification 5 Conclusions Acknowledgment References GPU Implementation of the Parallel Ising Model Algorithm Using Object-Oriented Programming Abstract 1 Introduction 2 The Model 3 Parallel Algorithm 4 Ising Model Class 5 Results 6 Conclusions and Future Work Acknowledgment References Hydro-Meteorological Change Process Impact on Oil Spill Domain Movement at Sea Abstract 1 Introduction 2 Process of Changing Hydro-Meteorological Conditions 2.1 Process of Changing Hydro-Meteorological Conditions Modelling 2.2 Process of Changing Hydro-Meteorological Conditions at Baltic Sea Open Water Area Identification 3 Prediction of Oil Spill Domain Movement at Varying Hydro-Meteorological Conditions 3.1 Prediction Procedure of Oil Domain Spill Movement at Varying Hydro-Meteorological Conditions 3.2 Prediction of Oil Domain Spill Movement at Varying Hydro-Meteorological Conditions at Baltic Sea Open Water Area 4 Conclusions Acknowledgements References Subjective Quality Evaluation of Underground BPL-PLC Voice Communication System Abstract 1 Introduction 2 BPL-PLC Wired Transmission 3 Voice Processing and Coding 4 About the Study 5 Subjective Test Results 6 Summary References Evaluation and Improvement of Web Application Quality – A Case Study Abstract 1 Introduction 2 Background and Related Work 3 Evaluation of Website Quality 3.1 Quality Attributes Assessed by Website Quality Evaluation Tools 3.2 Web Quality Evaluation Tools 4 Case Study Overview 4.1 Web Applications Used in Public Transport 4.2 Prototype Requirements 4.3 Experiment Set-up 5 Experiment Results 5.1 Outcome of Experiments 5.2 Prototype Improvement 5.3 Discussion of Results 6 Conclusions References Scheduling Tasks with Uncertain Times of Duration Abstract 1 Introduction 2 Scheduling Description 2.1 Concept of Using Probability 3 Problem Formulation 3.1 Description of Algorithm 3.2 Description of Graph as an Input with Probabilistic Approach 4 Model of Dependability 5 Representation of Tasks 6 Result and Discussion 7 Summary References The Concept of Management of Grid Systems in the Context of Parallel Synthesis of Complex Computer Systems Abstract 1 Practical Motivation and Model of Parallel Synthesis of Complex System with Increasing Level of Dependability 1.1 Introduction 1.2 Model of Synthesis of Complex Systems 1.3 Multi-optimization in Synthesis of Complex Systems 1.4 Algorithm of Parallel Synthesis of Complex Systems 2 Goals and Motivations of Management of Grid System 3 Conclusions References Performance Assessment of Selected Techniques and Methods Detecting Duplicates in Data Warehouses Abstract 1 Introduction 2 Literature Review 3 Duplicate Detection Algorithms 3.1 Levenshtein Distance Algorithm 3.2 Jaro Winkler Algorithm 3.3 SoundEx, Metaphone and Double Metaphone Algorithms 4 Logical and Physical Model of the Analyzed Data Warehouse 5 Analyzes of the Effectiveness of Algorithms for Detecting Duplicates in a Data Warehouse 5.1 Analysis of Levenshtein Distance Algorithm (Edit Distance Algorithm) vs. Jaro Winkler Algorithm 5.2 The SoundEx Algorithm 5.3 Performance Comparison of Levenshtein Distance, Jaro Winkler, and SoundEx Algorithms in Oracle Warehouse Builder Implementation 6 Conclusion Funding References An Overview of DoS and DDoS Attack Detection Techniques 1 Introduction 2 Datasets 2.1 DARPA1998 and DARPA1999 2.2 KDD1999 2.3 CAIDA2007 2.4 ISCXIDS2012 and CICIDS2017 3 Methods Used in DoS and DDoS Attack Detection 3.1 Anomaly Detection in Time Series Analysis 3.2 Semi-supervised Learning and Unsupervised Learning 3.3 Supervised Learning 4 Conclusion References Biometric Data Fusion Strategy for Improved Identity Recognition Abstract 1 Introduction 2 A Hybrid System Implemented Using the MegaMatcher SDK Environment 2.1 Database and Binary Template Processing 2.2 Data Fusion Strategies 3 Experiments 4 Conclusions References Non-homogeneous Four State Semi-Markov Reliability Model of Operation Process Abstract 1 Introduction 2 Homogeneous Semi-Markov Processes 3 Non-homogeneous Semi-Markov Processes 4 Non-homogeneous Semi-Markov Process as a Model of Transport Means Operation Process 4.1 Description and Assumptions 4.2 Model Construction 4.3 Characteristics and Parameters of the Model References The Efficiency of Energy Storage Systems Use for Energy Cost Mitigation Under Electricity Prices Changes Abstract 1 Introduction 2 ESS and Its Application 3 ESS Efficiency for the Different Planning Periods 4 Conclusions Acknowledgements References Capacitated Open Vehicle Routing Problem with Time Couplings 1 Introduction 2 Problem Definition 2.1 Mathematical Model 2.2 Transport Constraints 2.3 Time Constraints 3 Algorithms 3.1 Giant Tour Representation 3.2 Multi-moves 4 Computational Experiments 5 Conclusions References Mobile Application Testing and Assessment Abstract 1 Introduction 2 Testing Problems 3 Test Support Tools 4 Analyzing Recommendation Repositories 5 Conclusion References Crypto-ECC: A Rapid Secure Protocol for Large-Scale Wireless Sensor Networks Deployed in Internet of Things Abstract 1 Introduction 2 Related Work 3 Proposed Protocol Crypto-ECC 4 Operation of protocol Crypto-ECC 5 Performance and Evaluation of Crypto-ECC 6 Conclusion References Redundancy Management in Homogeneous Architecture of Power Supply Units in Wireless Sensor Networks Abstract 1 Introduction 2 Related Works 3 Mathematical Background and Main Symbols and Definitions 4 Model Formulation and Solution 5 Conclusions References Successive-Interference-Cancellation-Inspired Multi-user MIMO Detector Driven by Genetic Algorithm Abstract 1 Introduction 2 System Model 3 Genetic-Algorithm-Driven Multi-user MIMO Detection 3.1 Essentials 3.2 GA-MUD Initialization 3.3 The Novel SIC-Inspired GA-MUD 4 Simulation Experiment 4.1 Assumptions 4.2 Simulation Results 4.3 Computational Complexity 5 Conclusion Acknowledgement References The Availability Models of Two-Zone Physical Security System Considering Cyber Attacks Abstract 1 Introduction 2 Development and Research of the Availability Model of Physical Security Systems 2.1 Development of the Initial Model 2.2 Development of a Multi-fragment Model for Updating Software Functions 3 Simulation and Comparative Analysis 4 Conclusion References Automatically Created Statistical Models Applied to Network Anomaly Detection Abstract 1 Introduction 2 Overview of Statistical Methods for Anomaly/Attacks Detection 3 The Statistical Models for Network Traffic Prediction 3.1 Introduction to Automatic Forecasting of Exponential Smoothing Models 3.2 The ETS Models – Estimation of Network Traffic Feature 3.3 The Selection on Model Order and Parameters Estimation 3.4 The Automatic Forecasting Algorithm 4 Experimental Results 5 Conclusion References Sparse Representation and Dictionary Learning for Network Traffic Anomaly Detection Abstract 1 Introduction 2 Motivation and Related Work 3 Sparse Representation of a Signal 4 Dictionary Learning for Sparse Representations 5 Experimental Results 6 Conclusion References Changing System Operation States Influence on Its Total Operation Cost Abstract 1 Introduction 2 System Operation Cost Model 3 System Operation Cost Minimization 4 Application 4.1 Port Oil Terminal Structure and Operation 4.2 Port Oil Terminal Operation Cost 4.3 Port Oil Terminal Operation Cost Minimization 5 Summary Acknowledgements References Graph-Based Street Similarity Comparing Method 1 Introduction and Motivation 2 State of the Art 3 Street Similarity Graph 3.1 General Description 3.2 Street Similarity Graph Formal Model 3.3 Algorithm of Street Similarity Graph Creation 4 Similarity Detection 4.1 Street Similarity Graph Example 5 Photometric Calculations - Real Data Example 6 Conclusions References Hybrid Method of the Radio Environment Map Construction to Increase Spectrum Awareness of Cognitive Radios Abstract 1 Introduction 2 State of the Art 2.1 REM Concept 2.2 Propagation Models 3 The Concept of the Hybrid Method 4 Results and Quality Analysis 4.1 Test Scenario 4.2 Exemplary Maps 4.3 Quality Analysis 5 Conclusions References Group Authorization Using Chinese Remainder Theorem Abstract 1 Introduction 2 Examples of Group Authorization 3 Group Authorization Using Chinese Remainder Theorem 3.1 Congruence 3.2 Chinese Remainder Theorem 3.3 Group Authorization 4 Comparison with Similar Work 5 Conclusions References Optimal Transmission Technique for DAB+ Operating in the SFN Network Abstract 1 Introduction – The Single Frequency Network SFN 2 DAB+ Operating in SFN 3 LTE as the Transmission Technique in the SFN 4 Optimal Transmission Link for DAB+ SFN Network 5 DAB+ SFN in Wroclaw 6 Summary References Dynamic Neighbourhood Identification Based on Multi-clustering in Collaborative Filtering Recommender Systems 1 Introduction 2 Background and Related Work 3 General Description of M-CCF Algorithm 4 Experiments 5 Conclusions References Increasing the Dependability of Wireless Communication Systems by Using FSO/RF Technology Abstract 1 Reliability of the FSO/RF Data Link 2 Laser Link Availability 2.1 Determinants of Link Availability 2.2 Construction of the Designed Laser Link 2.3 Preliminary Test of the Designed Laser Link 3 FSO/RF Link Configuration 4 Assessment of the Reliability of the Wireless Communication Link Using FSO/RF Technology 5 Conclusions Acknowledgments References Card Game Bluff Decision Aided System Abstract 1 Introduction 2 Poker Game Description 2.1 Playing Strategy 2.2 Heads-Up Play 2.3 DeepStack 3 Poker Game System 3.1 Topology Tuning Idea 3.2 Historical Data 3.3 Learning Procedure 3.4 Genetic Algorithm Usage 3.5 Results and Discussion 4 Conclusions References Intelligent Inference Agent for Safety Systems Events Abstract 1 Introduction 2 Ontogenic Neural Network 3 Intelligent Agent 3.1 Topology Tuning Idea 3.2 Intelligent Agent as Event Processing Agent 3.3 Event Processing Agent Topology and Training 4 Results and Sensitivity Discussion 5 Conclusions Acknowledgements References Wi-Fi Communication and IoT Technologies to Improve Emergency Triage Training 1 Introduction 2 Emergency Triage Training System 2.1 Victim Simulator 2.2 Triage Training Team and Training Instructors 3 IP Communication in Emergency Triage Training 4 Technologies Supporting Triage Training System 4.1 Victim Simulator 4.2 EMS Triage Team and Training Personnel 5 Conclusion References Robust Radio Communication Protocol for Traffic Analysis Application 1 Introduction 2 Related Work 3 Traffic Analysis System 3.1 System Requirements 3.2 The Purpose of Traffic Analysis 4 Reliable Communication for the Traffic Analysis System 4.1 Communication Protocol 5 Experimental Validation 5.1 Test Scenarios 5.2 Results 6 Conclusions References Automatic Recognition of Gender and Genre in a Corpus of Microtexts 1 Introduction 2 Data Set 2.1 Bibliographic Records 2.2 Gender Recognition Corpus 2.3 Genre Recognition Corpus 3 Methods 3.1 Text Classification 3.2 Context-Aware Methods 3.3 Standardization 3.4 Performance Analysis 4 Experiments and Results 4.1 Gender Recognition - Non-context Analysis 4.2 Gender Recognition - Context Analysis 4.3 Genre Recognition - Non-context Analysis 4.4 Genre Recognition - Context Analysis 5 Conclusion References Searching Algorithm for an Optimal Location of Warehouses in a Distribution Network for Predicted Order Variability Abstract 1 Introduction 2 The Task of the Storage Location Optimization of the Logistics Company 3 The Categorization of Connections in the Distribution Network 4 The Analysis of the Algorithm Use of Delivery Route Creation and the Suitability of Connections 5 Conclusions Tackling Access Control Complexity by Combining XACML and Domain Driven Design 1 Introduction 2 Basic Domain Driven Design Concepts 3 Access Control Model 4 Complexity of Authorization 5 Architectural Building Blocks Influencing the Access Control Solution 5.1 Trust Boundaries 5.2 Types of Operations 5.3 Models 6 Proposed Access Control Solution 6.1 Policy Decision Point 6.2 Policy Enforcement Point 6.3 Policy Information Point 6.4 Policy Administration Point 6.5 Complete Solution 7 Conclusions References Large Scale Attack on Gravatars from Stack Overflow Abstract 1 Introduction 2 Current Work 3 Web-Services Description 4 Preparation to the Attack 4.1 Part 1 – Crawl (Target Identification) 4.2 Part 2 – Stats of User Localizations and Email Domains 4.3 Part 3 – Username Patterns 4.4 Part 4 – National Dictionaries 5 Attack Overview 5.1 Dictionary Attack 5.2 Hybrid Attack 5.3 Brute Force Attack 6 Hardware 7 Results 8 Conclusions Acknowledgments References Safety Analysis for the Operation Process of Electronic Systems Used Within the Mobile Critical Infrastructure in the Case of Strong Electromagnetic Pulse Impact Abstract 1 Introduction 2 Reliability and Operational Modelling of Electronic Equipment and Systems Used Within the Critical Infrastructure, Taking into Account the Impact of Strong Electromagnetic Pulses 3 Conclusion Acknowledgments References Job Scheduling with Machine Speeds for Password Cracking Using Hashtopolis 1 Introduction 2 Password Cracking 3 Problem Formulation 4 Algorithms Description 5 Computer Experiment 6 Conclusions References Standard Dropout as Remedy for Training Deep Neural Networks with Label Noise 1 Introduction 2 Learning from Noisy Labels and Standard Dropout 2.1 Learning with Label Noise 2.2 Dropout Methods 2.3 Dropout for Noisy Labels 3 Experimental Results 3.1 Testing Methodology 3.2 Simulation Results 4 Conclusions References State Assignment of Finite-State Machines by Using the Values of Output Variables Abstract 1 Introduction 2 Structural FSM Models 3 The Synthesis Method of the Class D FSM 4 Splitting of Internal States to Satisfy the Necessary Conditions for Synthesis of the Class D FSM 5 State Assignment of the Class D FSM 6 Experimental Study 7 Conclusions Acknowledgements References Integration of Enterprise Resource Planning (ERP) System in Value Based Management of the Corporation Abstract 1 Introduction 2 Methodology 3 Literature Review 4 Analysis 5 Conclusion Acknowledgements References Landscape Imaging of the Discrete Solution Space 1 Introduction 2 Landscape Analysis 2.1 Local Optima, Plateau, Modality 2.2 Trajectories 2.3 Basins of Attraction 2.4 Ruggedness 2.5 Barriers 3 Solution Space 4 Image 5 Mappings 6 Experimental Research 7 Remarks and Comments References Smart Services for Improving eCommerce 1 Introduction 2 Service-Centric eCommerce 3 Customer-Oriented Shopping Scenarios 4 Smart Services for eCommerce 5 Test Environment and the Experiment 6 The Results 7 Discussion and Conclusions References Probabilistic Modelling of Reliability and Maintenance of Protection Systems Incorporated into Internal Collection Grid of a Wind Farm Abstract 1 Introduction 2 Internal Collection Grid Topology of Onshore Wind Farm and Protective Systems Operation 3 Reliability and Maintenance Model 4 Case Study 5 Conclusions Acknowledgment References On the Influence of the Coding Rate and SFN Gain on DAB+ Coverage Abstract 1 Introduction 1.1 Analog vs. Digital Audio Broadcasting 1.2 Highlights of the Digital Broadcasting 2 The Digital Audio Broadcasting (DAB+) System – A Technical Specification and Current Research 3 Definitions of the Effective Maximum Range and the Coverage 4 Effective Range/Coverage Calculations for DAB+ 5 Conclusions and Further Research References Intra-round Pipelining of Keccak Permutation Function in FPGA Implementations Abstract 1 Introduction 1.1 Motivation and Scope of This Work 2 Hardware Implementation of the Permutation Function with Intra-round Pipelining 2.1 Implementing the Keccak Function in Hardware 2.2 Organization of the Intra-round Pipelining 3 Implementation Results 3.1 Application of the Pipelining 3.2 Optimizations in the Iteration Scheme 4 Evaluation of the Results 5 Conclusions References Investigation and Detection of GSM-R Interference Using a Fuzzy Hierarchical Model Abstract 1 Introduction 2 Problem Identification 3 Fuzzy Logic Modeling 4 Model Development 4.1 The Source of Input Data and Fuzzification 4.2 Model Description and Fuzzy Rules 4.3 Defuzzification 5 Summary and Further Actions References Using Convolutional Network Visualisation to Determine the Most Significant Pixels Abstract 1 Introduction 2 Methodology 2.1 CNN Visualisation Technique: Class Activation Map (CAM) 2.2 CNN Visualisation Technique: Guided Backpropagation 2.3 CNN Visualisation Technique: Guided Class Activation Map 3 Results 4 Conclusions References Android Methods Hooking Detection Using Dalvik Code and Dynamic Reverse Engineering by Stack Trace Analysis Abstract 1 Introduction 1.1 Method Hooking and Malware 1.2 Risk of Method Hooking 1.3 Existing Solutions 2 Proposed Solution 2.1 Dalvik Code 2.2 Extracting Stack Trace 2.3 Malicious Code Detection 3 The Method Hooking Detection 3.1 Code Comparison Process 3.2 Classification Process 3.3 Testing 4 Conclusions and Future Work References Reliability of Ultrasonic Distance Measurement in Application to Multi-Rotor MAVs 1 Introduction 2 Ultrasound Distance Measurements Dependency 2.1 The Use of a Microcontroller's Embedded Hardware 3 Results 3.1 Test 1 3.2 Test 2 4 Summary References Determining the Minimal Number of Images Required to Effectively Train Convolutional Neural Networks 1 Introduction 2 Experiments 2.1 Data Sets 2.2 Models 2.3 Experiments 2.4 Results 3 Conclusions 3.1 Proposed Method 3.2 Summary References Heuristic Allocation Strategies for Dependable Scheduling in Heterogeneous Computing Environments Abstract 1 Introduction and Related Works 2 Resources Allocation for Job-flow Scheduling 2.1 Basic Components of Computing Model 2.2 Backfilling Scheduling Procedure 2.3 Resources Selection Algorithms 2.4 Resources Allocation Strategies 3 Simulation Study 3.1 Scheduling Algorithms Implementation Details 3.2 Experiment Setup 3.3 Simulation Results 4 Conclusion Acknowledgments References Prediction of Selected Personality Traits Based on Text Messages from Instant Messenger Abstract 1 Introduction 2 Research Methodology 3 Results 4 Discussion of the Prediction Results 5 Conclusions References Computer Aided Urban Landscape Design Process Abstract 1 Introduction 2 State of the Art 3 Problem and Model 4 The Procedure of Architectural Modification of the Urban Landscape 5 Program Urban Landscape Design (Comments) 5.1 Libraries 5.2 Tools 6 Example 7 Conclusions References Choosing Exploration Process Path in Data Mining Processes for Complex Internet Objects Abstract 1 Introduction 2 The Outline of the Solution 3 The Framework 3.1 Assumptions 3.2 The Process Organization 4 Experiment Description 4.1 Data Preparation 4.2 Data Clusterization 4.3 Optimized Path Selection 4.4 Discussion of Experiment Results 5 Related Work 6 Conclusions References Author Index