Table of Contents

• Network Anomaly Detection Based on Statistical Models with Long-Memory DependenceTomasz Andrysiak, Lukasz Saganowski. 1-10 [doi]
• Critical Infrastructures Risk Manager - The Basic Requirements ElaborationAndrzej Bialas. 11-24 [doi]
• Experiment on Defect PredictionIlona Bluemke, Anna Stepien. 25-34 [doi]
• The Spatial Interactions Using the Gravity Model: Application at the Evaluation of Transport Efficiency at Constantine City, AlgeriaSalim Boukebbab, Mohamed Salah Boulahlib. 35-44 [doi]
• Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness CriteriaDmitriy Bui, Anna Puzikova. 45-55 [doi]
• On Irrational Oscillations of a BipendulumAlexander P. Buslaev, Alexander G. Tatashev, Marina V. Yashina. 57-63 [doi]
• Algorithmic and Software Aspects of Information System Implementation for Road Maintenance ManagementAlexander P. Buslaev, Marina V. Yashina, Mikhail Volkov. 65-74 [doi]
• Climate Changes Prediction System Based on Weather Big Data VisualisationAntoni Buszta, Jacek Mazurkiewicz. 75-86 [doi]
• Practical Problems of Internet Threats AnalysesKrzysztof Cabaj, Konrad Grochowski, Piotr Gawkowski. 87-96 [doi]
• Risk Assessment of Web Based ServicesDariusz Caban, Tomasz Walkowiak. 97-106 [doi]
• Towards an Ontology-Based Approach to Safety Management in Cooperative Intelligent Transportation SystemsDeJiu Chen, Fredrik Asplund, Kenneth Östberg, Eugene Brezhniev, Vyacheslav Kharchenko. 107-115 [doi]
• Optimization of Couriers' Routes by Determining Best Route for Distributing Parcels in Urban TrafficPiotr Chrzczonowicz, Marek Woda. 117-129 [doi]
• Mutation Testing Process Combined with Test-Driven Development in .NET EnvironmentAnna Derezinska, Piotr Trzpil. 131-140 [doi]
• Boltzmann Tournaments in Evolutionary Algorithm for CAD of Complex Systems with Higher Degree of DependabilityMieczyslaw Drabowski. 141-152 [doi]
• Arithmetic in the Finite Fields Using Optimal Normal and Polynomial Bases in CombinationSergej B. Gashkov, Alexander Frolov, Sergej Lukin, Olga Sukhanova. 153-162 [doi]
• Development of Domain Model Based on SUMO OntologyBogumila Hnatkowska, Zbigniew Huzar, Iwona Dubielewicz, Lech Tuzinkiewicz. 163-173 [doi]
• Verification of UML Class Diagrams against Business Rules Written in Natural LanguageBogumila Hnatkowska, Piotr Mazurek. 175-184 [doi]
• Increased Safety of Data Transmission for "Smart" Applications in the Intelligent Transport SystemsSergey Kamenchenko, Alexander Grakovski. 185-194 [doi]
• Secure Hybrid Clouds: Analysis of Configurations Energy EfficiencyVyacheslav S. Kharchenko, Yuriy Ponochovnyi, Artem Boyarchuk, Anatoliy Gorbenko. 195-209 [doi]
• Functional Readiness of the Security Control System at an Airport with Single-Report StreamsArtur Kierzkowski, Tomasz Kisiel. 211-221 [doi]
• Functional Readiness of the Check-In Desk System at an AirportArtur Kierzkowski, Tomasz Kisiel. 223-233 [doi]
• Performance Issues in Creating Cloud EnvironmentMarcin Kubacki, Janusz Sosnowski. 235-244 [doi]
• A Modified Clustering Algorithm DBSCAN Used in a Collaborative Filtering Recommender System for Music RecommendationUrszula Kuzelewska, Krzysztof Wichowski. 245-254 [doi]
• Evaluation of the Location of the P&R Facilities Using Fuzzy Logic RulesMichal Lower, Anna Lower. 255-264 [doi]
• Quadrotor Navigation Using the PID and Neural Network ControllerMichal Lower, Wojciech Tarnawski. 265-274 [doi]
• On Supporting a Reliable Performance of Monitoring Services with a Guaranteed Quality Level in a Heterogeneous EnvironmentPiotr Lubkowski, Dariusz Laskowski, Krzysztof Maslanka. 275-284 [doi]
• Reducing Complexity Methods of Safety-Related SystemIvan Malynyak. 285-294 [doi]
• Modeling and Reliability Analysis of Digital Networked Systems Subject to Degraded Communication NetworksHuadong Mo, Min Xie 0001. 295-303 [doi]
• Maintenance Decision Making Process - A Case Study of Passenger Transportation CompanyTomasz Nowakowski, Agnieszka Tubis, Sylwia Werbinska-Wojciechowska. 305-318 [doi]
• Supporting the Automated Generation of Modular Product Line Safety CasesAndré Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly. 319-330 [doi]
• Spatial Allocation of Bus Stops: Advanced Econometric ModellingDmitry Pavlyuk. 331-339 [doi]
• The Modeling Algorithm of Communication Run Operations in a NetworkHenryk Piech, Grzegorz Grodzki, Aleksandra Ptak. 341-350 [doi]
• Failure Prediction in Water Supply System - Current IssuesKatarzyna Pietrucha-Urbanik. 351-358 [doi]
• Freshness Constraints Semantics of RT Framework CredentialsWojciech Pikulski, Krzysztof Sacha. 359-368 [doi]
• Logistic Support Model for the Sorting Process of Selectively Collected Municipal WasteMarcin Plewa, Robert Giel, Marek Mlynczak. 369-380 [doi]
• Access Control Approach in Public Software as a Service CloudAneta Poniszewska-Maranda, Roksana Rutkowska. 381-390 [doi]
• Advanced Security Assurance Case Based on ISO/IEC 15408Oleksandr Potii, Oleg Illiashenko, Dmitry Komin. 391-401 [doi]
• Application of Data Encryption for Building Modern Virtual Private NetworksMarcin Pólkowski, Dariusz Laskowski, Piotr Lubkowski. 403-412 [doi]
• Defining States in Reliability and Safety ModellingFranciszek J. Restel. 413-423 [doi]
• Macroscopic Transport Model as a Part of Traffic Management Center: Technical Feasibility StudyMihails Savrasovs. 425-434 [doi]
• Reliability Assessment of Integrated Airport Surface Surveillance SystemMiroslaw Siergiejczyk, Karolina Krzykowska, Adam Rosinski. 435-443 [doi]
• A Group Decision Support Technique for Critical IT InfrastructuresInna Skarga-Bandurova, Maxim Nesterov, Yan Kovalenko. 445-454 [doi]
• Planning of Electric Power Distribution Networks with Reliability CriteriaIoannis I. Stamoulis, Agapios N. Platis, Vasilis P. Koutras. 455-464 [doi]
• Selected Aspects of Modeling the Movement of Aircraft in the Vicinity of the Airport with Regard to Emergency SituationsPaulina Stanczyk, Anna Stelmach. 465-475 [doi]
• Identifying and Simulation of Status of an ICT System Using Rough SetsMarek Stawowy, Zbigniew Kasprzyk. 477-484 [doi]
• Popular FPGA Device Families in Implementation of Cryptographic AlgorithmsJaroslaw Sugier. 485-494 [doi]
• Aspect-Oriented Test Case Generation from Matlab/Simulink ModelsManel Tekaya, Mohamed Taha Bennani, Mohamed Abidi Alagui, Samir Ben Ahmed. 495-504 [doi]
• Ranking and Cyclic Job Scheduling in QoS-Guaranteed GridsVictor V. Toporkov, Anna S. Toporkova, Alexey Tselishchev, Dmitry Yemelyanov, Petr Potekhin. 505-514 [doi]
• Web Based Engine for Processing and Clustering of Polish TextsTomasz Walkowiak. 515-522 [doi]
• Effectiveness of Providing Data Confidentiality in Backbone Networks Based on Scalable and Dynamic Environment TechnologiesRadoslaw Wielemborek, Dariusz Laskowski, Piotr Lubkowski. 523-531 [doi]
• Models for Estimating the Execution Time of Software Loops in Parallel and Distributed SystemsMagdalena Wróbel. 533-542 [doi]
• Analysis of Different Aspects of Infomobility for Public Transport in LatviaIrina Yatskiv, Vaira Gromule, Irina Pticina. 543-552 [doi]
• Data Actualization Using Regression Models in Decision Support System for Urban Transport PlanningIrina Jackiva, Elena Yurshevich. 553-561 [doi]
• New Parallel Algorithm for the Calculation of Importance MeasuresElena N. Zaitseva, Vitaly G. Levashenko, Miroslav Kvassay, Jozef Kostolny. 563-572 [doi]
• An Unloading Work Model at an Intermodal TerminalMateusz Zajac, Justyna Swieboda. 573-582 [doi]
• Cost-Aware Request Batching for Byzantine Fault-Tolerant ReplicationMaciej Zbierski. 583-592 [doi]
• Symbolic Analysis of Timed Petri NetsWlodek M. Zuberek. 593-602 [doi]