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網(wǎng)絡公開度




書目名稱Quantitative Evaluation of Systems網(wǎng)絡公開度學科排名




書目名稱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

發(fā)出眩目光芒

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

空中