[PDF] Top 20 Probabilistic Model-Based Diagnosis of Distributed Systems
Has 10000 "Probabilistic Model-Based Diagnosis of Distributed Systems" found on our website. Below are the top 20 most common "Probabilistic Model-Based Diagnosis of Distributed Systems".
Probabilistic Model-Based Diagnosis of Distributed Systems
... As a second contribution, we exploit a different formalism to model uncertainty, that is “possibility theory.” Always in diagnosis based on Petri net modeling, another class of Petri net[r] ... Voir le document complet
112
Diagnosis in Infinite-State Probabilistic Systems
... general probabilistic pushdown automata (beyond visibly pushdown ones) thanks to ...the model checking of qualitative pLTL on recursive Markov chains is doable in PSPACE in the size of the ... Voir le document complet
16
Distributed Causal Model-based Diagnosis: An Approach by Interacting Petri Nets
... problem of fault diagnosis of artifact systems has received a great attention during the last two decades due to its importance in terms of safety and efficiency of ...proposed, ... Voir le document complet
110
Synthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems
... Department of Computer Science, Bar Ilan University, Ramat Gan 52900, Israel Abstract—Developing concurrent systems typically involves a lengthy debugging period, due to the huge number of possible ... Voir le document complet
11
Model-based probabilistic reasoning for self-diagnosis of telecommunication networks: application to a GPON-FTTH access network
... dynamic, distributed and non-deterministic ...set of rules which covers all possible situations that may occur on the ...track of only a few hypotheses in their reasonings and need a long training ... Voir le document complet
44
Availability-based methods for distributed storage systems
... 6. COMBINING R&A AND ADAPTIVE PER-NODE TIMEOUT So far, we have proposed and evaluated two techniques, leveraging the availability history of nodes. In this section, we consider their combination, for possible ... Voir le document complet
13
Constraint-Based Oracles for Timed Distributed Systems
... global model built by composing local models and queues, similar to the one that we used in Section ...correction of the system can boil down to the local correction of each component, without any ... Voir le document complet
17
Semantic-based Reconstruction of User's Interests in Distributed Systems
... group of methods emerges in order to resolve the problem of the manual labeling identified in the two first ...similarity based on the common co-occurrence ...algorithm based on the ... Voir le document complet
16
Use of probabilistic relational model (PRM) for dependability analysis of complex systems
... lack of effective methodologies and the integration of standard methods in manufacturing ...composed of a set of activities for which it is difficult to find procedures and information support ... Voir le document complet
7
Model-based Synthesis of Distributed Real-time Automotive Architectures
... concept of end-to-end deadline has been discussed in many research ...context of schedulability analysis test such as holistic analysis with jitter propagation used in this work [34], or model with ... Voir le document complet
210
Model-Based Testing of Interactive Systems
... interactive systems do not consider widgets as first-class components but pre- fer the use of concepts that reduce the gap between the user and the ...representation of the manipulated data [41]. A ... Voir le document complet
52
SCHO: An Ontology Based Model for Computing Divergence Awareness in Distributed Collaborative Systems
... composed of a P2P network of autonomous wiki ...aware of the status of the pages they access regarding concurrency: Has this page been merged automatically? In this case show me where ... Voir le document complet
21
Exploration of Compressive Sampling for Wire Diagnosis Systems Based on Reflectometry
... reconstruction of the sub-sampled reflected signal of length M = 64 instead of N = 1024 for a sampling frequency corresponding to f s -s = f s /K = ...help of the OMP optimization algorithm, ... Voir le document complet
136
Semantic-based Reconstruction of User's Interests in Distributed Systems
... terms of interests that are stored in his ...terms of browsing the user’s ...Most of the proposed reorganization methods use machine learning algorithms and different similarity ...notion of ... Voir le document complet
15
Experiments with distributed Model-Checking of group-based applications
... Group-based distributed systems are specific cases of dis- tributed applications with a parameterized ...by systems with a very large state- ...semantics of group-based ... Voir le document complet
4
Corrosion modeling of surfaces using 3D probabilistic cellular automata based model
... a probabilistic cellular automata based model to study the influence of localized and uniform corrosion on the morphological evolution of a ... Voir le document complet
6
Model-Based Systems Engineering for Systems Simulation
... Abstract. Model-Based Systems Engineering and early simulation based Validation & Verification are now key enablers for managing the complexity in the development of modern complex ... Voir le document complet
21
Interactive Analysis of Large Distributed Systems with Topology-based Visualization
... issue of per- formance analysis and give a view of the behavior of ...views, based on Gantt-charts [37]. It depicts the individual behavior of processes and the interac- tions among ... Voir le document complet
25
A Multimodal Probabilistic Model for Gesture-based Control of Sound Synthesis
... issues. Systems based on regression methods such as neural net- works [4, 5], for example, generalize from multiple interpre- tations but are often limited to static ...often model the temporal ... Voir le document complet
5
Ontological view based semantic transformation for distributed systems
... meaning of a formal vocabulary. The intended models of a logical language using such a vocabulary are constrained by its ontological ...models. Based on the definition given above, this work further ... Voir le document complet
9
Sujets connexes