A survey on big data market: Pricing, trading and protection
Big data is considered to be the key to unlocking the next great waves of growth in
productivity. The amount of collected data in our world has been exploding due to a number …
productivity. The amount of collected data in our world has been exploding due to a number …
30 years of GreatSPN
GreatSPN is a tool for the stochastic analysis of systems modeled as (stochastic) Petri nets.
This chapter describes the evolution of the GreatSPN framework over its life span of 30 …
This chapter describes the evolution of the GreatSPN framework over its life span of 30 …
The Mobius framework and its implementation
DD Deavours, G Clark, T Courtney… - IEEE Transactions …, 2002 - ieeexplore.ieee.org
The Mobius framework is an environment for supporting multiple modeling formalisms and
solution techniques. Models expressed in formalisms that are compatible with the framework …
solution techniques. Models expressed in formalisms that are compatible with the framework …
Response time and availability study of RAFT consensus in distributed SDN control plane
E Sakic, W Kellerer - IEEE Transactions on Network and …, 2017 - ieeexplore.ieee.org
Software defined networking (SDN) promises unprecedented flexibility and ease of network
operations. While flexibility is an important factor when leveraging advantages of a new …
operations. While flexibility is an important factor when leveraging advantages of a new …
[图书][B] Stochastic discrete event systems
A Zimmermann - 2007 - Springer
The behavior of many technical systems that are increasingly important in our every-day life
can be described by discrete states and state-changing events. Discrete event systems …
can be described by discrete states and state-changing events. Discrete event systems …
Using the case-based ranking methodology for test case prioritization
The test case execution order affects the time at which the objectives of testing are met. If the
objective is fault detection, an inappropriate execution order might reveal most faults late …
objective is fault detection, an inappropriate execution order might reveal most faults late …
Dependability evaluation with dynamic reliability block diagrams and dynamic fault trees
S Distefano, A Puliafito - IEEE Transactions on Dependable …, 2009 - ieeexplore.ieee.org
Dependability evaluation is an important often-mandatory step in designing and analyzing
(critical) systems. Introducing control and/or computing devices to automate processes …
(critical) systems. Introducing control and/or computing devices to automate processes …
Dependability modeling and evaluation of multiple-phased systems using DEEM
A Bondavalli, S Chiaradonna… - IEEE Transactions …, 2004 - ieeexplore.ieee.org
Multiple-Phased Systems (MPS), ie, systems whose operational life can be partitioned in a
set of disjoint periods, called" phases", include several classes of systems such as Phased …
set of disjoint periods, called" phases", include several classes of systems such as Phased …
Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models
Mobius 2.3 is an extensible dependability, security, and performance modeling environment
for large-scale discrete-event systems. It provides multiple model formalisms and solution …
for large-scale discrete-event systems. It provides multiple model formalisms and solution …
SHyFTA, a Stochastic Hybrid Fault Tree Automaton for the modelling and simulation of dynamic reliability problems
Reliability assessment of industrial processes is traditionally performed with RAMS
techniques. Such techniques are static in nature because they are unable to consider the …
techniques. Such techniques are static in nature because they are unable to consider the …