7300 search results - page 263 / 1460 » Multi-modal network protocols |
146
Voted
INFOCOM
1993
IEEE
15 years 9 months ago
1993
IEEE
Progress in the field of high speed networking and distributed applications has led to a debate in the research community on the suitability of existing protocols such as TCP/IP ...
151
click to vote
AINA
2004
IEEE
15 years 9 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
141
Voted
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
Simple, stateless networking protocols provide a low-cost and predictable foundation upon which to build decentralised applications. Sensornets are complex, containing emergent be...
156
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
141
click to vote
JNW
2008
15 years 5 months ago
2008
Cross-layer mechanism, for which a protocol locating at a given layer uses information issued from other layers, may enhance the mobile networks performance. Some of those mechanis...