Titlebook: Quantitative Evaluation of Systems; 14th International C Nathalie Bertrand,Luca Bortolussi Conference proceedings 2017 Springer Internation

粘上

书目名称Quantitative Evaluation of Systems影响因子(影响力)




书目名称Quantitative Evaluation of Systems影响因子(影响力)学科排名




书目名称Quantitative Evaluation of Systems网络公开度




书目名称Quantitative Evaluation of Systems网络公开度学科排名




书目名称Quantitative Evaluation of Systems被引频次




书目名称Quantitative Evaluation of Systems被引频次学科排名




书目名称Quantitative Evaluation of Systems年度引用




书目名称Quantitative Evaluation of Systems年度引用学科排名




书目名称Quantitative Evaluation of Systems读者反馈




书目名称Quantitative Evaluation of Systems读者反馈学科排名

凹处

CAGE

: A Tool for Generating the Alpha Factors of General Distributions.(.) is taken as the deterministic distribution, leading to the computation of the CTMC probability at time ., but Uniformization may be extended to use other distributions. The extended Uniformization does not manipulate directly the distribution, as the whole computation is based on the . of .(.),

dilute

Quantitative Model Checking for a Smart Grid Pricingtional communications between electricity providers and customers. The providers can monitor the customers’ detailed electricity usage and by posting dynamically changing prices, they can shape the energy demand. We propose a model checking based day-ahead pricing technique and demonstrate the usefu

耐寒

Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panelsour of photovoltaic panels as electric power sources, and in an aggregated model that can capture how such a population behaves when connected to the power grid. After an initial analysis of the characteristics and behaviour of a single device, we propose two Markov chain models for the aggregation

发出眩目光芒

Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploratione. However, batteries can deliver power only for a limited time span. They slowly degrade with every charge-discharge cycle. This degradation needs to be taken into account when considering the battery in long lasting applications. Some detailed models that describe battery degradation processes do

群岛

A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Neumerical solution of equations, or use some variant of simulation. Both methods have characteristic advantages and disadvantages depending on the size of the reachability graph and type of performance measure. The paper proposes a hybrid performance evaluation algorithm for Stochastic Petri Nets tha

Urologist

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storagealgorithms the data is divided into several slices that are distributed among remote and independent storage nodes. Ensuring confidentiality in this context is crucial: only legitimate users should access any part of information they distribute among storage nodes..To the best of our knowledge, the

带来墨水

On the Cost of Diagnosis with Disambiguationat accurately detects faults a finite number of steps after their occurrence. In a regular setting, a . builds an estimation of possible states of the system after an observation to decide if a fault has occurred. This paper addresses diagnosability (deciding whether a system is diagnosable) and its

空中