Titlebook: Computer Performance Engineering; 10th European Worksh Maria Simonetta Balsamo,William J. Knottenbelt,And Conference proceedings 2013 Sprin

Autonomous

書目名稱Computer Performance Engineering影響因子(影響力)




書目名稱Computer Performance Engineering影響因子(影響力)學(xué)科排名




書目名稱Computer Performance Engineering網(wǎng)絡(luò)公開度




書目名稱Computer Performance Engineering網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Computer Performance Engineering被引頻次




書目名稱Computer Performance Engineering被引頻次學(xué)科排名




書目名稱Computer Performance Engineering年度引用




書目名稱Computer Performance Engineering年度引用學(xué)科排名




書目名稱Computer Performance Engineering讀者反饋




書目名稱Computer Performance Engineering讀者反饋學(xué)科排名

Harness

BLOT

Survey on Agent-Oriented Modeling Languagesper broadens the scope of PMIF to represent models that can be solved with additional methods such as analytical approximations or simulation solutions. It presents the extensions considered, shows alternatives for representing them with a meta-model, describes the PMIF+ extended meta-model and its validation.

Evacuate

Radovan Cervenka,Ivan TrencanskyM, an open source project for working with XML data. We focus on the ability to capture and test developer assumptions and on the practical behavior of the built in hypothesis testing when the formal assumptions of the tests are not met.

完成才會征服

The Agent Modeling Language - AMLation of a fitting algorithm. Furthermore, we describe the use of Hyper-Erlang distributions in simulation. Throughout our discussion we illustrate the concepts on a data set which has been shown to be difficult to fit with a PH distribution.

Misgiving

Tackling Truncation Errors in CSL Model Checking through Bounding Semanticshe time-bounded or unbounded Until operator and propose new algorithms to generate lower and upper bounds. Then, we study the bounding semantics for a subset of nested CSL formulas. We demonstrate result on two models.

Misgiving

Canonical Representation of Discrete Order 2 MAP and RAPis paper we prove that the equivalence holds for the order two DMAPs and DRAPs as well. We prove this equivalence by introducing a Markovian canonical form for order two DRAPs and by showing, that this canonical form can indeed be used to describe the whole order two DRAP class.

Extemporize

PMIF+: Extensions to Broaden the Scope of Supported Modelsper broadens the scope of PMIF to represent models that can be solved with additional methods such as analytical approximations or simulation solutions. It presents the extensions considered, shows alternatives for representing them with a meta-model, describes the PMIF+ extended meta-model and its validation.

Insensate

Performance Regression Unit Testing: A?Case?StudyM, an open source project for working with XML data. We focus on the ability to capture and test developer assumptions and on the practical behavior of the built in hypothesis testing when the formal assumptions of the tests are not met.

Fulminate

Phase-Type Fitting Using HyperStaration of a fitting algorithm. Furthermore, we describe the use of Hyper-Erlang distributions in simulation. Throughout our discussion we illustrate the concepts on a data set which has been shown to be difficult to fit with a PH distribution.