573 search results - page 7 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
FOSSACS
2005
Springer
14 years 27 days ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
AIPS
2003
13 years 8 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
PADS
1999
ACM
13 years 11 months ago
1999
ACM
This paper introduces a novel algorithm, the Active Virtual Network Management Protocol AVNMP , for predictive network management. It explains how the Active Virtual Network Mana...
PADS
1999
ACM
13 years 11 months ago
1999
ACM
Most work to date in parallel and distributed discrete event simulation is based on assigning precise time stamps to events, and time stamp order event processing. An alternative ...
NCA
2005
IEEE
14 years 29 days ago
2005
IEEE
In systems where customer service demands are only known probabilistically, there is very little to distinguish between jobs. Therefore, no universal optimum scheduling strategy o...