6059 search results - page 298 / 1212 » A Technique for Verifying Measurements |
173
click to vote
ECBS
2003
IEEE
16 years 2 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
188
click to vote
ICPP
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper discusses the techniques of performing distributed page ranking on top of structured peer-to-peer networks. Distributed page ranking are needed because the size of the ...
188
click to vote
SBACPAD
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
160
click to vote
ICCSA
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we describe a technique for representing and displaying high dynamic range image (HDRI) as a texture map in VRML structure. To do this, we designed and implemented e...
175
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...