Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland

Front Matter....Pages 1-13
Framework for the Distributed Computing of the Application Components....Pages 1-11
Analysis of Statistical Characteristics of User Arrival Process to the Testing Service....Pages 13-21
The Role of Enterprise Social Networking (ESN) on Business: Five Effective Recommendations for ESN....Pages 23-36
Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation....Pages 37-46
Entropy-Based Internet Traffic Anomaly Detection: A Case Study....Pages 47-58
A Formal Approach for Preventive Maintenance Workload Balancing....Pages 59-68
Computer Support for the Railway Safety Management System – Requirements Analysis....Pages 69-79
Computer Support for the Railway Safety Management System – First Validation Results....Pages 81-91
Reductions of Operators in Java Mutation Testing....Pages 93-102
An Approach for Planning and Analysis of the Sewage Sanitary Networks Using Some Calculation Formulas and Computer Simulation....Pages 103-113
Mathematical Model of Task Scheduling in Educational Cloud....Pages 115-122
Optimization and Control of Transport Processes in the Distributed Systems....Pages 123-132
On Some Resources Placement Schemes in the 4-Dimensional Soft Degradable Hypercube Processors Network....Pages 133-143
Efficient Training of Context-Dependent Neural Nets with Conjugate Gradient Algorithms....Pages 145-154
Analysis of Mutation Operators for the Python Language....Pages 155-164
Deterministic Schedule of Task in Multiprocessor Computer Systems with Higher Degree of Dependability....Pages 165-175
Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions....Pages 177-187
FSM Simulation of Cryptographic Protocols Using Algebraic Processor....Pages 189-198
Disturbance Injection in Dependability Assessment of Android Applications....Pages 199-209
Approximate Algorithm for Fast Capacity Provisioning in WANs with Trade-Off between Performance and Cost under Budget Constraint....Pages 211-221
Evolution of Software Quality Models in Context of the Standard ISO 25010....Pages 223-232
Model Checking of UML Activity Diagrams in Logic Controllers Design....Pages 233-242
Impact of Selected Java Idioms on Source Code Maintainability – Empirical Study....Pages 243-254
Quantification of Temporal Fault Trees Based on Fuzzy Set Theory....Pages 255-264
Analysis of Physical Layer Model of WLAN 802.11g Data Transmission Protocol in Wireless Networks Used by Telematic Systems....Pages 265-274
Web Systems Availability Assessment Considering Attacks on Service Configuration Vulnerabilities....Pages 275-284
A Recommender System Based on Content Clustering Used to Propose Forum Articles....Pages 285-292
Simple Measure of Network Reliability Using the Variance of the Degree Distribution....Pages 293-302
CDM: A Prototype Implementation of the Data Mining JDM Standard....Pages 303-311
Confidential Transportation of Data on the Technical State of Facilities....Pages 313-324
Test of the Multimedia Services Implementation in Information and Communication Networks....Pages 325-332
Unified Approach to Network Systems Multicriteral Analysis....Pages 333-343
A Comparison of Forecasting Methods for Ro-Ro Traffic: A Case Study in the Strait of Gibraltar....Pages 345-353
Partial Blur: Model, Detection, Deblurring....Pages 355-362
Software Support for Common Criteria Security Development Process on the Example of a Data Diode....Pages 363-372
Increasing Performance of SMS Based Information Systems....Pages 373-382
Internet-Based Production Monitoring and Reporting....Pages 383-391
Reliability Analysis of a Two-Stage Goel-Okumoto and Yamada S-shaped Model....Pages 393-402
Reliability Assessment of Cooperation and Replacement of Surveillance Systems in Air Traffic....Pages 403-411
Swarm Intelligence Metaheurisics Application in the Diagnosis of Transformer Oil....Pages 413-422
Performance Aspect of SaaS Application Based on Tenant-Based Allocation Model in a Public Cloud....Pages 423-432
Low Cost FPGA Devices in High Speed Implementations of K eccak - f Hash Algorithm....Pages 433-441
Distributed Time Management in Wireless Sensor Networks....Pages 443-453
Heuristic Cycle-Based Scheduling with Backfilling for Large-Scale Distributed Environments....Pages 455-465
Behavior of Web Servers in Stress Tests....Pages 467-476
The Impact of Reconfiguration Time on the Dependability of Complex Web Based Systems....Pages 477-488
Propagation Losses in Urban Areas....Pages 489-498
Web Service for Data Extraction from Semi-structured Data Sources....Pages 499-510
Investigation of System Reliability Depending on Some System Components States....Pages 511-520
Model Fusion for the Compatibility Verification of Software Components....Pages 521-529
Erratum: CDM: A Prototype Implementation of the Data Mining JDM Standard....Pages E1-E1
Back Matter....Pages 1-2