國立虎尾科技大學 |

Theory and Engineering of Complex Systems and Dependability = Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Theory and Engineering of Complex Systems and Dependability/ edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk.
Reminder of title:	Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland /
other author:	Zamojski, Wojciech.
Description:	XVI, 604 p. 221 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computational intelligence. -
Online resource:	https://doi.org/10.1007/978-3-319-19216-1
ISBN:	9783319192161

Theory and Engineering of Complex Systems and Dependability = Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland /
Theory and Engineering of Complex Systems and DependabilityProceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland /[electronic resource] :edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk. - 1st ed. 2015. - XVI, 604 p. 221 illus.online resource. - Advances in Intelligent Systems and Computing,3652194-5357 ;. - Advances in Intelligent Systems and Computing,335.

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.

Building upon a long tradition of scientifi c conferences dealing with problems of reliability in technical systems, in 2006 Department of Computer Engineering at Wrocław University of Technology established DepCoS-RELCOMEX series of events in order to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. Contemporary complex systems integrate variety of technical, information, soft ware and human (users, administrators and management) resources. Their complexity comes not only from involved technical and organizational structures but mainly from complexity of information processes that must be implemented in specific operational environment (data processing, monitoring, management, etc.). In such a case traditional methods of reliability evaluation focused mainly on technical levels are insufficient and more innovative, multidisciplinary methods of dependability analysis must be applied. Selection of submissions for these proceedings exemplify diversity of topics that must be included in such analyses: 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. In addition, this edition of the conference hosted the 5th CrISS-DESSERT Workshop devoted to the problems of security and safety in critical information systems.

ISBN: 9783319192161

Standard No.: 10.1007/978-3-319-19216-1doiSubjects--Topical Terms:

568984
Computational intelligence.

LC Class. No.: Q342

Dewey Class. No.: 006.3

Theory and Engineering of Complex Systems and Dependability = Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland /
LDR:06720nam a22003975i 4500 001 961009
003 DE-He213
005 20200704013914.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319192161 $9 978-3-319-19216-1
024 7 $a 10.1007/978-3-319-19216-1 $2 doi
035 $a 978-3-319-19216-1
050 4 $a Q342
072 7 $a UYQ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
245 1 0 $a Theory and Engineering of Complex Systems and Dependability $h [electronic resource] : $b Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland / $c edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XVI, 604 p. 221 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Advances in Intelligent Systems and Computing, $x 2194-5357 ; $v 365
505 0 $a 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.
520 $a Building upon a long tradition of scientifi c conferences dealing with problems of reliability in technical systems, in 2006 Department of Computer Engineering at Wrocław University of Technology established DepCoS-RELCOMEX series of events in order to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. Contemporary complex systems integrate variety of technical, information, soft ware and human (users, administrators and management) resources. Their complexity comes not only from involved technical and organizational structures but mainly from complexity of information processes that must be implemented in specific operational environment (data processing, monitoring, management, etc.). In such a case traditional methods of reliability evaluation focused mainly on technical levels are insufficient and more innovative, multidisciplinary methods of dependability analysis must be applied. Selection of submissions for these proceedings exemplify diversity of topics that must be included in such analyses: 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. In addition, this edition of the conference hosted the 5th CrISS-DESSERT Workshop devoted to the problems of security and safety in critical information systems.
650 0 $a Computational intelligence. $3 568984
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computational complexity. $3 527777
650 1 4 $a Computational Intelligence. $3 768837
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Complexity. $3 669595
700 1 $a Zamojski, Wojciech. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 787367
700 1 $a Mazurkiewicz, Jacek. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1255225
700 1 $a Sugier, Jarosław. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1255226
700 1 $a Walkowiak, Tomasz. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1255227
700 1 $a Kacprzyk, Janusz. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 671325
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319192178
776 0 8 $i Printed edition: $z 9783319192154
830 0 $a Advances in Intelligent Systems and Computing, $x 2194-5357 ; $v 335 $3 1253884
856 4 0 $u https://doi.org/10.1007/978-3-319-19216-1
912 $a ZDB-2-ENG
912 $a ZDB-2-SXE
950 $a Engineering (SpringerNature-11647)
950 $a Engineering (R0) (SpringerNature-43712)