國立高雄大學圖資館 |

Language: English

Back

Theory and engineering of dependable...

(1998 :)

Theory and engineering of dependable computer systems and networksproceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 - July 2, 2021, Wroclaw, Poland /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Theory and engineering of dependable computer systems and networksedited by Wojciech Zamojski ... [et al.].
Reminder of title:	proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 - July 2, 2021, Wroclaw, Poland /
remainder title:	DepCoS-RELCOMEX 2021
other author:	Zamojski, Wojciech.
corporate name:
Published:	Cham :Springer International Publishing :2021.
Description:	xvii, 512 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer systemsCongresses.Reliability
Online resource:	https://doi.org/10.1007/978-3-030-76773-0
ISBN:	9783030767730$q(electronic bk.)

Theory and engineering of dependable computer systems and networksproceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 - July 2, 2021, Wroclaw, Poland /
Theory and engineering of dependable computer systems and networksproceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 - July 2, 2021, Wroclaw, Poland /[electronic resource] :DepCoS-RELCOMEX 2021edited by Wojciech Zamojski ... [et al.]. - Cham :Springer International Publishing :2021. - xvii, 512 p. :ill. (some col.), digital ;24 cm. - Advances in intelligent systems and computing,v.13892194-5357 ;. - Advances in intelligent systems and computing ;176..

Application of Assumption Modes and Effects Analysis to XMECA -- Improving Effectiveness of the Risk Management Methodology in the Revitalization Domain -- Automated Music Generation Using Recurrent Neural Networks -- Non-exhaustive verification in Integrated Model of Distributed Systems (IMDS) using Vagabond algorithm -- Automatic multi-class classification of Polish complaint reports about municipal waste management -- Migration of Unit Tests of C# Programs -- Synchronization and scheduling of tasks in fault-tolerant computer systems with graceful degradation -- Comparison of selected algorithms of traffic modelling and prediction in Smart City - Rzeszow -- Dependability Analysis using Temporal Fault Trees and Monte Carlo Simulation -- Hybrid parallel programming in high performance computing cluster.

This book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wroclaw, Poland, from June 28 to July 2, 2021. Their collection will be a valuable source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation. Being probably the most complex technical systems ever engineered by man (and also-the most dynamically evolving ones), organization of contemporary computer systems cannot be interpreted only as structures built on the basis of (unreliable) technical resources. Their evaluation must take into account a specific blend of interacting people (their needs and behaviours), networks (together with mobile properties, cloud organization, Internet of Everything, etc.) and a large number of users dispersed geographically and constantly producing an unconceivable number of applications. Ever-growing number of research methods being continuously developed for dependability analyses apply the newest techniques of artificial and computational intelligence. Selection of papers in these proceedings illustrates diversity of multi-disciplinary topics which are considered in present-day dependability explorations.

ISBN: 9783030767730$q(electronic bk.)

Standard No.: 10.1007/978-3-030-76773-0doiSubjects--Topical Terms:

442937
Computer systems
--Reliability--Congresses.

LC Class. No.: QA76.76.R44 / I57 2021

Dewey Class. No.: 004

Theory and engineering of dependable computer systems and networksproceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 - July 2, 2021, Wroclaw, Poland /
LDR:03515nmm a2200349 a 4500 001 598692
003 DE-He213
005 20210526180305.0
006 m d
007 cr nn 008maaau
008 211025s2021 sz s 0 eng d
020 $a 9783030767730$q(electronic bk.)
020 $a 9783030767723$q(paper)
024 7 $a 10.1007/978-3-030-76773-0 $2 doi
035 $a 978-3-030-76773-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.R44 $b I57 2021
072 7 $a UYQ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 004 $2 23
090 $a QA76.76.R44 $b I61 2021
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Theory and engineering of dependable computer systems and networks $h [electronic resource] : $b proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 - July 2, 2021, Wroclaw, Poland / $c edited by Wojciech Zamojski ... [et al.].
246 3 $a DepCoS-RELCOMEX 2021
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a xvii, 512 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Advances in intelligent systems and computing, $x 2194-5357 ; $v v.1389
505 0 $a Application of Assumption Modes and Effects Analysis to XMECA -- Improving Effectiveness of the Risk Management Methodology in the Revitalization Domain -- Automated Music Generation Using Recurrent Neural Networks -- Non-exhaustive verification in Integrated Model of Distributed Systems (IMDS) using Vagabond algorithm -- Automatic multi-class classification of Polish complaint reports about municipal waste management -- Migration of Unit Tests of C# Programs -- Synchronization and scheduling of tasks in fault-tolerant computer systems with graceful degradation -- Comparison of selected algorithms of traffic modelling and prediction in Smart City - Rzeszow -- Dependability Analysis using Temporal Fault Trees and Monte Carlo Simulation -- Hybrid parallel programming in high performance computing cluster.
520 $a This book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wroclaw, Poland, from June 28 to July 2, 2021. Their collection will be a valuable source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation. Being probably the most complex technical systems ever engineered by man (and also-the most dynamically evolving ones), organization of contemporary computer systems cannot be interpreted only as structures built on the basis of (unreliable) technical resources. Their evaluation must take into account a specific blend of interacting people (their needs and behaviours), networks (together with mobile properties, cloud organization, Internet of Everything, etc.) and a large number of users dispersed geographically and constantly producing an unconceivable number of applications. Ever-growing number of research methods being continuously developed for dependability analyses apply the newest techniques of artificial and computational intelligence. Selection of papers in these proceedings illustrates diversity of multi-disciplinary topics which are considered in present-day dependability explorations.
650 0 $a Computer systems $x Reliability $v Congresses. $3 442937
650 0 $a Computer engineering $3 252556
650 1 4 $a Computational Intelligence. $3 338479
650 2 4 $a Complexity. $3 274400
650 2 4 $a Artificial Intelligence. $3 212515
700 1 $a Zamojski, Wojciech. $3 515885
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Advances in intelligent systems and computing ; $v 176. $3 567349
856 4 0 $u https://doi.org/10.1007/978-3-030-76773-0
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)