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影响因子(影响力)学科排名




书目名称Computer Performance Engineering网络公开度




书目名称Computer Performance Engineering网络公开度学科排名




书目名称Computer Performance Engineering被引频次




书目名称Computer Performance Engineering被引频次学科排名




书目名称Computer Performance Engineering年度引用




书目名称Computer Performance Engineering年度引用学科排名




书目名称Computer Performance Engineering读者反馈




书目名称Computer Performance Engineering读者反馈学科排名

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.