Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
A technique is presented for the estmaatton by simulation of response time characteristics of queuemg network models of multlprogrammed computer systems The techmque is based on the regenerative method for the simulation of stochastic systems and the idea of trackmg a marked job m the network Illustrative numencal results m part obtained from a simulation of a queuemg model of a database management system are reported. © 1978, ACM. All rights reserved.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Alain Vaucher, Philippe Schwaller, et al.
AMLD EPFL 2022
Aditya Malik, Nalini Ratha, et al.
CAI 2024
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999