Description |
1 online resource (xv, 554 pages) : illustrations |
Series |
Advances in intelligent systems and computing, 2194-5357 ; v. 224 |
|
Advances in intelligent systems and computing ; v. 224.
|
Contents |
Application Level Execution Model for Transparent Distributed Computing / Razvan-Mihai Aciu, Horia Ciocarlie -- Software Support of the Risk Reduction Assessment in the ValueSec Project Flood Use Case / Jacek Bagiński -- Risk Assessment Aspects in Mastering the Value Function of Security Measures / Andrzej Białas -- Reduction of Computational Cost in Mutation Testing by Sampling Mutants / Ilona Bluemke, Karol Kulesza -- Use of Neural Network Algorithms in Prediction of XLPE HV Insulation Properties under Thermal Aging / Boukezzi Larbi, Boubakeur Ahmed -- Computer Simulation Analysis of Cluster Model of Totally-Connected Flows on the Chain Mail / Alexander P. Buslaev, Pavel M. Strusinskiy -- Assessment of Network Coding Mechanism for the Network Protocol Stack 802.15.4/6LoWPAN / Michał Byłak, Dariusz Laskowski -- Reliability Analysis of Discrete Transportation Systems Using Critical States / Dariusz Caban, Tomasz Walkowiak -- A Reference Model for the Selection of Open Source Tools for Requirements Management / Bartosz Chrabski, Cezary Orłowski |
|
A Probabilistic Approach to the Count-To-Infinity Problem in Distance-Vector Routing Algorithms / Adam Czubak -- A Quality Estimation of Mutation Clustering in C♯ Programs / Anna Derezińska -- Using Virtualization Technology for Fault-Tolerant Replication in LAN / Fernando Dettoni, Lau Cheuk Lung -- Quantification of Simultaneous-AND Gates in Temporal Fault Trees / Ernest Edifor, Martin Walker, Neil Gordon -- Improving of Non-Interactive Zero-Knowledge Arguments Using Oblivious Transfer / Alexander Frolov -- Virtual Environment for Implementation and Testing Private Wide Area Network Solutions / Mariusz Gola, Adam Czubak -- Optimization of Privacy Preserving Mechanisms in Mining Continuous Patterns / Marcin Gorawski, Pawel Jureczek -- Technical and Program Aspects on Monitoring of Highway Flows (Case Study of Moscow City) / M.G. Gorodnichev, A.N. Nigmatulin -- Integral Functionals of semi-Markov Processes in Reliability Problems / Franciszek Grabski -- Generating Repair Rules for Database Integrity Maintenance / Feras Hanandeh, Yaser Quasmeh |
|
Optimization Algorithm for the Preservation of Sensor Coverage / Codruta-Mihaela Istin, Horia Ciocarlie -- Methods for Detecting and Analyzing Hidden FAT32 Volumes Created with the Use of Cryptographic Tools / Ireneusz Jóźwiak, Michał Kędziora -- Critical Infrastructures Safety Assessment Combining Fuzzy Models and Bayesian Belief Network under Uncertainties / Vyacheslav Kharchenko, Eugene Brezhniev -- Towards Evolution Methodology for Service-Oriented Systems / Szymon Kijas, Andrzej Zalewski -- The LVA-Index in Clustering / Piotr Lasek -- Three Different Approaches in Pedestrian Dynamics Modeling -- A Case Study / Robert Lubaś, Janusz Miller, Marcin Mycek -- The End-To-End Rate Adaptation Application for Real-Time Video Monitoring / P. Lubkowski, Dariusz Laskowski -- Discrete Transportation Systems Quality Performance Analysis by Critical States Detection / Jacek Mazurkiewicz, Tomasz Walkowiak -- An Expanded Concept of the Borrowed Time as a Mean of Increasing the Average Speed Isotropy on Regular Grids / Marcin Mycek -- Freshness Constraints in the RT Framework / Wojciech Pikulski, Krzysztof Sacha |
|
Transformational Modeling of BPMN Business Process in SOA Context / Andrzej Ratkowski -- Algorithmic and Information Aspects of the Generalized Transportation Problem for Linear Objects on a Two Dimensional Lattice / Anton Shmakov -- Reliability Assessment of Supporting Satellite System EGNOS / Mirosław Siergiejczyk, Adam Rosiński -- Vbam -- Byzantine Atomic Multicast in LAN Based on Virtualization Technology / Marcelo Ribeiro Xavier Silva, Lau Cheuk Lung -- An Approach to Automated Verification of Multi-Level Security System Models / Andrzej Stasiak, Zbigniew Zieliński -- A Web Service-Based Platform for Distributed Web Applications Integration / Paweł Stelmach, Łukasz Falas -- Universal Platform for Composite Data Stream Processing Services Management / Paweł Stelmach, Patryk Schauer, Adam Kokot -- Proposal of Cost-Effective Tenant-Based Resource Allocation Model for a SaaS System / Wojciech Stolarz, Marek Woda -- Automatic Load Testing of Web Application in SaaS Model / Emil Stupiec, Tomasz Walkowiak -- Implementing Salsa20 vs. AES and Serpent Ciphers in Popular-Grade FPGA Devices / Jarosław Sugier |
|
On Testing Wireless Sensor Networks / Tomasz Surmacz, Bartosz Wojciechowski -- Towards Precise Architectural Decision Models / Marcin Szlenk -- Slot Selection Algorithms for Economic Scheduling in Distributed Computing with High QoS Rates / Victor Toporkov, Anna Toporkova -- K-Induction Based Verification of Real-Time Safety Critical Systems / Tamás Tóth, András Vörös -- Native Support for Modbus RTU Protocol in Snort Intrusion Detection System / Wojciech Tylman -- SCADA Intrusion Detection Based on Modelling of Allowed Communication Patterns / Wojciech Tylman -- System for Estimation of Patient's State -- Discussion of the Approach / Wojciech Tylman, Tomasz Waszyrowski -- Dependability Aspects of Autonomic Cooperative Computing Systems / Michał Wódczak -- Life Cycle Cost through Reliability / Manac'h Yann-Guirec, Benfriha Khaled -- Verification of Infocommunication System Components for Modeling and Control of Saturated Traffic in Megalopolis / Marina V. Yashina, Andrew V. Provorov -- Shuffle-Based Verification of Component Compatibility / W.M. Zuberek |
Summary |
DepCoS - RELCOMEX is an annual series of conferences organized by the Institute of Computer Engineering, Control and Robotics (CECR), Wrocław University of Technology, since 2006. Its idea came from the heritage of the other two cycles of events: RELCOMEX Conferences (1977 - 89) and Microcomputer Schools (1985 - 95) which were then organized by the Institute of Engineering Cybernetics, the previous name of CECR. In contrast to those preceding meetings focused on the conventional reliability analysis, the DepCoS mission is to develop a more comprehensive approach to computer system performability which is now commonly called dependability. Contemporary technical systems are integrated unities of technical, information, organization, software and human resources. Diversity of the processes being realized in the system, their concurrency and their reliance on in-system intelligence significantly impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods. The submissions included in this volume illustrate variety of problems that need to be explored in the dependability analysis: methodologies and practical tools for modelling, design and simulation of the systems, security and confidentiality in information processing, specific issues of heterogeneous, today often wireless, computer networks, or management of transportation networks |
Analysis |
Engineering |
|
Artificial intelligence |
|
Computational Intelligence |
|
Complexity |
Notes |
International conference proceedings |
|
Includes author index |
Bibliography |
Includes bibliographical references and index |
Subject |
Computers -- Reliability -- Congresses
|
|
COMPUTERS -- Computer Literacy.
|
|
COMPUTERS -- Computer Science.
|
|
COMPUTERS -- Data Processing.
|
|
COMPUTERS -- Hardware -- General.
|
|
COMPUTERS -- Information Technology.
|
|
COMPUTERS -- Machine Theory.
|
|
COMPUTERS -- Reference.
|
|
Chimie.
|
|
Science des matériaux.
|
|
Computers -- Reliability
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Zamojski, Wojciech.
|
ISBN |
9783319009452 |
|
3319009451 |
|
3319009443 |
|
9783319009445 |
|