452 search results - page 66 / 91 » Diagnosability Analysis of Distributed Discrete Event System... |
TELSYS
2010
13 years 3 months ago
2010
Peer-to-peer (p2p) networking technology has gained popularity as an efficient mechanism for users to obtain free services without the need for centralized servers. Protecting thes...
BPM
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
PE
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...