標(biāo)題: Titlebook: Quantitative Evaluation of Systems; 18th International C Alessandro Abate,Andrea Marin Conference proceedings 2021 Springer Nature Switzerl [打印本頁] 作者: 喜悅 時間: 2025-3-21 16:06
書目名稱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é)科排名
作者: FIS 時間: 2025-3-21 22:15
https://doi.org/10.1007/978-3-030-85172-9artificial intelligence; correlation analysis; embedded systems; formal methods; graph theory; markov pro作者: FRAX-tool 時間: 2025-3-22 01:39
978-3-030-85171-2Springer Nature Switzerland AG 2021作者: 漂白 時間: 2025-3-22 05:29 作者: Adjourn 時間: 2025-3-22 09:32
Evaluating the Effectiveness of Metamodeling in Emulating Quantitative Modelsey emulate. Furthermore, we find that stacking-based metamodels are significantly more accurate than state-of-the-practice metamodels. We show that metamodeling is a powerful and practical tool for modelers interested in understanding the behavior of their models, because it makes feasible analysis 作者: DEFT 時間: 2025-3-22 15:40
Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systemsh Network Calculus. The currently only analysis with practically usable performance was developed for tandem topologies. On the other hand, there are sophisticated algorithms for the feedforward analysis without considering the FIFO property. Here, big gains in tightness were achieved by properly ex作者: OGLE 時間: 2025-3-22 19:36 作者: electrolyte 時間: 2025-3-22 22:18
Timo P. Gros,Daniel H?ller,J?rg Hoffmann,Michaela Klauck,Hendrik Meerkamp,Verena Wolf作者: 存心 時間: 2025-3-23 04:49 作者: VALID 時間: 2025-3-23 05:53
ing-Tool für die Marketingkommunikation einsetzbar...Beispiele belegen die praxisgerechte Anwendbarkeit der erarbeiteten Erkenntnisse. Erg?nzend hierzu bieten Gastbeitr?ge einen vertiefenden Einblick in spezielle Management- und Marketingthemen. .."Dynamisches Kommunikationsmanagement" richtet sich an Student978-3-409-11746-3978-3-663-09820-1作者: PHON 時間: 2025-3-23 10:11 作者: Insufficient 時間: 2025-3-23 16:47
Boudewijn R. Haverkortdie Marktwirtschaft - vor allem auf die Entwicklung der privaten Unternehmen und auf die Verm?gensverteilung. Diese Situation verlangt dringend nach anderen und neuen L?sungen. Denn die Lücke zwischen dem, was Risiko-Management leisten soll und dem, was es in den jetzt praktizierten Formen leisten k作者: follicle 時間: 2025-3-23 20:08
chaft und die Marktwirtschaft - vor allem auf die Entwicklung der privaten Unternehmen und auf die Verm?gensverteilung. Diese Situation verlangt dringend nach anderen und neuen L?sungen. Denn die Lücke zwischen dem, was Risiko-Management leisten soll und dem, was es in den jetzt praktizierten Formen leisten k978-3-8244-0734-7978-3-663-09821-8作者: 龍蝦 時間: 2025-3-24 00:30
Michaela Klauck,Holger HermannsDekaden hinweg selbst ohne weitere Forschungsaktivit?ten einen hohen Grad der technischen Entwicklung und des Wirtschaftswachstums realisieren k?nnten, da ein gro?er Teil der technologischen Potentiale noch gar keine Anwendung in Technik, also konkreten Produkten, gefunden habe..)作者: 歪曲道理 時間: 2025-3-24 02:28 作者: RENIN 時間: 2025-3-24 08:32 作者: Peculate 時間: 2025-3-24 12:07
ehen sich viele Unternehmen mit kürzer werdenden Produktlebenszyklen bei gleichzeitig steigenden Amortisationszeiten konfrontiert. . Der Erfolgskorridor der Unternehmen wird demnach immer enger, der Zeitdruck auf das Management rasch zu entscheiden, zu handeln und zu korrigieren immer gr??er.作者: 收集 時間: 2025-3-24 15:20 作者: pacifist 時間: 2025-3-24 20:49 作者: Foolproof 時間: 2025-3-25 00:18
Maryam Akbari-Moghaddam,Douglas G. Downdere Produktionsfaktoren systematisch bewirtschaften. Da￡ zwischen der Erkenntnis, da? Wissen ein Produktionsfaktor von hoher strategischer Bedeutung ist, und dessen effizienter Bewirtschaftung noch eine gro?e Lücke besteht, zeigen empirische Untersuchungen deutlich.. Unternehmen wie der amerikanisc作者: Protein 時間: 2025-3-25 03:52
Bogdan Ghi?,Asser Tantawi Entlastung bei der Weitergabe von Informationen und Wis- sen realisierbar ist. Die Entwicklung eines Benutzermodells für das individuelle Wissensmanagement basiert auf den Ergebnissen einer empirischen Studie mit mehreren hundert Teilnehmern. Dabei wird nicht nur herausgearbeitet, welche Informationen über d978-3-8244-0587-9978-3-322-83437-9作者: 裁決 時間: 2025-3-25 10:59 作者: 平常 時間: 2025-3-25 11:44
Conference proceedings 2021gust 2021..The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing sy作者: 竊喜 時間: 2025-3-25 18:48
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking comparison to state-of-the-art model checkers in a large case study rooted in the well-established .. This study demonstrates that . is especially attractive to use on very large benchmark instances which are not solvable by any other tool.作者: 喃喃訴苦 時間: 2025-3-25 22:43 作者: resilience 時間: 2025-3-26 02:49 作者: Basal-Ganglia 時間: 2025-3-26 07:15
0302-9743 nce, in August 2021..The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; q作者: 調(diào)整 時間: 2025-3-26 09:05
Quantifying Software Reliability via Model-Countingprogram translation, the reduction of C-program into SAT instances via software-bounded model-checker (.), and precise or approximate model-counting providing a reliable assessment. We evaluate our prototype implementation on over 24 examples with different model-counters. We show the feasibility of our pipeline and benefits against competitors.作者: Oscillate 時間: 2025-3-26 13:41 作者: FLAT 時間: 2025-3-26 18:24
Active and Sparse Methods in Smoothed Model Checkingsteer the model-checking to more informative areas of the parameter space and thus improve sample efficiency. We demonstrate that online extensions of sparse variational Gaussian process inference algorithms provide a scalable method for implementing active learning approaches for smoothed model checking.作者: 過分 時間: 2025-3-27 00:34
Performance Evaluation: Model-Driven or?Problem-Driven?ign. After looking back briefly on the history of the field, I subsequently reflect on the reasons why the field of performance evaluation has become so isolated. I then continue with a set of eight recommendations, based on my experience in performing projects with industry, that will help in recon作者: eucalyptus 時間: 2025-3-27 03:40
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checkingning context. Its core functionality is based on enhancements of the heuristic search methods . and . and is capable of handling efficiently maximal and minimal reachability properties, expected reward properties as well as bounded properties on general MDPs. . is integrated in the infrastructure of作者: 受傷 時間: 2025-3-27 06:06
Tweaking the Odds in Probabilistic Timed Automatareal-time systems where exact probabilities are unknown, or where the probability values should be optimised. We prove that existing techniques to transform probabilistic timed automata into equivalent finite-state Markov decision processes (MDPs) remain correct in the parametric setting, using a sy作者: faddish 時間: 2025-3-27 13:14 作者: Vital-Signs 時間: 2025-3-27 14:18 作者: Postmenopause 時間: 2025-3-27 20:44 作者: 紀(jì)念 時間: 2025-3-28 00:27 作者: hidebound 時間: 2025-3-28 03:23 作者: CHOKE 時間: 2025-3-28 09:59
SEH: Size Estimate Hedging for Single-Server Queueserver system when exact information about the jobs’ processing times is not available. When the SRPT policy uses estimated processing times, the underestimation of large jobs can significantly degrade performance. We propose a simple heuristic, Size Estimate Hedging (SEH), that only uses estimated p作者: 揉雜 時間: 2025-3-28 13:18
An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Marketsirements, along with a bid value. Jobs are preemptively ordered based on their bid values as the available capacity, which is excess capacity made available for the spot market, may vary over time. Due to this variation, the number of allocated containers to a job may vary during its lifetime, resul作者: 不斷的變動 時間: 2025-3-28 17:04
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learningn learning action policies in complex and dynamic environments. Despite this success however, DRL technology is not without its failures, especially in safety-critical applications: (i) the training objective maximizes . rewards, which may disregard rare but critical situations and hence lack local 作者: 不可磨滅 時間: 2025-3-28 20:46 作者: 窒息 時間: 2025-3-29 00:51
Safe Learning for Near-Optimal Schedulingulers for a preemptible task scheduling problem. Our algorithms can handle Markov decision processes (MDPs) that have . states and beyond which cannot be handled with state-of-the art probabilistic model-checkers. We provide probably approximately correct (PAC) guarantees for learning the model. Add作者: dysphagia 時間: 2025-3-29 06:45
Performance Evaluation: Model-Driven or?Problem-Driven?necting, and that will result in a better uptake of the newest techniques and tools in the field of design of computer and communication systems. Following these recommendations will probably push scientists a little out of their comfort zone, however, I feel the potential extra reward of seeing our work truly applied is more than worth it.作者: Intend 時間: 2025-3-29 09:53 作者: boisterous 時間: 2025-3-29 12:02
SEH: Size Estimate Hedging for Single-Server Queuesrocessing times for scheduling decisions. A job’s priority is increased dynamically according to an SRPT rule until it is determined that it is underestimated, at which time the priority is frozen. Numerical results suggest that SEH has desirable performance for estimation error variance that is consistent with what is seen in practice.作者: 使無效 時間: 2025-3-29 16:53
Safe Learning for Near-Optimal Schedulingitionally, we extend Monte-Carlo tree search with advice, computed using safety games or obtained using the earliest-deadline-first scheduler, to safely explore the learned model online. Finally, we implemented and compared our algorithms empirically against shielded deep .-learning on large task systems.作者: Petechiae 時間: 2025-3-29 21:49 作者: Exaggerate 時間: 2025-3-30 00:38 作者: 推遲 時間: 2025-3-30 07:55 作者: albuminuria 時間: 2025-3-30 10:45
ung stehen immer h?ufiger im Mittelpunkt des t?glichen Lebens. Menschen surfen und arbeiten, sie konsumieren und amüsieren sich gleichzeitig. Kunden wollen nicht mehr nur zufrieden gestellt werden, sie wollen begeistert werden. Es gibt heute eine neue Generation Mensch, die erste, die mit TV und Com作者: 偉大 時間: 2025-3-30 16:02
Boudewijn R. Haverkortd. Mit Hilfe des Risiko- Managements sollen Unternehmen vor Risiken geschützt werden, respektive die m?glichen Auswirkungen auf Unternehmen durch entstandene oder sich realisierende Risiken auf em ertr?gliches Ma? reduziert werden. Gerade in jüngster Zeit best?tigen jedoch immer wieder spektakul?re
