作者: Harness 時間: 2025-3-21 21:08 作者: BLOT 時間: 2025-3-22 01:47
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 時間: 2025-3-22 04:35
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.作者: 完成才會征服 時間: 2025-3-22 08:44
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 時間: 2025-3-22 16:46
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 時間: 2025-3-22 18:29
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 時間: 2025-3-22 22:05
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 時間: 2025-3-23 03:10
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 時間: 2025-3-23 05:32
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.作者: JEER 時間: 2025-3-23 09:43
Conference proceedings 2013cal and methodological issues as well as case studies and automated tool support are solicited in the following areas: performance modeling and evaluation, system and network performance engineering, and software performance engineering..作者: 外表讀作 時間: 2025-3-23 16:19
0302-9743 h European Performance Engineering Workshop, EPEW 2013, held in Venice, Italy, in September 2013..The 16 regular papers presented together with 8 short papers and 2 invited talks were carefully reviewed and selected from 33 submissions. The Workshop aims to gather academic and industrial researchers作者: perjury 時間: 2025-3-23 20:12 作者: 樸素 時間: 2025-3-23 23:32
Extensions to Standard UML Notations present in the literature can be re-obtained and that a new bisimilarity, of which we exhibit the modal logic characterization, can be introduced for timed models including probabilities. We finally highlight similarities and differences among the models.作者: 連系 時間: 2025-3-24 02:29 作者: 跑過 時間: 2025-3-24 07:06
Online Game Performance Engineeringers. It is hence crucial to provide holistic solutions that enable a top quality online gaming experience regardless whether the player is wired, wireless, or even mobile. To this aim, we analyze how a high level of performance can be ensured through specific engineering of the game architecture, synchronization scheme, and game gateway.作者: travail 時間: 2025-3-24 11:58 作者: Extricate 時間: 2025-3-24 15:08 作者: NICE 時間: 2025-3-24 20:20 作者: 形上升才刺激 時間: 2025-3-25 00:18 作者: 發(fā)誓放棄 時間: 2025-3-25 06:54 作者: 排名真古怪 時間: 2025-3-25 08:20
https://doi.org/10.1007/978-3-7643-8396-1raffic traces, and we compare the results with those obtained by an approximative method. Numerical results illustrate that the proposed method provides more accurate results with a tradeoff between computation time and accuracy. Moreover, the derived performance bounds are very relevant in network dimensioning.作者: 小母馬 時間: 2025-3-25 13:29 作者: 過于平凡 時間: 2025-3-25 17:10
Requirements on a MAS Modeling Languageprise2010 industry standard benchmark deployment. Simulations based on a generated performance model of this reference deployment show a prediction error of 1 to 20 % for response time and of less than 10 % for CPU utilization and throughput.作者: nutrients 時間: 2025-3-25 21:18 作者: Microaneurysm 時間: 2025-3-26 02:18
Performance Antipatterns: State-of-Art and Future Perspectivesng solutions to common mistakes (i.e. bad practices) affecting performance. Such antipatterns can play a key role in the software performance domain, since they can be used in the investigation of performance problems as well as in the formulation of solutions in terms of design alternatives.作者: PANG 時間: 2025-3-26 07:23 作者: 放逐某人 時間: 2025-3-26 12:28 作者: Harridan 時間: 2025-3-26 16:01
Automatic Performance Model Generation for Java Enterprise Edition (EE) Applicationsprise2010 industry standard benchmark deployment. Simulations based on a generated performance model of this reference deployment show a prediction error of 1 to 20 % for response time and of less than 10 % for CPU utilization and throughput.作者: HUSH 時間: 2025-3-26 17:26 作者: 揮舞 時間: 2025-3-26 21:20 作者: 吹牛大王 時間: 2025-3-27 01:49 作者: Adenoma 時間: 2025-3-27 05:56 作者: escalate 時間: 2025-3-27 09:50
Organization of the AML Specification and scalability. The wireless revolution has further complicated this scenario by adding mobile players competing for network resources with other users. It is hence crucial to provide holistic solutions that enable a top quality online gaming experience regardless whether the player is wired, wire作者: 是他笨 時間: 2025-3-27 17:32 作者: Incisor 時間: 2025-3-27 21:26 作者: Cardioversion 時間: 2025-3-27 23:47
Radovan Cervenka,Ivan Trencanskyrvisory control. Supervisory control theory deals with synthesis of models of supervisory controllers that ensure safe and nonblocking behavior of the supervised system. The models are synthesized based on a model of the uncontrolled system and a formalization of the control requirements. Even thoug作者: chalice 時間: 2025-3-28 04:48
Survey on Agent-Oriented Modeling Languagesifficult. Numerical iterative methods are heavily used in probabilistic model checking and errors caused by truncation may affect correctness. To tackle truncation errors, we investigate the bounding semantics of . for Markov chains. We first focus on analyzing truncation errors for model-checking t作者: 象形文字 時間: 2025-3-28 08:49 作者: Palate 時間: 2025-3-28 12:12
Requirements on a MAS Modeling Language(DPH) and discrete Markov arrival processes (DMAP) respectively. However, the exact relation of the Markovian classes and their non-Markovian counterparts and the boundaries of these classes are not known yet. It has been shown that for the order two case the MG and DPH classes are equivalent. In th作者: 重力 時間: 2025-3-28 18:13 作者: 縫紉 時間: 2025-3-28 19:26 作者: doxazosin 時間: 2025-3-28 23:59
Survey on Agent-Oriented Modeling Languagesormance models among modeling tools. In order to manage the research scope, the initial version of PMIF was limited to Queueing Network Models (QNM) that can be solved by efficient, exact solution algorithms. The overall model interoperability approach has now been demonstrated to be viable. This pa作者: Mobile 時間: 2025-3-29 06:15 作者: 多嘴 時間: 2025-3-29 10:41
The Agent Modeling Language - AMLitting Hyper-Erlang distributions to empirical data, using a variety of algorithms and operation modes. We describe simple cluster-based fitting, a new graphical method for refining the density approximation, a new command-line interface, and the integration of HyperStar with a Mathematica implement作者: REIGN 時間: 2025-3-29 14:01
Christopher M. Bono,Thomas A. Einhornmay severely affect them, for instance operations that require outage of hardware and/or software components to recover from a failure or to perform upgrades, tests, and configuration changes. We propose an approach for modeling and evaluation of this class of maintenance procedures, notably address作者: Abduct 時間: 2025-3-29 18:00
https://doi.org/10.1007/978-981-19-8469-3urther, in real time systems, computations have to meet strict time-constraints, a delayed output being unacceptable, even if correct. The effectiveness of sending task-replicas to multiple servers simultaneously, and using the results from whichever one responds first, is considered in this paper a作者: 吞下 時間: 2025-3-29 22:17 作者: grounded 時間: 2025-3-30 01:48
https://doi.org/10.1007/978-981-19-8469-3providers. The sophistication of the hardware and software architectures make the performance studies of such systems very complicated. Further complexity is introduced by the virtual environments which are the basis of all clouds paradigms. While there have been several studies concerning the perfo作者: Myosin 時間: 2025-3-30 07:02 作者: 除草劑 時間: 2025-3-30 10:16 作者: 衍生 時間: 2025-3-30 15:20 作者: Fecundity 時間: 2025-3-30 17:19 作者: 免費 時間: 2025-3-30 21:09
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233688.jpg作者: 任命 時間: 2025-3-31 01:06 作者: GIST 時間: 2025-3-31 05:48 作者: fidelity 時間: 2025-3-31 09:48
https://doi.org/10.1007/978-981-19-8469-3ailure rate of each task is greater than the service rate of the server, we make the approximation that the queues are independent, each with geometric queue length probability distributions at equilibrium. We compare our approximation with simulation results as well as with the exact solution in a 作者: stressors 時間: 2025-3-31 15:02
The Inexorable Expansion of Agriculture,resent a new way of generating the MRP, which, together with the new MRP solution method presented in [2] provides the two cornerstone results which are at the basis of the current version. The model checker has been evaluated and validated against PRISM [3] (for whose CSL. formulas which can be exp作者: 分解 時間: 2025-3-31 20:51 作者: habitat 時間: 2025-4-1 00:45 作者: 聯(lián)想記憶 時間: 2025-4-1 02:16 作者: indigenous 時間: 2025-4-1 07:38
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerativf a rejuvenation plan of system resources and the choice among different feasible orderings of actions. The experiments were performed through a new release of the Oris tool based on the Sirio framework.作者: chemoprevention 時間: 2025-4-1 12:55 作者: 不公開 時間: 2025-4-1 16:36
Improving and Assessing the Efficiency of the MC4CSLTA Model Checkerresent a new way of generating the MRP, which, together with the new MRP solution method presented in [2] provides the two cornerstone results which are at the basis of the current version. The model checker has been evaluated and validated against PRISM [3] (for whose CSL. formulas which can be exp作者: 監(jiān)禁 時間: 2025-4-1 19:37
End-to-End Performance of Multi-core Systems in Cloud Environmentsharacteristics of the applications and those of the architectures impact on the performance that users of multi-core systems experience. We also designed some expressions that, although the high-level of abstraction and the low complexity, have a good precision with regard to the performance predict作者: 他去就結束 時間: 2025-4-2 01:18
Sliding Hidden Markov Model for Evaluating Discrete Dataost effective. The performance of our SlidHMM is validated in terms of means and standard deviations of observations (e.g. numbers of operations of certain types) taken from the original and synthetic traces.作者: 事先無準備 時間: 2025-4-2 06:45
Performance Antipatterns: State-of-Art and Future Perspectives, variances, and probability distributions) are difficult to be interpreted for providing feedback to software designers. Support to the interpretation of performance analysis results that helps to fill the gap between numbers and design alternatives is still lacking. The aim of this talk is to pres作者: 不舒服 時間: 2025-4-2 10:41
Online Game Performance Engineering and scalability. The wireless revolution has further complicated this scenario by adding mobile players competing for network resources with other users. It is hence crucial to provide holistic solutions that enable a top quality online gaming experience regardless whether the player is wired, wire作者: Exonerate 時間: 2025-4-2 13:32
Stochastic Bounds and Histograms for Network Performance Analysis apply the stochastic comparison method to derive performance measure bounds under histogram-based traffics. We apply an algorithm based on dynamic programming to derive bounding traffic histograms on reduced state spaces. We indeed obtain easier bounding stochastic processes providing stochastic up
