Sciweavers

2702 search results - page 307 / 541
» Message from the Editor
Sort
View
CLUSTER
2000
IEEE
15 years 8 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...
DSN
2000
IEEE
15 years 8 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 8 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
145
Voted
ICNP
2000
IEEE
15 years 8 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 8 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