標(biāo)題: Titlebook: Quantitative Evaluation of Systems; 14th International C Nathalie Bertrand,Luca Bortolussi Conference proceedings 2017 Springer Internation [打印本頁] 作者: 粘上 時(shí)間: 2025-3-21 17:11
書目名稱Quantitative Evaluation of Systems影響因子(影響力)
書目名稱Quantitative Evaluation of Systems影響因子(影響力)學(xué)科排名
書目名稱Quantitative Evaluation of Systems網(wǎng)絡(luò)公開度
書目名稱Quantitative Evaluation of Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Quantitative Evaluation of Systems被引頻次
書目名稱Quantitative Evaluation of Systems被引頻次學(xué)科排名
書目名稱Quantitative Evaluation of Systems年度引用
書目名稱Quantitative Evaluation of Systems年度引用學(xué)科排名
書目名稱Quantitative Evaluation of Systems讀者反饋
書目名稱Quantitative Evaluation of Systems讀者反饋學(xué)科排名
作者: 凹處 時(shí)間: 2025-3-21 23:46 作者: CAGE 時(shí)間: 2025-3-22 00:37
: 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 時(shí)間: 2025-3-22 05:43
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作者: 耐寒 時(shí)間: 2025-3-22 12:42
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ā)出眩目光芒 時(shí)間: 2025-3-22 14:43
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 作者: 群島 時(shí)間: 2025-3-22 18:34
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 時(shí)間: 2025-3-23 00:05
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 作者: 帶來墨水 時(shí)間: 2025-3-23 01:50
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作者: 空中 時(shí)間: 2025-3-23 05:35 作者: COMMA 時(shí)間: 2025-3-23 11:20 作者: Inscrutable 時(shí)間: 2025-3-23 16:55
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarmsf alarm-event distributions are not given explicitly and can be subject of parameter synthesis. An algorithm solving the .-optimal parameter synthesis problem for parametric ACTMCs with long-run average optimization objectives is presented. Our approach is based on reduction of the problem to findin作者: jealousy 時(shí)間: 2025-3-23 20:04 作者: CRUDE 時(shí)間: 2025-3-23 22:45
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Ch coordination in a diverse range of distributed dynamic systems. Spontaneously synchronising systems can be mathematically modelled as coupled oscillators. In this paper we present a novel approach using model checking to reason about achieving synchrony for different models of synchronisation. We d作者: 常到 時(shí)間: 2025-3-24 04:15 作者: Concerto 時(shí)間: 2025-3-24 06:41 作者: 古董 時(shí)間: 2025-3-24 14:42 作者: 皮薩 時(shí)間: 2025-3-24 15:53 作者: 大方不好 時(shí)間: 2025-3-24 20:46 作者: 帶傷害 時(shí)間: 2025-3-25 01:03
Conference proceedings 2017 September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; m作者: 漂亮才會(huì)豪華 時(shí)間: 2025-3-25 03:50
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panelsequency. A simulation study shows the effectiveness of the aggregated models when compared to the physical system, and leads to conclude that population heterogeneity is a desirable feature for the overall system dynamics.作者: 有權(quán)威 時(shí)間: 2025-3-25 09:25 作者: 說不出 時(shí)間: 2025-3-25 12:48
On the Cost of Diagnosis with Disambiguation partial order representation for state estimation, and extend the cost model and the capacities of diagnosers. Diagnosers are allowed to use additional energy to refine their estimations. In this setting, diagnosability is an energy game, and checking diagnosability under energy constraints is in 2-EXPTIME.作者: tenuous 時(shí)間: 2025-3-25 19:08 作者: 要控制 時(shí)間: 2025-3-25 20:38
Multi-objective Robust Strategy Synthesis for?Interval Markov Decision Processes-hard. Then, we provide a value iteration-based decision algorithm to approximate the Pareto set of achievable points. We finally demonstrate the practical effectiveness of our proposals by applying them on several real-world case studies.作者: 華而不實(shí) 時(shí)間: 2025-3-26 01:27
Vijay Bhattiprolu,Spencer Gordon,Mahesh Viswanathano solve their demographic and economic problems, and improve the allocative efficiency in the EU. The lesson is clear: free migration is a solution rather than a foe for labor market woes and cash-strapped social security systems in the EU..978-3-642-42451-9978-3-642-02242-5作者: Sinus-Rhythm 時(shí)間: 2025-3-26 06:19
Marco Biagi,Laura Carnevali,Marco Paolieri,Tommaso Papini,Enrico Vicarioo solve their demographic and economic problems, and improve the allocative efficiency in the EU. The lesson is clear: free migration is a solution rather than a foe for labor market woes and cash-strapped social security systems in the EU..978-3-642-42451-9978-3-642-02242-5作者: MOAN 時(shí)間: 2025-3-26 11:51
Elvio Gilberto Amparore,Susanna Donatellio solve their demographic and economic problems, and improve the allocative efficiency in the EU. The lesson is clear: free migration is a solution rather than a foe for labor market woes and cash-strapped social security systems in the EU..978-3-642-42451-9978-3-642-02242-5作者: Arroyo 時(shí)間: 2025-3-26 14:52
o solve their demographic and economic problems, and improve the allocative efficiency in the EU. The lesson is clear: free migration is a solution rather than a foe for labor market woes and cash-strapped social security systems in the EU..978-3-642-42451-9978-3-642-02242-5作者: 摸索 時(shí)間: 2025-3-26 20:44 作者: debble 時(shí)間: 2025-3-26 22:38
Andrea Peruffo,Emeline Guiu,Patrick Panciatici,Alessandro Abateo solve their demographic and economic problems, and improve the allocative efficiency in the EU. The lesson is clear: free migration is a solution rather than a foe for labor market woes and cash-strapped social security systems in the EU..978-3-642-42451-9978-3-642-02242-5作者: 埋葬 時(shí)間: 2025-3-27 04:32 作者: 我不死扛 時(shí)間: 2025-3-27 08:20 作者: 豐滿中國 時(shí)間: 2025-3-27 12:29 作者: savage 時(shí)間: 2025-3-27 15:36
Marco Baldi,Ezio Bartocci,Franco Chiaraluce,Alessandro Cucchiarelli,Linda Senigagliesi,Luca Spalazzind further development options for the EU law on IGOs. Finally, it reveals the interrelation of the EU law on one hand and the national laws of EU Member States on the other with regard to IGOs, focusing on harmonized and non-harmonized areas of law..978-3-319-34734-9978-3-319-05690-6作者: ORE 時(shí)間: 2025-3-27 20:35 作者: 閹割 時(shí)間: 2025-3-27 22:59 作者: 投射 時(shí)間: 2025-3-28 02:28 作者: 離開真充足 時(shí)間: 2025-3-28 08:16 作者: Cerumen 時(shí)間: 2025-3-28 12:42
Christel Baier,Clemens Dubslaff,?ubo? Koren?iak,Antonín Ku?era,Vojtěch ?ehákegy paper on relations with China. Between 1998 and 2014, China and the EU had the possibility of discussing issues of mutual interest at no less than 17 summits, with the 21 November 2013 meeting adopting the EU-China 2020 Strategic Agenda for Cooperation. In addition, China and the EU entered into作者: iodides 時(shí)間: 2025-3-28 17:03
Ernst Moritz Hahn,Vahid Hashemi,Holger Hermanns,Morteza Lahijanian,Andrea Turriniegy paper on relations with China. Between 1998 and 2014, China and the EU had the possibility of discussing issues of mutual interest at no less than 17 summits, with the 21 November 2013 meeting adopting the EU-China 2020 Strategic Agenda for Cooperation. In addition, China and the EU entered into作者: DENT 時(shí)間: 2025-3-28 21:08 作者: Hdl348 時(shí)間: 2025-3-28 22:58
egy paper on relations with China. Between 1998 and 2014, China and the EU had the possibility of discussing issues of mutual interest at no less than 17 summits, with the 21 November 2013 meeting adopting the EU-China 2020 Strategic Agenda for Cooperation. In addition, China and the EU entered into作者: amenity 時(shí)間: 2025-3-29 04:08 作者: 疏遠(yuǎn)天際 時(shí)間: 2025-3-29 10:47 作者: 不要不誠實(shí) 時(shí)間: 2025-3-29 14:32
Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration, battery degradation nor battery charging has been addressed in this context. Using an experimental set-up, we explore how the KiBaM can be used and extended for these purposes as well, thus allowing for better integrated modeling studies.作者: 背景 時(shí)間: 2025-3-29 18:10 作者: ASTER 時(shí)間: 2025-3-29 20:42 作者: Immunization 時(shí)間: 2025-3-30 02:05 作者: 誤傳 時(shí)間: 2025-3-30 07:31 作者: Liberate 時(shí)間: 2025-3-30 12:17 作者: nonradioactive 時(shí)間: 2025-3-30 12:58
Are immigrants from the new EU member states a threat to the Western welfare state? Do they take jobs away from the natives? And will the source countries suffer from severe brain drain or demographic instability? In a timely and unprecedented contribution, this book integrates what is known about p作者: APNEA 時(shí)間: 2025-3-30 20:35
YoungMin Kwon,Eunhee Kim,Seonghwan Jeong,Arthur H. LeeAre immigrants from the new EU member states a threat to the Western welfare state? Do they take jobs away from the natives? And will the source countries suffer from severe brain drain or demographic instability? In a timely and unprecedented contribution, this book integrates what is known about p作者: Aggregate 時(shí)間: 2025-3-30 22:01
Andrea Peruffo,Emeline Guiu,Patrick Panciatici,Alessandro AbateAre immigrants from the new EU member states a threat to the Western welfare state? Do they take jobs away from the natives? And will the source countries suffer from severe brain drain or demographic instability? In a timely and unprecedented contribution, this book integrates what is known about p
