Filters








1,512,948 Hits in 5.5 sec

Quantitative Analysis of Opacity in Cloud Computing Systems

Wen Zeng, Maciej Koutny
<span title="">2019</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ic7oylwbfvfw3hf4wbnzwcqeuq" style="color: black;">IEEE Transactions on Cloud Computing</a> </i> &nbsp;
Then the notion of opacity -a notion capturing the security of information flow -of a cloud computing systems is introduced, and different variants of quantitative analysis of opacity are presented.  ...  Federated cloud systems increase the reliability and reduce the cost of the computational support.  ...  QUANTITATIVE ANALYSIS OF OPACITY In this section, we introduce different variants of quantitative opacity for cloud computing systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcc.2019.2894768">doi:10.1109/tcc.2019.2894768</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yu37mfyz75cvvctv6xlhxxtryu">fatcat:yu37mfyz75cvvctv6xlhxxtryu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200310202418/https://eprint.ncl.ac.uk/file_store/production/254439/3E19C059-B770-4867-84DB-894B8BE58652.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3b/9c/3b9c4cb23ee4823ee4480fc1e2947207207c27c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcc.2019.2894768"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Quantitative Analysis of Collective Adaptive Systems [chapter]

Jane Hillston
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Quantitative Analysis Performance analysis has a long tradition in computer and communication engineering dating back to the 1960s, as the dynamic behaviour of systems can sometimes be counter-intuitive  ...  Moreover analysis techniques based on fluid approximation offer hope for scalable quantitative analysis techniques.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-41579-6_1">doi:10.1007/978-3-319-41579-6_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/66ijosu525hxxfwfhk6pyllahq">fatcat:66ijosu525hxxfwfhk6pyllahq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309072945/http://pdfs.semanticscholar.org/f58b/5bf591436973d459d1f531315701537445ed.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f5/8b/f58b5bf591436973d459d1f531315701537445ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-41579-6_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Quantitative analysis of probabilistic lossy channel systems

Alexander Rabinovich
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
Task:Find a rational r such that the probability of the set of computations that start at s and are accepted by A is between r and r+Â.  ...  To capture the behaviour of such protocols, lossy channel systems (LCS) have been proposed.  ...  Probabilistic lossy channel systems We provided an algorithm for quantitative model checking for a realistic class of probabilistic lossy channel systems, where during each step of the runs of the systems  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2005.11.004">doi:10.1016/j.ic.2005.11.004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3ucu6odz3jbjfap24w5qem2ese">fatcat:3ucu6odz3jbjfap24w5qem2ese</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808234411/http://www.cs.tau.ac.il/~rabinoa/pub/quant07j.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/cf/d1cf5ff90a02f08aaa10156450838613d377e786.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2005.11.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Quantitative Analysis of UML Statechart Models of Dependable Systems

G. Huszerl
<span title="2002-03-01">2002</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bf4qaipmsrghrjyxonrsmqevie" style="color: black;">Computer journal</a> </i> &nbsp;
The paper introduces a method which allows quantitative performance and dependability analysis of systems modeled by using UML statechart diagrams.  ...  Performance measures can be directly derived using SRN tools, while dependability analysis requires explicit modeling of erroneous states and faulty behavior.  ...  , 2001 QUANTITATIVE ANALYSIS OF UML STATECHART MODELS OF DEPENDABLE SYSTEMS FIGURE 10.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/comjnl/45.3.260">doi:10.1093/comjnl/45.3.260</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5kgppuwe4ffr3dvabjjn5z7ltq">fatcat:5kgppuwe4ffr3dvabjjn5z7ltq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809120323/http://static.inf.mit.bme.hu/pub/cj2000.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/26/c2/26c2912f28df1731b750884b14230becba37b4ea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/comjnl/45.3.260"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Generalized Quantitative Analysis of Metric Transition Systems [chapter]

Uli Fahrenberg, Axel Legay
<span title="">2013</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The formalism of metric transition systems, as introduced by de Alfaro, Faella and Stoelinga, is convenient for modeling systems and properties with quantitative information, such as probabilities or time  ...  ways of measuring quantitative behavior.  ...  Similarly, there is a number of specification formalisms for expressing quantitative properties: timed computation tree logic [29] , probabilistic computation tree logic [26] , metric temporal logic  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-03542-0_14">doi:10.1007/978-3-319-03542-0_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d74dhm7kz5cxtb3yxz5qradbne">fatcat:d74dhm7kz5cxtb3yxz5qradbne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829053240/http://people.rennes.inria.fr/Ulrich.Fahrenberg/Research/2013/fahrenberg13-gqa.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/84/5a/845a1445b18858fd22ddc003cab52b1eeb1971f4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-03542-0_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Challenges for Quantitative Analysis of Collective Adaptive Systems [chapter]

Jane Hillston
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Performance analysis appears in many guises and may more generally be termed quantitative analysis, as it encompasses many quantified questions about the dynamic behaviour of systems.  ...  Fluid approximation based analysis offers hope for scalable quantitative analysis techniques, but there remain many interesting and challenging problems to be solved.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-14128-2_2">doi:10.1007/978-3-319-14128-2_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jrqlldmka5he3ds5uub3kbir4e">fatcat:jrqlldmka5he3ds5uub3kbir4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723070829/https://www.pure.ed.ac.uk/ws/files/19464210/Hillston_2014_Challenges_for_Quantitative_Analysis_of_Collective_Adaptive_Systems.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b6/22/b6228db62ca1cb27986b1bc54c3e8fbdeca4b1dd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-14128-2_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Challenges for Quantitative Analysis of Collective Adaptive Systems [chapter]

Jane Hillston
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Performance analysis appears in many guises and may more generally be termed quantitative analysis, as it encompasses many quantified questions about the dynamic behaviour of systems.  ...  Fluid approximation based analysis offers hope for scalable quantitative analysis techniques, but there remain many interesting and challenging problems to be solved.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-05119-2_2">doi:10.1007/978-3-319-05119-2_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/chovm2gaabakhkgjeajqd3uqgy">fatcat:chovm2gaabakhkgjeajqd3uqgy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170817085702/http://www.research.ed.ac.uk/portal/files/19464210/Hillston_2014_Challenges_for_Quantitative_Analysis_of_Collective_Adaptive_Systems.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/be/08/be081c141970b5bb99f29b599157e58afd525e8f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-05119-2_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Quantitative Analysis of Systems Using Game-Theoretic Learning

Sanjit A. Seshia, Alexander Rakhlin
<span title="2012-08-01">2012</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3yu4mbaainhw5gol4yayc35pfe" style="color: black;">ACM Transactions on Embedded Computing Systems</a> </i> &nbsp;
The analysis of quantitative properties, such as timing and power, is central to the design of reliable embedded software and systems.  ...  model of the environment, from which quantitative properties can be predicted.  ...  The second author was affiliated with UC Berkeley for the initial part of this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2331147.2331165">doi:10.1145/2331147.2331165</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/axdktvviezbw5c2ohpfgwwmh54">fatcat:axdktvviezbw5c2ohpfgwwmh54</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130702214711/http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-102.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/76/d8/76d88d61088a2f74329fd42119923b3a82a07a45.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2331147.2331165"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems [chapter]

Luca Arnaboldi, Charles Morisset
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We created an imitation of a DoS attack on the system, and conducted a quantitative analysis to simulate the impact such an attack may potentially exert upon the system, assessing the trade off between  ...  This challenge is especially pertinent to the Internet of Things (IoT) as devices have less computing power, memory and security mechanisms to mitigate DoS attacks.  ...  PCTL is a probabilistic extension to Computational Tree Logic [4] and provides means to evaluate behavior of the system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-68063-7_16">doi:10.1007/978-3-319-68063-7_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rkvaveytmvdjjm4eas3n2c4sqm">fatcat:rkvaveytmvdjjm4eas3n2c4sqm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200907081730/https://arxiv.org/pdf/1710.11021v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/82/f2/82f26f7462e69a7e0bc48964bbf09176cfda34b6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-68063-7_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata [chapter]

Christel Baier
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
temporal formula Φ Φ Φ (path event) probabilistic reactive system Markov decision process M M M probabilistic model checking quantitative analysis of M M M against Φ Φ Φ probability for "bad behaviors"  ...  is < 10 −6 < 10 −6 < 10 −6 probability for "good behaviors" is 1 1 1 6 / 124 Outline overview • Markov decision processes (MDP) and quantitative analysis against path events • partial order reduction  ...  interleavings" • explores representatives of paths that agree up to the order of independent actions DFS-based on-the-fly generation of a reduced system for each expanded state s s s task: compute Pr  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-40663-8_2">doi:10.1007/978-3-642-40663-8_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/idxwdcw7tfhpnl3f4kgyvslky4">fatcat:idxwdcw7tfhpnl3f4kgyvslky4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160822112018/http://cie2011.fmi.uni-sofia.bg/files/slides/Baier.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/88/de/88dec22ae80fbc15147dc04d9fe4a89e52231074.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-40663-8_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems [chapter]

A. K. McIver
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The case study is based on a performance analysis of randomised backoff in wireless communication [1] .  ...  For standard (ie non-probabilistic) systems of reasonable size, correctness is analysed by simulation and/or model checking, possibly with standard program-logical arguments beforehand to reduce the problem  ...  Introduction The analysis of performance properties of systems requires a quantitative assessment of behaviour, and currently there are two major styles of quantitative verification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11813040_10">doi:10.1007/11813040_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3yrbykt7czgofmzirxoehimgki">fatcat:3yrbykt7czgofmzirxoehimgki</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20081015152127/http://www.cse.unsw.edu.au/~carrollm/probs/Papers/McIver-06b.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/1c/c41cb5d74ca1715893a5000e71c4c42660f53fe2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11813040_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Semiring-based Quantitative Analysis of Mobile Systems

Benjamin Aziz
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Such properties allow us to solve quantitative constraints controlling synchronisations in the analysed systems.  ...  We provide an example of a cost analysis of communications in a simple adaptive routing algorithm.  ...  Other works in the area of quantitative analysis of mobile systems include [8, 9, 13, 17] , in the area of the quantitative analysis of process algebraic models have been carried out, using different  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.01.020">doi:10.1016/j.entcs.2006.01.020</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rmoy4ardi5befowl2xtrnwxjbi">fatcat:rmoy4ardi5befowl2xtrnwxjbi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190223054309/https://core.ac.uk/download/pdf/82112299.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/2b/112b5e23a461aebf78ee051112bbdf1762a99c7e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.01.020"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems [chapter]

Pavithra Prabhakar, Miriam García Soto
<span title="">2015</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In another direction, a quantitative version of classical predicate abstraction has been proposed for approximation based stability analysis of certain classes of hybrid systems.  ...  We investigate the formal connections between "quantitative predicate abstractions" for stability analysis of hybrid systems and "continuous simulation relations".  ...  The research leading to the results in the paper has received funding from the People Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme (FP7/2007-2013) under REA grant  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-46081-8_18">doi:10.1007/978-3-662-46081-8_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2oky6lrgjff6nhqzubqxcep4ku">fatcat:2oky6lrgjff6nhqzubqxcep4ku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170315104305/http://people.cs.ksu.edu:80/~pprabhakar/papers/2015/vmcai15/vmcai15.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c5/fb/c5fbc207b0a15d3986979335f10666be2175ac26.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-46081-8_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Quantitative Proteomic Analysis System: i-OPAL

Mitsuhiro KANAZAWA, Hisae ANYOJI, Hsiao-kun TU, Umpei NAGASHIMI, Atsushi OGIWARA
<span title="">2010</span> <i title="Society of Computer Chemistry Japan"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/m644cf3qujezzlr7cce3izgvgu" style="color: black;">Journal of Computer Chemistry, Japan</a> </i> &nbsp;
We therefore developed a computational quantitative proteomic analysis system i-OPAL (internal standard guided Optimal Profile ALignment) based on LC-MS measurements for biomarker discovery.  ...  This system can provide extensive quantitative analysis because it does not involve any artificial labels that might cause sampling bias and limitation of quantifiable proteins. shot in the retention time  ...  This system can provide extensive quantitative analysis, because it does not involve the application of any artificial labels.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2477/jccj.h2117">doi:10.2477/jccj.h2117</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lic4kq63iva6hhlet7kjtf5kmy">fatcat:lic4kq63iva6hhlet7kjtf5kmy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723201449/https://www.jstage.jst.go.jp/article/jccj/9/4/9_H2117/_pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a1/63/a1639f2621f5feb30d6972fa49e52f9bd183b544.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2477/jccj.h2117"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems [chapter]

Stephen Gilmore, Mirco Tribastone, Andrea Vandin
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We describe the integration of quantitative analysis tools for data fitting, model generation, simulation, and statistical model-checking, creating an analysis pathway leading from system measurement data  ...  We consider the problem of evaluating quantitative service-level agreements in public services such as transportation systems.  ...  The MultiVeStA statistical analysis tool is available from code.google.com/p/multivesta/.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-10181-1_5">doi:10.1007/978-3-319-10181-1_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x437hd5rozabfnilhguowr73ta">fatcat:x437hd5rozabfnilhguowr73ta</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815113449/http://www.research.ed.ac.uk/portal/files/17860635/Vandin_Tribastone_ET_AL_2014_An_Analysis_Pathway_for_the_Quantitative_Evaluation_of_Public_Transport_Systems.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/69/2f/692f076047324311957b63e114fc55ad87a730da.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-10181-1_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,512,948 results