Theory and Applications of Dependable Computer Systems: Proceedings of the Fifteenth International Conference on Dependability of Computer Systems Dep, Zamojski Wojciech, Mazurkiewicz Jacek, Sugier Jaroslaw
Автор: Zamojski Название: Dependability Engineering and Complex Systems ISBN: 3319396382 ISBN-13(EAN): 9783319396385 Издательство: Springer Рейтинг: Цена: 25155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings present the results of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX which took place in a picturesque Brun?w Palace in Poland from 27th June to 1st July, 2016.DepCoS-RELCOMEX is a series of international conferences organized annually by Department of Computer Engineering of Wroc?aw University of Science and Technology since 2006. The roots of the series go as far back as to the seventies of the previous century – the first RELCOMEX conference took place in 1977 – and now its main aim is to promote a multi-disciplinary approach to dependability problems in theory and engineering practice of complex systems.Complex systems, nowadays most often computer-based and distributed, are built upon a variety of technical, information, software and human resources. The challenges in their design, analysis and maintenance not only originate from the involved technical and organizational structures but also from the complexity of the information processes that must be efficiently executed in a diverse, often hostile operational environment. Traditional methods of reliability evaluation focused only on technical resources are usually insufficient in this context and more innovative, multidisciplinary methods of dependability analysis must be applied. The diversity of the topics which need to be considered is well illustrated by the selection of the submissions in these proceedings with their subjects ranging from mathematical models and design methodologies through software engineering and data security issues up to practical problems in technical, e.g. transportation, systems.
Автор: Wojciech Zamojski; Jacek Mazurkiewicz; Jaros?aw Su Название: Theory and Engineering of Complex Systems and Dependability ISBN: 3319192159 ISBN-13(EAN): 9783319192154 Издательство: Springer Рейтинг: Цена: 25155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mutation Testing Process Combined with Test-Driven Development in NET Environment.- Boltzmann Tournaments in Evolutionary Algorithm For CAD of Complex Systems with Higher Degree of Dependability.- Arithmetic in the Finite Fields Using Optimal Normal and Polynomial Bases in Combination.-Development of Domain Model Based on SUMO Ontology.-Verification of UML Class Diagrams Against Business Rules Written in Natural Language.- Increased Safety of Data Transmission for "Smart" Applications in the Intelligent Transport Systems.- Secure Hybrid Clouds: Analysis of Configurations Energy Efficiency Secure Hybrid Clouds: Analysis of Configurations Energy Efficiency.- Functional Readiness of the Security Control System at an Airport with Single-report streams.- Functional Readiness of the Check-in Desk System at an Airport.- Performance Issues in Creating Cloud Environment.-A Modified Clustering Algorithm DBSCAN Used in a Collaborative Filtering Recommender System for Music Recommendation.- Evaluation of the Location of the P&R Facilities Using Fuzzy Logic Rules.- Quadrotor Navigation Using the PID and Neural Network Controller.- On Supporting a Reliable Performance of Monitoring Services with a Guaranteed Quality Level in a Heterogeneous Environment.- Reducing Complexity Methods of Safety-related system.- Modeling and Reliability Analysis of Digital Networked Systems Subject To Degraded Communication Networks.- Maintenance Decision Making Process a Case Study of Passenger Transportation Company.- Supporting the Automated Generation of Modular Product Line Safety Cases.- Spatial ALLOCation of Bus Stops: Advanced Econometric Modelling.- The Modeling Algorithm of Communication Run Operations in a Network.- Failure Prediction in Water Supply System.- Freshness Constraints Semantics of RT Framework Credentials.- Logistic Support Model for the Sorting Process of Selectively Collected Municipal Waste.- Access Control Approach in Public Software as a Service Cloud.-Advanced Security Assurance Case Based on ISO/IEC 15408.-Application of Data Encryption for Building Modern Virtual Private Networks.- Defining States in Reliability and Safety Modelling.- Macroscopic Transport Model as a Part of Traffic Management Center: Technical Feasibility Study.- Reliability Assessment of Integrated Airport Surface Surveillance System.- A Group Decision Support Technique for Critical IT-Infrastructures.- Planning of Electric Power Distribution Networks with Reliability Criteria.- Selected Aspects of Modeling the Movement of Aircraft in the Vicinity of the Airport with Regard to Emergency Situations.- Identifying and Symulation of Status of an Ict System Using Rough Sets.- Popular FPGA Device Families in Implementation of Cryptographic Algorithms.- Aspect-oriented Test Inputs Generation from Matlab/Simulink Models, Manel TEKAYA.- Ranking and Cyclic Job Scheduling in QoS-guaranteed Grids.- Web Based Engine for Processing and Clustering of Polish texts.- Effectiveness of Providing Data Confidentiality in Backbone Networks Based on Scalable and Dynamic Environment Technologies.- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems.- Analysis of Different Aspects of Infomobility for Public Transport in Latvia.- Data Actualization Using Regression Models in Decision Support System for Urban Transport Planning.- New Parallel Algorithm for the Calculation of Importance Measures.- An Unloading Work Model at an Intermodal Terminal.- Cost-aware Request Batching for Byzantine Fault-tolerant replication.- Symbolic Analysis Of Timed Petri nets.
The monographic volume addresses, in a systematic and comprehensive way, the state-of-the-art dependability (reliability, availability, risk and safety, security) of systems, using the Artificial Intelligence framework of Probabilistic Graphical Models (PGM). After a survey about the main concepts and methodologies adopted in dependability analysis, the book discusses the main features of PGM formalisms (like Bayesian and Decision Networks) and the advantages, both in terms of modeling and analysis, with respect to classical formalisms and model languages.
Methodologies for deriving PGMs from standard dependability formalisms will be introduced, by pointing out tools able to support such a process. Several case studies will be presented and analyzed to support the suitability of the use of PGMs in the study of dependable systems.
Автор: John F. Meyer; Richard D. Schlichting Название: Dependable Computing for Critical Applications 2 ISBN: 3709192005 ISBN-13(EAN): 9783709192009 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the papers presented at the Second International Work- ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991.
Автор: Xinyu Feng; Markus M?ller-Olm; Zijiang Yang Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 331999932X ISBN-13(EAN): 9783319999326 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,
Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.
The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.
The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.
DepCoS - RELCOMEX is an annual series of conferences organized by Wroclaw University of Technology to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. In contrast to classic analyses which were concentrated on reliability of technical resources and structures built from them, dependability is based on multi-disciplinary approach to theory, technology and maintenance of a system considered to be a multifaceted amalgamation of technical, information, organization, software and human (users, administrators, supervisors, etc.) resources. Diversity of processes being realized (data processing, system management, system monitoring, etc.), their concurrency and their reliance on in-system intelligence often severely impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods.
This book presents the proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, which took place in Brun w Palace, Poland, from 30th June to 4th July, 2014. The articles selected for this volume illustrate the variety of topics that must be included in system dependability analysis: tools, methodologies and standards 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.
Автор: Wojciech Zamojski; Jacek Mazurkiewicz; Jaros?aw Su Название: Engineering in Dependability of Computer Systems and Networks ISBN: 3030195007 ISBN-13(EAN): 9783030195007 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents papers on various problems of dependability in computer systems and networks that were discussed at the 14th DepCoS-RELCOMEX conference, in Brun?w, Poland, from 1st to 5th July 2019. Discussing new ideas, research results and developments in the design, implementation, maintenance and analysis of complex computer systems, it is of interest to researchers and practitioners who are dealing with dependability issues in such systems.Dependability analysis came as a response to new challenges in the evaluation of contemporary complex systems, which should be considered as systems of people – with their needs and behaviours –interacting with technical communication channels (such as mobile activities, iCloud, Internet of Everything) and online applications, often operating in hostile environments. The diversity of topics covered, illustrates the variety of methods used in this area, often with the help of the latest results in artificial and computational intelligence.
Автор: Wojciech Zamojski; Jacek Mazurkiewicz; Jaros?aw Su Название: New Results in Dependability and Computer Systems ISBN: 3319009443 ISBN-13(EAN): 9783319009445 Издательство: Springer Рейтинг: Цена: 36570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: DepCoS - RELCOMEX is an annual series of conferences organized by the Institute of Computer Engineering, Control and Robotics (CECR), Wroclaw University of Technology, since 2006.
Автор: Jovan M. Nahman Название: Dependability of Engineering Systems ISBN: 3642074693 ISBN-13(EAN): 9783642074691 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is intended to provide the interested reader with basic information on various issues of the dependability analysis and evaluation of engineering systems with the principal goal to help the reader perform such an analysis and evaluation.
Автор: Zamojski Название: Contemporary Complex Systems and Their Dependability ISBN: 3319914456 ISBN-13(EAN): 9783319914459 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the proceedings of the Thirteenth International Conference on Dependability and Complex Systems (DepCoS-RELCOMEX), which took place in the Brunow Palace in Poland from 2nd to 6th July 2018.
Автор: Flaviu Cristian; Gerard LeLann; Teresa Lunt Название: Dependable Computing for Critical Applications 4 ISBN: 3709193982 ISBN-13(EAN): 9783709193983 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994.
Описание: This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: 1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2020, 2nd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2020, 12th Workshop on Software Engineering for Resilient Systems, SERENE 2020, held in September 2020. Due to the COVID-19 pandemic the workshops were held virtually. The 12 full papers and 4 short papers were thoroughly reviewed and selected from 35 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
