[PDF] Top 20 Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events
Has 10000 "Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events" found on our website. Below are the top 20 most common "Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events".
Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events
... Abstract. In previous work, we have proposed a fully probabilistic version of Event-B where all the non-deterministic choices are replaced by probabilistic ones ... Voir le document complet
15
Moving from Event-B to probabilistic Event-B
... approach in which probabilistic choices can be introduced as a refinement of any potential non-deterministic choice, be it between enabled events, parameter values or ...is to produce a ... Voir le document complet
23
Introducing Probabilistic Reasoning within Event-B
... work In this paper, we have presented an extension to the Event-B formalism that allows describing models with proba- bilistic ...types of models: fully ... Voir le document complet
53
About Probabilistic Event-B
... Quantitative probabilistic Event-B Event-B offers a scalable approach ensuring that a detailed specification of a system adheres to its abstract counterpart, ...sufficient ... Voir le document complet
34
Dig-event: let's socialize around events
... Event management not restrict to “4W” - What, When, Where, Who, but “H”- ...users to organize the events through mashup their own favorite ...gadgets to the users for ... Voir le document complet
3
Probabilistic Reliability and Privacy of Communication Using Multicast in General Neighbor Networks
... study how players can reliably and securely exchange information. Player a (the sender) knows the value of some variable called state and wants to send it to player b ... Voir le document complet
29
Probabilistic pi-calculus and Event Structures
... between event structures and Segala automata. We would have liked to extend this correspondence to a categorical adjunction between two suitable categories, ideally extending the setting ... Voir le document complet
17
Probabilistic Event Graph to Model Safety and Security for Diagnosis Purposes
... consider the situation A; (B&C). Using the formulas demonstrated in the precedent paragraph, we obtain the distribution function g associated with this situation: g = f A ∗ ... Voir le document complet
11
ECL: the Event Constraint Language, an Extension of OCL with Events
... on the extension of the OCL or on the explicit specification of behaviors at the metamodel ...extending the OCL so that the specification of behavioral ...is ... Voir le document complet
25
Correlation of security events based on the analysis of structures of event types
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet
7
Une extension probabiliste pour Event-B
... for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or ...not. The documents may come from teaching and research institutions in France or ... Voir le document complet
3
Using Event-B to Verify the Kmelia Components and Their Assemblies
... set of links between required and pro- vided services of various components, with respect to their ...is to establish the correctness of Kmelia components and their assem- ... Voir le document complet
4
A projective formalism applied to topoligical and probabilistic event structures
... Introduction The study of concurrency models rests on a fundamental choice for the semantics of ...(in the interleaving semantics) or as partial orders of events ... Voir le document complet
20
Slices of the past: how events are temporally compressed in episodic memory
... fraction of the information content of our external and internal environments is perceived and ...Further, the continuous succession of moments that constitute our experience is not ... Voir le document complet
15
Negation in event semantics with actual and nonactual events
... home in the following sentences to refer to negative states: (49) ...home. b. While Mary wasn’t at home, John cleaned up the house. Events and states are generally grouped ... Voir le document complet
18
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B
... alternatives in its vicinity based on a combination of all its perceptions: food, pheromone, other ants, and ...nest. In other words, four perception values should be merged into a single value, ... Voir le document complet
16
JetStream: Enabling high throughput live event streaming on multi-site clouds
... tens of cloud datacenters around the globe, following similar patterns: they aggregate monitoring or sensor data, assess the QoS or run global data mining queries based on inter-site event ... Voir le document complet
28
JetStream: Enabling High Performance Event Streaming across Cloud Data-Centers
... Streaming in peer-to-peer systems. The peer-to-peer-based systems can be divided in two cat- egories based on how peers that forward the events organize themselves ... Voir le document complet
13
How sensitive are optimal fully renewable power systems to technology cost uncertainty?
... cases the regret is remarkably low given the wide range of cost scenarios considered: the average value is 4% ..., the third quartile is 6%, and the regret is below 9% in ... Voir le document complet
46
A Probabilistic Numerical Method for Fully Nonlinear Parabolic PDEs
... differences in the context of Hamilton-Jacobi-Bellman nonlinear PDEs: • Bonnans and Zidani [8] introduced a finite difference scheme which satisfies the crucial monotonicity condition ... Voir le document complet
40
Sujets connexes