1875 search results - page 184 / 375 » Automatic Network Protocol Analysis |
119
click to vote
ASM
2004
ASM
15 years 9 months ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
137
Voted
EWSN
2006
Springer
16 years 3 months ago
2006
Springer
Time synchronization is a crucial component of a large class of sensor network applications, traditionally implemented as a standalone middleware service that provides a virtual gl...
137
Voted
IPSN
2010
Springer
15 years 10 months ago
2010
Springer
For in-network storage schemes, one maps data, indexed in a logical space, to the distributed sensor locations. When the physical sensor network has an irregular shape and possibl...
134
Voted
ICNP
2005
IEEE
15 years 9 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
112
click to vote
CN
2006
15 years 3 months ago
2006
This paper concerns TCP Westwood, a recently developed modification of TCP, in combination with RED queue management. We develop a fluid-flow model of the protocol, and use it to s...