408 search results - page 34 / 82 » Modeling and analysis of a supply-assembly-store chain |
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
107
click to vote
ITSSA
2006
14 years 11 months ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
FORTE
2004
15 years 1 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we propose a Bayesian network framework for explicitly modeling components and their relationships of Korean Hangul characters. A Hangul character is modeled with h...
105
click to vote
CCS
2009
ACM
15 years 3 months ago
2009
ACM
This work casts the traffic analysis of anonymity systems, and in particular mix networks, in the context of Bayesian inference. A generative probabilistic model of mix network ar...