The Community for Technology Leaders
1993 4th Workshop on Future Trends of Distributed Computing Systems (1993)
Lisbon, Portugal
Sept. 22, 1993 to Sept. 24, 1993
ISBN: 0-8186-4430-3
TABLE OF CONTENTS

Understanding partitions and the 'no partition' assumption (PDF)

A. Ricciardi , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
A. Schiper , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
K. Birman , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
pp. 354-360

R-linearizability: an extension of linearizability to replicated objects (PDF)

F. Pacull , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
A. Sandoz , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
pp. 347-353

Schedulability analysis of multi-access protocols for distributed real-time systems (PDF)

B. di Gennaro , Reflects Project, INRIA, Le Chesnay, France
N. Rivierre , Reflects Project, INRIA, Le Chesnay, France
pp. 332-338

Programming flexible distributed real-time systems (PDF)

E. Cardozo , Faculdade de Engenharia Eletrica, Univ. Estadual de Campinas, Brazil
M. Magalhaes , Faculdade de Engenharia Eletrica, Univ. Estadual de Campinas, Brazil
pp. 326-331

Specification of timed finite state machine in Z for distributed real-time systems (PDF)

G. Noubir , Lab. d'Inf. Tech., Ecole Polytech. Federale de Lausanne, Switzerland
D. Stephens , Lab. d'Inf. Tech., Ecole Polytech. Federale de Lausanne, Switzerland
P. Raja , Lab. d'Inf. Tech., Ecole Polytech. Federale de Lausanne, Switzerland
pp. 319-325

A functional approach for expressing temporal properties of inputs and outputs of real-time applications (PDF)

P. Raja , Swiss Federal Inst. of Technol., Lausanne, Switzerland
G. Noubir , Swiss Federal Inst. of Technol., Lausanne, Switzerland
pp. 312-318

Tapping Hermes: a case study of tapping processes (PDF)

A. El-Kadi , Dept. of Electr. Eng. & Comput. Eng., George Washington Univ., Washington, DC, USA
S. Rotenstreich , Dept. of Electr. Eng. & Comput. Eng., George Washington Univ., Washington, DC, USA
pp. 304-310

An object-oriented approach to software design for distributed real-time computing systems (PDF)

S. Yau , Comput. & Inf. Sci. Dept., Florida Univ., Gainesville, FL, USA
D.-H. Bae , Comput. & Inf. Sci. Dept., Florida Univ., Gainesville, FL, USA
G.-H. Oh , Comput. & Inf. Sci. Dept., Florida Univ., Gainesville, FL, USA
M. Chidambaram , Comput. & Inf. Sci. Dept., Florida Univ., Gainesville, FL, USA
pp. 297-303

On-line software test technique based on autonomous decentralized system (PDF)

H. Yamamoto , Hitachi Ltd., Kawasaki, Japan
A. Yoshizawa , Hitachi Ltd., Kawasaki, Japan
K. Kawano , Hitachi Ltd., Kawasaki, Japan
K. Mori , Hitachi Ltd., Kawasaki, Japan
pp. 291-296

The System Architect's Assistant for design and construction of distributed systems (PDF)

J. Kramer , Dept. of Comput., Imperial Coll., London, UK
J. Magee , Dept. of Comput., Imperial Coll., London, UK
K. Ng , Dept. of Comput., Imperial Coll., London, UK
M. Sloman , Dept. of Comput., Imperial Coll., London, UK
pp. 284-290

Congestion avoidance is interconnected local area networks (PDF)

H. Hassanein , Waterloo Univ., Ont., Canada
A. Elfeitori , Waterloo Univ., Ont., Canada
P. Roe , Waterloo Univ., Ont., Canada
pp. 262-268

A reactive flow control mechanism in ATM network with end-to-end transport (PDF)

H.-I. Kwon , Lab. MASI, Paris 6 Univ., Versailles, France
G. Pujolle , Lab. MASI, Paris 6 Univ., Versailles, France
pp. 256-261

A distributed object-oriented system with multi-threads of services (PDF)

F.-J. Wang , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
J.-L. Chen , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
C.-H. Hu , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 247-254

Toward modular concurrency control for object-oriented distributed systems (PDF)

R. Guerraoui , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
pp. 240-246

Using the object space: a distributed parallel make (PDF)

A. Polze , Inst. fuer Inf., Freie Univ., Berlin, Germany
pp. 234-239

Making C++ a distributed programming language (PDF)

Z. Wu , Comput. Lab., Cambridge Univ., UK
pp. 228-233

Cooperative access to relational and object-oriented federated databases (PDF)

J. Lerm , Inst. de Inf., Univ. Federal do Rio Grande do Sul, Brazil
J. de Oliveira , Inst. de Inf., Univ. Federal do Rio Grande do Sul, Brazil
pp. 222-227

An efficient circuit-switching mechanism for interprocess communication in a transputer network (PDF)

M. Tayli , Coll. of Comput. & Inf. Sci., King Saud Univ., Riyadh, Saudi Arabia
M. Benmaiza , Coll. of Comput. & Inf. Sci., King Saud Univ., Riyadh, Saudi Arabia
pp. 215-220

Hierarchical decision structure for distributed algorithms (PDF)

C. Kim , Dept. of Comput. Sci., Pohang Inst. of Sci. & Technol., South Korea
J.-Y. Lee , Dept. of Comput. Sci., Pohang Inst. of Sci. & Technol., South Korea
C.-M. Park , Dept. of Comput. Sci., Pohang Inst. of Sci. & Technol., South Korea
pp. 203-207

Parallel programming on reconfigurable meshes with buses (PDF)

M. Nigam , Florida Univ., Gainesville, FL, USA
S. Sahni , Florida Univ., Gainesville, FL, USA
pp. 188-193

A new fault-tolerant network architecture: a composite banyan network (PDF)

T. Feng , Dept. of Electr. & Comput. Eng., Pennsylvania State Univ., University Park, PA, USA
S.-W. Seo , Dept. of Electr. & Comput. Eng., Pennsylvania State Univ., University Park, PA, USA
pp. 181-187

Fair distribution of concerns in design and evaluation of fault-tolerant distributed computer systems (PDF)

K. Kim , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 173-180

A comparison of fault-tolerant atomic broadcast protocols (PDF)

E. Anceaume , Reflects Project, INRIA, Le Chesnay, France
pp. 166-172

An integrated approach to shared synchronous groupware workspaces (PDF)

N. Kamel , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 157-163

Efficient group communication with guaranteed quality of service (PDF)

C. Szyperski , Int. Comput. Sci. Inst., Univ. of California, Berkeley, CA, USA
G. Ventre , Int. Comput. Sci. Inst., Univ. of California, Berkeley, CA, USA
pp. 150-156

A distributed model and architecture for interactive cooperation (PDF)

P. Antunes , IST/INESC, Lisboa, Portugal
N. Guimaraes , IST/INESC, Lisboa, Portugal
pp. 143-149

Causal multicasts in overlapping groups: towards a low cost approach (PDF)

A. Mostefaoui , IRISA Campus de Beaulieu, Rennes, France
M. Raynal , IRISA Campus de Beaulieu, Rennes, France
pp. 136-142

Distributed programming for neural networks (PDF)

N. Serbedzija , GMD FIRST, Berlin, Germany
G. Kock , GMD FIRST, Berlin, Germany
S. Jahnichen , GMD FIRST, Berlin, Germany
pp. 128-134

The changing face of technology in distributed systems (PDF)

P. Verissimo , Tech. Univ. of Lisboa, Portugal
pp. 119-127

Reflective architectures: requirements for future distributed environments (PDF)

C. Bekker , Dept. of Comput. Sci., Pretoria Univ., South Africa
P. Putter , Dept. of Comput. Sci., Pretoria Univ., South Africa
pp. 112-118

Intelligent distributed systems: New trends (PDF)

D. Gaiti , Columbia Univ., New York, NY, USA
pp. 106-111

A taxonomy on multimedia synchronization (PDF)

T. Meyer , Mannheim Univ., Germany
W. Effelsberg , Mannheim Univ., Germany
pp. 97-103

Quality of service based transport architecture using XTP (PDF)

I. Miloucheva , Tech. Univ. of Berlin, Germany
K. Rebensburg , Tech. Univ. of Berlin, Germany
pp. 90-96

Towards multimedia communication services (PDF)

L.R.d.C. Carmo , LAAS-CNRS, Toulouse, France
J.-P. Courtiat , LAAS-CNRS, Toulouse, France
P. de Saqui-Sannes , LAAS-CNRS, Toulouse, France
pp. 83-89

XTP versus TCP/IP in a UNIX/Streams environment (PDF)

V. Roca , BULL S.A., Echirolles, France
pp. 76-82

A fail-safe architecture of service control and management system for intelligent networks (PDF)

S. Kwon , Electron. & Telecommun. Res. Inst., Daejeon, South Korea
K. Park , Electron. & Telecommun. Res. Inst., Daejeon, South Korea
K. Lee , Electron. & Telecommun. Res. Inst., Daejeon, South Korea
J. Hong , Electron. & Telecommun. Res. Inst., Daejeon, South Korea
pp. 69-73

TMN-based management of intelligent networks-medium-term and long-term perspectives (PDF)

T. Magedanz , Dept. for Open Commun. Syst., Tech. Univ. of Berlin, Germany
pp. 62-68

Replicated object management using group technology (PDF)

L. Rodrigues , Tech. Univ. of Lisboa, Portugal
P. Verissimo , Tech. Univ. of Lisboa, Portugal
pp. 54-61

On the co-operative management of domains in open distributed systems (PDF)

V. Tschammer , GMD FOKUS, Berlin, Germany
J. Dittrich , GMD FOKUS, Berlin, Germany
J. Meinkohn , GMD FOKUS, Berlin, Germany
A. Wolisz , GMD FOKUS, Berlin, Germany
pp. 47-53

An architecture for managing distributed systems (PDF)

M. Sloman , Dept. of Comput. Imperial Coll., London, UK
J. Magee , Dept. of Comput. Imperial Coll., London, UK
K. Twidle , Dept. of Comput. Imperial Coll., London, UK
J. Kramer , Dept. of Comput. Imperial Coll., London, UK
pp. 40-46

An experimental multimedia information exchange system (PDF)

M. Mourad , IBM T.J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 31-37

The BERKOM multimedia-mail teleservice (PDF)

K. Hofrichter , Nat. Res. Center for Comput. Sci. & Inf. Technol., Res. Inst. for Open Commun. Syst., Berlin, Germany
E. Moeller , Nat. Res. Center for Comput. Sci. & Inf. Technol., Res. Inst. for Open Commun. Syst., Berlin, Germany
A. Scheller , Nat. Res. Center for Comput. Sci. & Inf. Technol., Res. Inst. for Open Commun. Syst., Berlin, Germany
G. Schurmann , Nat. Res. Center for Comput. Sci. & Inf. Technol., Res. Inst. for Open Commun. Syst., Berlin, Germany
pp. 23-30

Conception of a multimedia electronic mail based on standards (PDF)

V. Gay , Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
B. Kervella , Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
E. Horlait , Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
pp. 16-22

An algorithm and architecture to support cooperative multimedia editing (PDF)

A. Santos , Fraunhofer-Inst. for Comput. Graphics, Darmstadt, Germany
A. Marcos , Fraunhofer-Inst. for Comput. Graphics, Darmstadt, Germany
pp. 2-7

Classes of self-stabilizing protocols (PDF)

J. Beauquier , L.R.I. CNRS, Paris Univ., Orsay, France
S. Delaet , L.R.I. CNRS, Paris Univ., Orsay, France
pp. 361-365

The network-memory in a global distributed processing system (PDF)

S. Covaci , GMD-FOKUS, Berlin, Germany
R. Popescu-Zeletin , GMD-FOKUS, Berlin, Germany
pp. 368-374

Distributed computing with parallel networking (PDF)

K. Maly , Comput. Sci. Dept., Old Dominion Univ., Norfolk, VA, USA
M. Zubair , Comput. Sci. Dept., Old Dominion Univ., Norfolk, VA, USA
S. Kelbar , Comput. Sci. Dept., Old Dominion Univ., Norfolk, VA, USA
pp. 375-379

CapNet-using gigabit network as a high speed backplane (PDF)

I.M.-C. Tam , Distributed Syst. Lab., Pennsylvania Univ., Philadelphia, PA, USA
D.J. Farber , Distributed Syst. Lab., Pennsylvania Univ., Philadelphia, PA, USA
pp. 380-386

Optimization techniques for parallel protocol implementation (PDF)

S. Leue , Inst. for Inf., Berne Univ., Switzerland
pp. 387-393

Completeness of the equational semantics for Basic LOTOS (PDF)

M. Massink , Dept. of Comput. Sci., Nijmegen Univ., Netherlands
L. Rooijakkers , Dept. of Comput. Sci., Nijmegen Univ., Netherlands
pp. 396-403

On the application to OSI-TP of a structured analysis and modeling methodology based on Petri net models (PDF)

R. Jacinto , LAAS-CNRS, Toulouse, France
G. Juanole , LAAS-CNRS, Toulouse, France
K. Drira , LAAS-CNRS, Toulouse, France
pp. 404-410

Advanced design concepts for open distributed systems development (PDF)

L.F. Pires , Twente Univ., Enschede, Netherlands
M. van Sinderen , Twente Univ., Enschede, Netherlands
pp. 419-425

Mobility support in open bridged networks (PDF)

M. Zitterbart , Inst. of Telematics, Karlsruhe Univ., Germany
pp. 428-434

Harmonic network access architecture for ATM (PDF)

D. Elias , Res. Centre for Open Commun. Syst., GMD-FOKUS, Berlin, Germany
A. Gavras , Res. Centre for Open Commun. Syst., GMD-FOKUS, Berlin, Germany
pp. 435-441

OPERA: storage, programming and display of multimedia objects (PDF)

K. Moody , Comput. Lab., Cambridge Univ., UK
J. Bacon , Comput. Lab., Cambridge Univ., UK
J. Bates , Comput. Lab., Cambridge Univ., UK
S.L. Lo , Comput. Lab., Cambridge Univ., UK
Z. Wu , Comput. Lab., Cambridge Univ., UK
pp. 442-448

A proposal for a metropolitan area network with priority for the synchronous traffic (PDF)

S. Motoyama , Telematic Dept., State Univ. of Campinas, Brazil
M.P.C. Arantes , Telematic Dept., State Univ. of Campinas, Brazil
I.S. Bonatti , Telematic Dept., State Univ. of Campinas, Brazil
pp. 449-453

Knowledge-based allocation model for distributed processing systems (PDF)

S. Vranes , Comput. Syst. Dept., Mihailo Pupin Inst., Belgrade, Yugoslavia
P. Subasic , Comput. Syst. Dept., Mihailo Pupin Inst., Belgrade, Yugoslavia
pp. 456-462

Load distribution on microkernels (PDF)

D.S. Milojicic , Kaiserslautern Univ., Germany
P. Giese , Kaiserslautern Univ., Germany
W. Zint , Kaiserslautern Univ., Germany
pp. 463-469

The PANDA system architecture-a pico-kernel approach (PDF)

H. Assenmacher , Dept. of Comput. Sci., Kaiserlautern Univ., Germany
T. Breitbach , Dept. of Comput. Sci., Kaiserlautern Univ., Germany
P. Buhler , Dept. of Comput. Sci., Kaiserlautern Univ., Germany
V. Hubsch , Dept. of Comput. Sci., Kaiserlautern Univ., Germany
R. Schwarz , Dept. of Comput. Sci., Kaiserlautern Univ., Germany
pp. 470-476

Kernel/2r-A software infrastructure for building distributed applications (PDF)

B. Holtkamp , Fraunhofer Inst. for Software Eng. & Syst. Eng., Dortmund Univ., Germany
H. Weber , Fraunhofer Inst. for Software Eng. & Syst. Eng., Dortmund Univ., Germany
pp. 477-483
93 ms
(Ver 3.3 (11022016))