000			04100nam a22006135i 4500
001			978-3-030-43024-5
003			DE-He213
005			20240423125304.0
007			cr nn 008mamaa
008			200305s2020 sz | s |||| 0|eng d
020			_a9783030430245 _9978-3-030-43024-5
024	7		_a10.1007/978-3-030-43024-5 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
072		7	_aUMZ _2thema
082	0	4	_a005.1 _223
245	1	0	_aMeasurement, Modelling and Evaluation of Computing Systems _h[electronic resource] : _b20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings / _cedited by Holger Hermanns.
250			_a1st ed. 2020.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020.
300			_aXVIII, 279 p. 573 illus., 59 illus. in color. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aProgramming and Software Engineering, _x2945-9168 ; _v12040
505	0		_aPerformance Analytics of a Virtual Reality Streaming Model -- To Fail Or Not To Fail: Predicting Hard Disk Drive Failure Time Windows -- Concurrent MDPs with Finite Markovian Policies -- A Stochastic Automata Network Description for Spatial DNA-Methylation Models -- An ns-3 Model for Multipath Communication with Terrestrial and Satellite Links -- Model-based Performance Predictions for SDN-based Networks -- Performance Analysis for Loss Systems with Many Subscribers -- On the Stochastic End-to-End Delay Analysis in Sink Trees Under Independent and Dependent Arrivals -- Graph-based Mobility Models: Asymptotic and Stationary Node Distribution -- Parallelization of EM-Algorithms for Markovian Arrival Processes -- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models -- An Efficient Brute Force Approach to Fit Finite Mixture Distributions -- Freight Train Scheduling in Railway Systems -- A Domain Specific Language and Toolset for Requirements Analysis of Safety-Critical Cyber-Physical Systems -- Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets.
520			_aThis book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrücken, Germany, in March 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are dealing with scientific aspects of measurement, modelling and evaluation of intelligent systems including computer architectures, communication networks, distributed systems and software, autonomous systems, workflow systems, cyber-physical systems and networks, Internet-of-Things, as well as highly dependable, highly performant and highly secure systems.
650		0	_aSoftware engineering.
650		0	_aComputer systems.
650		0	_aApplication software.
650		0	_aComputer networks .
650		0	_aComputers, Special purpose.
650		0	_aArtificial intelligence.
650	1	4	_aSoftware Engineering.
650	2	4	_aComputer System Implementation.
650	2	4	_aComputer and Information Systems Applications.
650	2	4	_aComputer Communication Networks.
650	2	4	_aSpecial Purpose and Application-Based Systems.
650	2	4	_aArtificial Intelligence.
700	1		_aHermanns, Holger. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783030430238
776	0	8	_iPrinted edition: _z9783030430252
830		0	_aProgramming and Software Engineering, _x2945-9168 ; _v12040
856	4	0	_uhttps://doi.org/10.1007/978-3-030-43024-5
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c176312 _d176312