Sciweavers

2702 search results - page 307 / 541
» Message from the Editor
Sort
View
187
Voted
CLUSTER
2000
IEEE
15 years 11 months ago
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
Luís M. B. Lopes, Álvaro Reis Figuei...
172
Voted
DSN
2000
IEEE
15 years 11 months ago
A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks
Reliable many-to-many multicasting of messages is an integral part of group communication systems. Such systems typically employ a reliable multicast protocol that operates below ...
Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Sm...
FOCS
2000
IEEE
15 years 11 months ago
Zaps and Their Applications
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
Cynthia Dwork, Moni Naor
ICNP
2000
IEEE
15 years 11 months ago
GeoTORA: A Protocol for Geocasting in Mobile Ad Hoc Networks
This paper considers the problem of providing a geocast service in mobile ad hoc networks and presents a novel geocasting algorithm combining unicasting and flooding. Geocast is ...
Young-Bae Ko, Nitin H. Vaidya
KBSE
2000
IEEE
15 years 11 months ago
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
Prasanta K. Bose, Mark G. Matthews