國立高雄大學圖資館 |

Language: English

Back

Measurement, modelling, and evaluati...

(1998 :)

Measurement, modelling, and evaluation of computing systems20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Measurement, modelling, and evaluation of computing systemsedited by Holger Hermanns.
Reminder of title:	20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020 : proceedings /
remainder title:	MMB 2020
other author:	Hermanns, Holger.
corporate name:
Published:	Cham :Springer International Publishing :2020.
Description:	xviii, 279 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Telecommunication systemsCongresses.Evaluation
Online resource:	https://doi.org/10.1007/978-3-030-43024-5
ISBN:	9783030430245$q(electronic bk.)

Measurement, modelling, and evaluation of computing systems20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020 : proceedings /
Measurement, modelling, and evaluation of computing systems20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020 : proceedings /[electronic resource] :MMB 2020edited by Holger Hermanns. - Cham :Springer International Publishing :2020. - xviii, 279 p. :ill., digital ;24 cm. - Lecture notes in computer science,120400302-9743 ;. - Lecture notes in computer science ;4891..

Performance 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.

This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrucken, 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.

ISBN: 9783030430245$q(electronic bk.)

Standard No.: 10.1007/978-3-030-43024-5doiSubjects--Topical Terms:

444634
Telecommunication systems
--Evaluation--Congresses.

LC Class. No.: TK5101.A1 / G5 2020

Dewey Class. No.: 004.6

Measurement, modelling, and evaluation of computing systems20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020 : proceedings /
LDR:03016nmm a2200361 a 4500 001 572449
003 DE-He213
005 20200305144450.0
006 m d
007 cr nn 008maaau
008 200925s2020 sz s 0 eng d
020 $a 9783030430245$q(electronic bk.)
020 $a 9783030430238$q(paper)
024 7 $a 10.1007/978-3-030-43024-5 $2 doi
035 $a 978-3-030-43024-5
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5101.A1 $b G5 2020
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 004.6 $2 23
090 $a TK5101.A1 $b G428 2020
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Measurement, modelling, and evaluation of computing systems $h [electronic resource] : $b 20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020 : proceedings / $c edited by Holger Hermanns.
246 3 $a MMB 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xviii, 279 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12040
490 1 $a Programming and software engineering
505 0 $a Performance 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 $a This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrucken, 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 $a Telecommunication systems $x Evaluation $v Congresses. $3 444634
650 0 $a Computer systems $x Evaluation $v Congresses. $3 443720
650 0 $a Computer software $x Evaluation $v Congresses. $3 446219
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Information Systems Applications (incl. Internet) $3 530743
650 2 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Special Purpose and Application-Based Systems. $3 274487
650 2 4 $a Artificial Intelligence. $3 212515
700 1 $a Hermanns, Holger. $3 279149
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Programming and software engineering. $3 821998
856 4 0 $u https://doi.org/10.1007/978-3-030-43024-5
950 $a Computer Science (Springer-11645)