1788 search results - page 164 / 358 » Model Theory for Process Algebra |
130
click to vote
QUESTA
1998
15 years 3 months ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
154
Voted
DMIN
2006
15 years 5 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...
151
click to vote
TSP
2011
14 years 10 months ago
2011
Abstract—We introduce an extended family of continuous-domain stochastic models for sparse, piecewise-smooth signals. These are specified as solutions of stochastic differential...
137
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
132
click to vote
SIGMETRICS
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we study distributed channel assignment in wireless networks with applications to peer discovery in ad hoc wireless networks. We model channel assignment as a color...