784 search results - page 26 / 157 » An underlying model for defeat mechanisms |
JCP
2007
14 years 9 months ago
2007
Abstract— This paper deals with the use of Bayesian Networks to compute system reliability of complex systems under epistemic uncertainty. In the context of incompleteness of rel...
ACSD
2001
IEEE
15 years 1 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Modern Web servers need to process multiple requests concurrently in order to fulfill the workload demands expected of them. Concurrency can be implemented in a Web server using ...
PR
2007
14 years 9 months ago
2007
A situated approach to Markovian image segmentation is proposed based on a distributed, decentralized and cooperative strategy for model estimation. According to this approach, th...