9821 search results - page 229 / 1965 » A Framework for the Development of Protocols |
151
click to vote
FCT
2003
Springer
15 years 12 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
170
click to vote
INFOCOM
1998
IEEE
15 years 11 months ago
1998
IEEE
As the number and variety of Web- and network-based applications continues to increase, so does the need for flexible communication protocols and services to support them. Traditi...
209
click to vote
TWC
2008
15 years 6 months ago
2008
In this paper, the performance of the network coded amplify-forward cooperative protocol is studied. The use of network coding can suppress the bandwidth resource consumed by relay...
210
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
Recent rapid technological developments have led to the development of tiny, low-power, low-cost sensors. Such devices integrate sensing, limited data processing and communication...
157
click to vote
ISPA
2004
Springer
16 years 1 days ago
2004
Springer
This paper investigates fault tolerance issues in Bistro, a wide area upload architecture. In Bistro, clients first upload their data to intermediaries, known as bistros. A destin...