188 search results - page 24 / 38 » A probabilistic analysis of diagnosability in discrete event... |
ENTCS
2010
13 years 4 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...
DMIN
2006
13 years 9 months ago
2006
Process monitoring refers to the task of detecting abnormal process operations resulting from the shift in the mean and/or the variance of one or more process variables. To success...
ENTCS
2006
13 years 7 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
SOFSEM
2009
Springer
14 years 4 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
ICDCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Publish/Subscribe systems provide a useful platform for delivering data (events) from publishers to subscribers in an anonymous fashion in distributed networks. In this paper, we ...