1875 search results - page 78 / 375 » Automatic Network Protocol Analysis |
WDAG
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a scalable leader election protocol for large process groups with a weak membership requirement. The underlying network is assumed to be unreliable but characte...
MASCOTS
1993
14 years 11 months ago
1993
: Weak-consistency replication protocols can be used to build wide-area services that are scalable, fault-tolerant, and useful for mobile computer systems. We have evaluated the ti...
CONCUR
2005
Springer
15 years 3 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
TACAS
2012
Springer
13 years 5 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
115
click to vote
CMMR
2009
Springer
15 years 1 months ago
2009
Springer
This paper addresses the problem of the real-time automatic transcription of a live music performance into a symbolic format. The source data are given by any music instrument or o...