標(biāo)題: Titlebook: Quantitative Evaluation of Systems; 10th International C Kaustubh Joshi,Markus Siegle,Pedro R. D’Argenio Conference proceedings 2013 Spring [打印本頁] 作者: CURD 時間: 2025-3-21 16:54
書目名稱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é)科排名
作者: 推延 時間: 2025-3-21 21:36 作者: 舊石器時代 時間: 2025-3-22 02:32
ADTool: Security Analysis with Attack–Defense Trees of ADTool are easy creation, efficient editing, and automated bottom-up evaluation of security-relevant measures. The tool also supports the usage of attack trees, protection trees and defense trees, which are all particular instances of attack–defense trees.作者: ELUC 時間: 2025-3-22 06:01
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/q/image/780848.jpg作者: 解脫 時間: 2025-3-22 10:42 作者: bacteria 時間: 2025-3-22 15:18
978-3-642-40195-4Springer-Verlag Berlin Heidelberg 2013作者: SPECT 時間: 2025-3-22 18:58 作者: 適宜 時間: 2025-3-23 00:37 作者: 狼群 時間: 2025-3-23 02:14
Learning and Designing Stochastic Processes from Logical Constraints terms of learning and maximising an unknown function (the likelihood of the parameters) which can be numerically estimated at any value of the parameter space (at a non-negligible computational cost). We adapt a recently proposed, provably convergent global optimisation algorithm developed in the m作者: preservative 時間: 2025-3-23 09:26
Fluid Limit for the Machine Repairman Model with Phase-Type Distributionsepairman is averaged. In addition transition rates are discontinuous because of idle periods at the repairman, and hinders the limit description by an ODE..We prove that the multidimensional Markovian process describing the system evolution converges to a deterministic process with piecewise smooth 作者: Communicate 時間: 2025-3-23 13:45 作者: STYX 時間: 2025-3-23 16:55
Ralf Wimmer,Nils Jansen,Andreas Vorpahl,Erika ábrahám,Joost-Pieter Katoen,Bernd Beckerat resorts to the idea of a ?nal state of rest, or to the idea of an intertemporally optimizing trajectory which is prespeci?ed ab initio by a system of di?erential equations and initial con- t978-3-540-68662-0978-3-540-68664-4Series ISSN 0075-8442 Series E-ISSN 2196-9957 作者: Osmosis 時間: 2025-3-23 18:04 作者: enchant 時間: 2025-3-24 02:06 作者: 薄膜 時間: 2025-3-24 04:13
andthose in particular with a background in economics,geographics and demographics. It should also be of interestto mathematicians, physicists, and systems analystsinterested in model building and applications of nonlineardynamics.978-3-540-56172-9978-3-642-48808-5Series ISSN 0075-8442 Series E-ISSN 2196-9957 作者: arcane 時間: 2025-3-24 10:19
Gilles Barthen of growth. The introduction of clusters of new interconnected innovations and their diffusion within an industry were considered to be the driving forces behind the long-term economic cycles. Thus, the contributions of Schumpeter pointed on the dynamic evolutionary character of economic developmen作者: 瑪瑙 時間: 2025-3-24 13:09
Edmundo de Souza e Silva,Rosa M. M. Le?o,Daniel Sadoc Menasché,Antonio A. de A. Rochae” of women in the relevant age groups in order to control the sexual relations of women. The two authors collected considerable empirical material both from historical and contemporary societies supporting their sex ratio theory. For example, in ancient Athens high sex ratios were parallelled by pa作者: HUMID 時間: 2025-3-24 15:56
Beno?t Delahaye,Uli Fahrenberg,Kim Guldstrand Larsen,Axel Legay difference, or differential, equations. There equilibria mean ‘equilibrium trajectories’ of the whole evolution that, in a certain sense, are optimal. A particularly unsatisfactory feature of this conceptualization of an equilibrium, however, is the fact that the intertemporal optimizing approach c作者: Project 時間: 2025-3-24 21:47
Dennis Guck,Hassan Hatefi,Holger Hermanns,Joost-Pieter Katoen,Mark Timmer difference, or differential, equations. There equilibria mean ‘equilibrium trajectories’ of the whole evolution that, in a certain sense, are optimal. A particularly unsatisfactory feature of this conceptualization of an equilibrium, however, is the fact that the intertemporal optimizing approach c作者: 令人心醉 時間: 2025-3-25 00:28
Luca Bortolussi,Guido Sanguinettir hand, accumulation and labour demand fall below (rise above) their ‘normal’ level, whenever the profit share does. This idea can be traced back to the ‘general law of capitalist accumulation’ (Marx 1974, pp. 574–606) which has also been discussed in more recent Marxist works (Bauer 1986, Sweezy 19作者: neutrophils 時間: 2025-3-25 04:10 作者: Systemic 時間: 2025-3-25 07:37
Laura Aspirot,Ernesto Mordecki,Gerardo Rubinoation and domestic markets, to a global structure transcending national boundaries and, to a great extent, local governmental control. The problem of industrial structural change is basically how to account for this transition, how to understand its implications for the future evolution and developm作者: 通便 時間: 2025-3-25 12:14
Rastislav Lenhardtona- of the papers employed new me- ry and related scholarship. A number thods, such as genetic programming and experimental analysis, some developed new econometric techniques or raised new empirical issues in evolutionary economics, and some relied on simulation techniques. Twelve papers covering 作者: wreathe 時間: 2025-3-25 18:56
Beno?t Boyer,Kevin Corre,Axel Legay,Sean Sedwardstation of these trade infrastructural institutions, is simply modelled by a collection of potential primitive coalitions Γ. In the trading stage certain of these primitive coalitions will merge into trade coalitions. This chapter explicitly adresses the description and development of the two stage m作者: 黃瓜 時間: 2025-3-25 20:16 作者: Lumbar-Spine 時間: 2025-3-26 00:51
Nikolas Anastasiou,William Knottenbelt heard urging the formation of a general union bringing together members of all trades and of none. Robert Owen preached socialism to an increasingly receptive audience, proclaiming the virtues of co-operation in place of competition. If his communistic colonies failed, his ideas found a home in the作者: 結(jié)束 時間: 2025-3-26 08:18
Barbara Kordy,Piotr Kordy,Sjouke Mauw,Patrick Schweitzersm’, an enemy of the free market who urged the establishment of a corporate state.. A third view, influenced by Steuart’s own ideological background as well as by the assessment of Karl Marx, is that he was essentially an early historical materialist whose prime concern was the interrelationship bet作者: 合唱隊 時間: 2025-3-26 08:29 作者: Blatant 時間: 2025-3-26 12:37 作者: 不遵守 時間: 2025-3-26 17:06 作者: Bone-Scan 時間: 2025-3-27 00:49 作者: 他一致 時間: 2025-3-27 03:57
Computer-Aided Security Proofsrticular, they are used pervasively in code-based provable security for modeling security properties of cryptographic constructions as well as cryptographic assumptions. Thanks to their well-defined semantics, probabilistic programming languages provide a natural framework to prove the correctness o作者: 雪白 時間: 2025-3-27 06:54 作者: Evacuate 時間: 2025-3-27 11:40 作者: 讓空氣進入 時間: 2025-3-27 17:08 作者: enmesh 時間: 2025-3-27 21:41 作者: Presbyopia 時間: 2025-3-28 01:31
Deciding Bisimilarities on Distributionsisimulation relations over . have been proposed both in the strong and the weak setting. Different to the usual bisimulation relations, which are defined over ., an algorithmic treatment of these relations is inherently hard, as their carrier set is uncountable, even for finite .s. The coarsest of t作者: critic 時間: 2025-3-28 04:27
Learning and Designing Stochastic Processes from Logical Constraintsceived considerable attention in the theoretical computer science community, with many important techniques such as model checking being now mainstream. However, most methodologies start with an assumption of complete specification of the CTMC, in terms of both initial conditions and parameters. Whi作者: 隱語 時間: 2025-3-28 08:44 作者: 內(nèi)閣 時間: 2025-3-28 12:57 作者: 比賽用背帶 時間: 2025-3-28 14:43 作者: zonules 時間: 2025-3-28 19:43
Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithmic context-free grammars. The core of the tool is an iterative expectation maximisation procedure to compute values for the unknown probabilities in a parametrised system, which maximises the probability of satisfying the specification. The tool supports specifications given as LTL formulas or unamb作者: lattice 時間: 2025-3-29 01:43 作者: 知道 時間: 2025-3-29 04:52 作者: 貿(mào)易 時間: 2025-3-29 10:30 作者: 事先無準(zhǔn)備 時間: 2025-3-29 11:51 作者: 同時發(fā)生 時間: 2025-3-29 17:17 作者: FEAS 時間: 2025-3-29 23:26
,—On a Quest for Probabilistic Loop Invariantshe methodology which was set out in previous work. In particular we have substantially simplified the method and generalised it to non-linear programs and invariants. . follows a constraint-based approach. A given parameterised loop annotation is speculatively placed in the program. The tool returns作者: VICT 時間: 2025-3-30 00:06 作者: 表示向前 時間: 2025-3-30 06:21 作者: 多嘴 時間: 2025-3-30 11:22
Computer-Aided Security Proofsf probabilistic computations. Probabilistic program logics are program logics that allow to reason formally about executions of probabilistic programs, and can be used to verify complex probabilistic algorithms.作者: 公理 時間: 2025-3-30 13:56 作者: AND 時間: 2025-3-30 17:10
High-Level Counterexamples for Probabilistic Automatais paper we describe how a minimal subset of the commands can be identified which together already make the system erroneous. We additionally show how the selected commands can be further simplified to obtain a well-understandable counterexample.作者: 單調(diào)性 時間: 2025-3-30 23:57
Modelling, Reduction and Analysis of Markov Automatants the foundations and underlying algorithms for efficient MA modelling, reduction using static analysis, and most importantly, quantitative analysis. We also discuss implementation pragmatics of supporting tools and present several case studies demonstrating feasibility and usability of MA in practice.作者: Classify 時間: 2025-3-31 02:17 作者: mercenary 時間: 2025-3-31 08:41 作者: barium-study 時間: 2025-3-31 11:39 作者: Tremor 時間: 2025-3-31 16:53 作者: 潔凈 時間: 2025-3-31 20:57 作者: Cardiac-Output 時間: 2025-3-31 23:26
PEPERCORN: Inferring Performance Models from Location Tracking Datarformance Model?(PNPM) construction tool, which, given a dataset of raw location tracking traces obtained from a customer-processing system, automatically formulates and parameterises a corresponding Coloured Generalised Stochastic Petri Net?(CGSPN) performance model.作者: 四牛在彎曲 時間: 2025-4-1 05:00 作者: aerobic 時間: 2025-4-1 08:25 作者: 熱情的我 時間: 2025-4-1 13:53
Conference proceedings 2013in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking
