Session details: Session 4D: Distributed Protocols

Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security ◽

10.1145/3432975 ◽

2020 ◽

Author(s):

Vassilis Zikas

Keyword(s):

Distributed Protocols

Download Full-text

Object-oriented support for specification of distributed protocols

Proceedings of the Fifth International Workshop on Object-Orientation in Operation Systems ◽

10.1109/iwooos.1996.557903 ◽

2002 ◽

Author(s):

D.C. Sturman

Keyword(s):

Object Oriented ◽

Distributed Protocols

Download Full-text

Distributed protocols for access arbitration in tree-structured communication channels

IEEE Transactions on Communications ◽

10.1109/26.79284 ◽

1991 ◽

Vol 39 (3) ◽

pp. 416-425 ◽

Cited By ~ 3

Author(s):

R. Melen ◽

J.S. Turner

Keyword(s):

Communication Channels ◽

Distributed Protocols ◽

Structured Communication

Download Full-text

Distributed protocols for ad hoc wireless LANs: a learning-automata-based approach

Ad Hoc Networks ◽

10.1016/j.adhoc.2003.09.004 ◽

2004 ◽

Vol 2 (4) ◽

pp. 419-431 ◽

Cited By ~ 28

Author(s):

P. Nicopolitidis ◽

G.I. Papadimitriou ◽

A.S. Pomportsis

Keyword(s):

Ad Hoc ◽

Wireless Lans ◽

Learning Automata ◽

Distributed Protocols

Download Full-text

Distributed Protocols for Multi-Agent Coalition Formation: A Negotiation Perspective

Active Media Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35236-2_10 ◽

2012 ◽

pp. 93-102 ◽

Cited By ~ 4

Author(s):

Predrag T. Tošić ◽

Carlos Ordonez

Keyword(s):

Coalition Formation ◽

Distributed Protocols ◽

Multi Agent

Download Full-text

Distributed protocols against mobile eavesdroppers

Distributed Algorithms - Lecture Notes in Computer Science ◽

10.1007/bfb0022145 ◽

1995 ◽

pp. 160-167 ◽

Cited By ~ 1

Author(s):

P. Spirakis ◽

B. Tampakas ◽

H. Antonopoulou

Keyword(s):

Distributed Protocols

Download Full-text

Efficient Verification of Distributed Protocols Using Stateful Model Checking

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.22 ◽

2013 ◽

Cited By ~ 1

Author(s):

Habib Saissi ◽

Peter Bokor ◽

Can Arda Muftuoglu ◽

Neeraj Suri ◽

Marco Serafini

Keyword(s):

Model Checking ◽

Distributed Protocols ◽

Efficient Verification

Download Full-text

Dynamic module replacement in distributed protocols

23rd International Conference on Distributed Computing Systems, 2003. Proceedings. ◽

10.1109/icdcs.2003.1203513 ◽

2004 ◽

Cited By ~ 8

Author(s):

N. Sridhar ◽

S.M. Pike ◽

B.W. Weide

Keyword(s):

Distributed Protocols

Download Full-text

Flexible simulation of distributed protocols for mobile computing

Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems - MSWIM '00 ◽

10.1145/346855.346874 ◽

2000 ◽

Author(s):

Ricardo C. A. da Rocha ◽

Markus Endler

Keyword(s):

Mobile Computing ◽

Distributed Protocols

Download Full-text

Efficient alert messages dissemination in vanets using single-hop distributed protocols

6th Joint IFIP Wireless and Mobile Networking Conference (WMNC) ◽

10.1109/wmnc.2013.6549007 ◽

2013 ◽

Cited By ~ 2

Author(s):

Osama M. Hussain Rehman ◽

H. Bourdoucen ◽

M. Ould-Khaoua

Keyword(s):

Distributed Protocols

Download Full-text

Constraint-based structuring of distributed protocols

Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 ◽

10.1145/224964.225004 ◽

1995 ◽

Cited By ~ 1

Author(s):

Gurdip Singh

Keyword(s):

Distributed Protocols

Download Full-text