752 search results - page 116 / 151 » Abstract models for dialogue protocols |
124
Voted
OHS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Over the last six years the Open Hypermedia Systems Working Group (OHSWG) has been working in a coordinated effort to produce a protocol which will allow components of an...
135
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
103
click to vote
HPCNCS
2007
15 years 5 months ago
2007
Abstract—As the bandwidth of networks is increasing exponentially, the computational cost to simulate such type of networks is also growing in a similar fashion. This paper prese...
165
Voted
ASIAN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
93
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract-- The problem of cooperative fusion in the presence of both Byzantine sensors and misinformed sensors is considered. An information theoretic formulation is used to charac...