160 search results - page 9 / 32 » Probabilistic Model Checking and Reliability of Results |
ICAC
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
TSE
2010
13 years 5 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
ENTCS
2008
13 years 7 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
PAMI
1998
1998
A Probabilistic Approach to the Coupled Reconstruction and Restoration of Underwater Acoustic Images
13 years 7 months ago
—This paper describes a probabilistic technique for the coupled reconstruction and restoration of underwater acoustic images. The technique is founded on the physics of the image...
CN
2004
13 years 7 months ago
2004
Securing ad hoc networks in a fully self-organized way is effective and light-weight, but fails to accomplish trust initialization in many trust deficient scenarios. To overcome t...