252 search results - page 33 / 51 » A Methodology for Automatic Diagnosability Analysis |
JCS
2006
14 years 11 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
The MultimediaN concert-video browser demonstrates a video interaction environment for efficiently browsing video registrations of pop, rock and other music concerts. The exhibiti...
100
click to vote
HIPC
2009
Springer
14 years 9 months ago
2009
Springer
Supercomputers are prone to frequent faults that adversely affect their performance, reliability and functionality. System logs collected on these systems are a valuable resource o...
ICDAR
2005
IEEE
15 years 5 months ago
2005
IEEE
A trainable method for distinguishing between mathematics notation and natural language (here, English) in images of textlines, using computational geometry methods only with no a...
109
Voted
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...