17185 search results - page 239 / 3437 » Computational and Quantitative Studies |
150
click to vote
NSDI
2008
15 years 9 months ago
2008
We present the design of a user study for comparing the security of two registration mechanisms for initializing credentials in machine authentication protocols, such as SiteKey. ...
193
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a comparative study of Kerrighed, openMosix and OpenSSI, three Single System Image (SSI) operating systems for clusters. This experimental study gives an overv...
169
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
194
click to vote
CBMS
2002
IEEE
16 years 7 days ago
2002
IEEE
The article deals with the problem of texture description. It presents a statistical approach. Specifically it introduces the use of first- and second-order statistics on textur...
194
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...