1615 search results - page 103 / 323 » Distributed Forward Checking |
WMCSA
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper we propose a new protocol for reliable multicast in a multi-hop mobile radio network. The protocol is reliable, i.e., it guarantees message delivery to all multicast...
CN
2006
13 years 10 months ago
2006
The last decade has seen a deluge of proposals for supporting multicast in the Internet. These proposals can be categorized as either infrastructure-based, with the multicast func...
CLUSTER
2002
IEEE
13 years 10 months ago
2002
IEEE
Several distributed routing algorithms for wireless networks were described recently, based on location information of nodes available via Global Positioning System (GPS). In gree...
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...