408 search results - page 14 / 82 » Modeling and analysis of a supply-assembly-store chain |
102
click to vote
ENTCS
2010
14 years 11 months ago
2010
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
119
click to vote
WSC
2008
15 years 4 months ago
2008
The aim of this paper is to investigate how different smoothing parameter levels of the Automatic Pipeline Inventory and Order Based Production Control System smoothing replenishm...
124
click to vote
ATVA
2007
Springer
15 years 8 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 ...
128
click to vote
SPIN
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
111
click to vote
APNOMS
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we propose two mechanisms, differentiation by backoff exponent and differentiation by the size of contention window, for IEEE 802.15.4 sensor networks to provide mul...