Formalizing Reusable Communication Models for Distributed Systems Architecture

Model and Data Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00856-7_13 ◽

2018 ◽

pp. 198-216

Author(s):

Quentin Rouland ◽

Brahim Hamid ◽

Jason Jaskolka

Keyword(s):

Distributed Systems ◽

Systems Architecture ◽

Communication Models

Download Full-text

Formal specification and verification of reusable communication models for distributed systems architecture

Future Generation Computer Systems ◽

10.1016/j.future.2020.02.033 ◽

2020 ◽

Vol 108 ◽

pp. 178-197

Author(s):

Quentin Rouland ◽

Brahim Hamid ◽

Jason Jaskolka

Keyword(s):

Distributed Systems ◽

Formal Specification ◽

Systems Architecture ◽

Communication Models ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Overview of Persistent Memory in Distributed Systems Architecture -- Past, Present, Future

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC '18 ◽

10.1145/3212734.3212796 ◽

2018 ◽

Author(s):

Robert Peglar

Keyword(s):

Distributed Systems ◽

Systems Architecture ◽

Persistent Memory

Download Full-text

Distributed Systems Architecture

10.1016/b978-1-55860-648-7.x5000-1 ◽

2006 ◽

Keyword(s):

Distributed Systems ◽

Systems Architecture

Download Full-text

Position of modern peer-to-peer systems in the distributed systems architecture

11th IEEE Mediterranean Electrotechnical Conference (IEEE Cat. No.02CH37379) ◽

10.1109/melecon.2002.1014586 ◽

2003 ◽

Cited By ~ 1

Author(s):

M. Ciglaric ◽

T. Vidmar

Keyword(s):

Distributed Systems ◽

Peer To Peer ◽

Systems Architecture ◽

Peer To Peer Systems

Download Full-text

Application of a distributed systems architecture for increased speed in image processing on an autonomous ground vehicle

10.1117/12.840313 ◽

2010 ◽

Cited By ~ 1

Author(s):

Adam A. Wright ◽

Orko Momin ◽

Young Ho Shin ◽

Rahul Shakya ◽

Kumud Nepal ◽

...

Keyword(s):

Image Processing ◽

Distributed Systems ◽

Systems Architecture ◽

Ground Vehicle

Download Full-text

Optimum delay reliability distributed systems architecture

Reliability Engineering & System Safety ◽

10.1016/0951-8320(89)90016-1 ◽

1989 ◽

Vol 26 (3) ◽

pp. 279-288

Author(s):

V.K. Jain ◽

Krishna Gopal

Keyword(s):

Distributed Systems ◽

Systems Architecture

Download Full-text

DTI/SERC Open Distributed Systems Architecture research programme

Computing & Control Engineering Journal ◽

10.1049/cce:19910069 ◽

1991 ◽

Vol 2 (6) ◽

pp. 250

Author(s):

David Hutchison

Keyword(s):

Distributed Systems ◽

Research Programme ◽

Systems Architecture ◽

Open Distributed Systems

Download Full-text

Time in distributed systems cooperation and communication models

Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems ◽

10.1109/ftdcs.1995.524967 ◽

2002 ◽

Cited By ~ 2

Author(s):

J.-P. Thomesse ◽

Z. Mammeri ◽

L. Vega

Keyword(s):

Distributed Systems ◽

Communication Models

Download Full-text

A data highway for realtime distributed systems architecture and formalization

Proceedings of the 5th ACM SIGSMALL symposium on Small systems - SIGSMALL '82 ◽

10.1145/800069.802164 ◽

1982 ◽

Author(s):

A. Faro ◽

O. Mirabella

Keyword(s):

Distributed Systems ◽

Systems Architecture

Download Full-text

Protected Message Service as a Step towards Safe Distributed Systems Architecture

2018 Eleventh International Conference "Management of large-scale system development" (MLSD ◽

10.1109/mlsd.2018.8551793 ◽

2018 ◽

Author(s):

R.E. Asratian ◽

V.N. Lebedev

Keyword(s):

Distributed Systems ◽

Systems Architecture ◽

Message Service

Download Full-text