Sciweavers

1561 search results - page 30 / 313
» Probability Theory on IF Events
Sort
View
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
LCN
2006
IEEE
15 years 3 months ago
On Measuring Anonymity For Wireless Mobile Ad-hoc Networks
We propose an evidence theory based anonymity measuring approach for wireless mobile ad-hoc networks. In our approach, an evidence is a measure of the number of detected packets w...
Dijiang Huang
EUSFLAT
2003
14 years 11 months ago
Fuzzy-evidence approach to uncertainty modelling and reliability
Conventional approach to mathematical description of experiments applies probability theory. Here, another approach is used to express uncertainty based on probability, fuzzy sets...
Bohdan S. Butkiewicz
AUTOMATICA
2002
107views more  AUTOMATICA 2002»
14 years 9 months ago
On optimal control of a class of partially observed discrete event systems
We are interestedin a newclassof optimal control problemsfor DiscreteEvent Systems (DES). Weadopt theformalismof supervisorycontrol theory 10] andmodel thesystemas a nitestatemach...
Hervé Marchand, Olivier Boivineau, St&eacut...
ICC
1997
IEEE
108views Communications» more  ICC 1997»
15 years 1 months ago
Overflow Probability in an ATM Queue with Self-Similar Input Traffic
Real measurements in high-speed communications networks have recently shown that traffic may demonstrate properties of long-range dependency peculiar to self-similar stochastic pr...
Boris Tsybakov, Nicolas D. Georganas