4 citations found. Retrieving documents...
G. Anastasi, A. Bartoli, and F. Spadoni. A Reliable Multicast Protocol for Distributed Mobile Systems: Design and Evaluation. IEEE TPDS, 12(10):1009--1022, 2001.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Fault-Tolerant Support for Reliable Multicast in Mobile.. - Anastasi, Bartoli (2002)   Self-citation (Anastasi Bartoli)   (Correct)

....may be achieved by: i) supporting a dynamic group of MHs that may exchange multicasts; and (ii) requiring that multicasts be delivered only by current members of the group. The protocol proposed here assumes a static set of MHs but it may be extended toward supporting (i) and (ii) quite simply [6]. 3 Related work To the best of our knowledge, the only work with scope similar to ours is [2] This work introduces resilience to failures of MS Ss in a non fault tolerant reliable multicast protocol proposed by Acharya and Badrinath [ 1 ] see also below) However the system model is much more ....

....proposed protocol. In the second part we assume that failures may occur, in the form of crashes at gateways and coordinators, and we analyze the ability of the protocol to react to such failures. 5. 1 Simulation Environment We set the numerous parameters that characterize the protocol similar to [6], which provides a simulation analysis for the non fault tolerant version. We consider an operating environment with 40 MSSs and 100 MHs. A MH remains in a cell for a random time interval. The length of this interval is exponentially distributed (see [3, 10] and its average Tcell is set to 10 ....

[Article contains additional citation context not shown here]

G. Anastasi, A. Bartoli, and F. Spadoni. A reliable multicast protocol for distributed mobile systems: Design and evaluation. IEEE Transactions on Parallel and Distributed Systems, 12(10): 1009-1022, October 2001.


A Reliable Multicast Protocol for Distributed Mobile.. - Anastasi, Bartoli.. (1999)   (1 citation)  Self-citation (Anastasi Bartoli Spadoni)   (Correct)

....and forward it to coordinators as part of the processing of retransmission requests. 4.3 Actions at each host In this section we describe the specific actions performed by group members, MSSs and coordinators, respectively, for managing messages. Full details can be found in the companion report [ABS99c]. Actions at Group Members A group member mid may receive either a request to issue a multicast from the application or a NORMAL message from the local MSS. The related actions are as follows. When mid wishes to issue a multicast, it sends a NEW message to the local MSS. This message includes ....

....delivery condition for the ordering specified by the originating group member. This condition depends on (i) the messages delivered by the originating group member upon sending m (m includes a description of these messages) ii) the sequence number of m; and (iii) the array delivered at mid (see [ABS99c] for details) If the condition evaluates to false, then m cannot yet be delivered otherwise the desired ordering would be violated, i.e. mid has not yet received one or more messages that must be delivered before m. In this case, mid buffers m and requests retransmissions of these messages. It ....

[Article contains additional citation context not shown here]

G. Anastasi, A. Bartoli, F. Spadoni, "A Reliable Multicast Protocol for Distributed Mobile Systems: Design and Evaluation (extended version)", Technical Report DII/99-2 (http://www.iet.unipi.it/~anastasi/papers/tr99-2.pdf), September 1999.


Efficient Verification of a Multicast Protocol for.. - Anastasi, Bartoli, ..   Self-citation (Anastasi Bartoli)   (Correct)

....similar protocols (e.g. 1] it is not based on hand o ; it allows user movements at any time; and it is able to work correctly even with incomplete coverage of the wireless network. Simulation analysis has shown that the protocol is indeed practical as it exhibits good performance and scalability [3]. In the paper we specify the protocol in CCS and the desirable properties in selective mu calculus and apply our reducing method to check the properties. We show and discuss the experimental results obtained. 2 Calculus of Communicating Systems Let us now brie y recall the Calculus of ....

G. Anastasi, A. Bartoli, F. Spadoni. A Reliable Multicast Protocol for Distributed Mobile Systems: Design and Evaluation (extended version). MOSAICO Project Technical Report PI-DII/2/99, September 1999. Available at: http://www.iet.unipi.it/anastasi/papers/tr99- 2.pdf.gz.


Ordering in Mobile Networks Using Integrated - Bittner (2004)   (Correct)

No context found.

G. Anastasi, A. Bartoli, and F. Spadoni. A Reliable Multicast Protocol for Distributed Mobile Systems: Design and Evaluation. IEEE TPDS, 12(10):1009--1022, 2001.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC