Search Sciweavers | Sciweavers

5374 search results - page 47 / 1075

» The induction of communication protocols

137

click to vote

IPPS
1998
IEEE

102views Distributed And Parallel Com...» more IPPS 1998»

Automated Verification of Communication Protocols Using CCS and BDDs

15 years 10 months ago

Download ipdps.cc.gatech.edu

Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...

claim paper

Read More »

122

click to vote

ICNP
1997
IEEE

97views Computer Networks» more ICNP 1997»

Application-Layer Group Communication Server for Extending Reliable Multicast Protocols Services

15 years 10 months ago

Download www.ieee-icnp.org

Ehab S. Al-Shaer, Hussein M. Abdel-Wahab, Kurt Mal...

claim paper

Read More »

119

click to vote

ICNP
1996
IEEE

95views Computer Networks» more ICNP 1996»

Group communication protocol for flexible distributed systems

15 years 10 months ago

Download www.ieee-icnp.org

Hiroaki Higaki, Makoto Takizawa

claim paper

Read More »

128

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Optimization problems from feature testing of communication protocols

15 years 10 months ago

Download www.ieee-icnp.org

David Lee, Mihalis Yannakakis

claim paper

Read More »

153

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers