000 04199nam a22006135i 4500
001 978-3-030-43024-5
003 DE-He213
005 20240730173509.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.
_94138
650 0 _aComputer systems.
_9108506
650 0 _aApplication software.
_9108507
650 0 _aComputer networks .
_931572
650 0 _aComputers, Special purpose.
_946653
650 0 _aArtificial intelligence.
_93407
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer System Implementation.
_938514
650 2 4 _aComputer and Information Systems Applications.
_9108508
650 2 4 _aComputer Communication Networks.
_9108509
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aArtificial Intelligence.
_93407
700 1 _aHermanns, Holger.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108510
710 2 _aSpringerLink (Online service)
_9108511
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
_9108512
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 _cELN
999 _c88950
_d88950