We argue that the tools of decision theory need to be taken more seriously in the specification and analysis of systems. We illustrate this by considering a simple problem involving reliable communication, showing how considerations of utility and probability can be used to decide when it is worth sending heartbeat messages and, if they are sent, how often they should be sent.
CITATION STYLE
Chu, F., & Halpern, J. (1998). A decision-theoretic approach to reliable message delivery. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1499, pp. 89–103). Springer Verlag. https://doi.org/10.1007/bfb0056476
Mendeley helps you to discover research relevant for your work.