Sciweavers

529 search results - page 30 / 106
» A Fair Non-repudiation Protocol
Sort
View
CDC
2008
IEEE
118views Control Systems» more  CDC 2008»
14 years 2 months ago
Congestion control for small queues: Analysis and evaluation of a new protocol
— A new congestion control protocol is presented, analyzed and experimentally evaluated. It consists of the standard inner-loop ACK-clock and a novel outer-loop adjusting the win...
Niels Möller, Karl Henrik Johansson
FCSC
2008
104views more  FCSC 2008»
13 years 7 months ago
On automatic verification of self-stabilizing population protocols
The population protocol model [2] has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with e...
Jun Pang, Zhengqin Luo, Yuxin Deng
CSIE
2009
IEEE
14 years 2 months ago
Improvement of BW Multi-party Contract Signing Protocol: Model and Formal Analysis
A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to arrive in a state in which either each of them has a pre-agreed cont...
Xiangdong Li, Qingxian Wang, Xiaoyan Jin
HSNMC
2003
Springer
102views Multimedia» more  HSNMC 2003»
14 years 27 days ago
A RTT-based Partitioning Algorithm for a Multi-rate Reliable Multicast Protocol
Various Internet applications involve multiple parties and usually adopt a one-to-many communication paradigm (multicast). The presence of multiple receivers in a multicast session...
Moufida Maimour, CongDuc Pham
CNSM
2010
13 years 5 months ago
Gossip-based resource management for cloud environments
1 We address the problem of resource management for a large-scale cloud environment that hosts sites. Our contribution centers around outlining a distributed middleware architectur...
Fetahi Wuhib, Rolf Stadler, Mike Spreitzer