Proceedings of ICNP - 1994 International Conference on Network Protocols
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818666854

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A simulation study of the impact of mobility on TCP/IP

Proceedings of ICNP - 1994 International Conference on Network Protocols ◽

10.1109/icnp.1994.344360 ◽

2002 ◽

Cited By ~ 3

Author(s):

P. Manzoni ◽

D. Ghosal ◽

G. Serazzi

Keyword(s):

Simulation Study ◽

The Impact

Download Full-text

Fault-tolerant convergence routing

Proceedings of ICNP - 1994 International Conference on Network Protocols ◽

10.1109/icnp.1994.344356 ◽

2002 ◽

Cited By ~ 1

Author(s):

B. Yener ◽

I. Bhandari ◽

Y. Ofek ◽

Moti Yung

Keyword(s):

Fault Tolerant

Download Full-text

The Totem protocol development environment

Proceedings of ICNP - 1994 International Conference on Network Protocols ◽

10.1109/icnp.1994.344363 ◽

2002 ◽

Cited By ~ 2

Author(s):

P. Ciarfella ◽

L.E. Moser ◽

P.M. Melliar-Smith ◽

D.A. Agarwal

Keyword(s):

Development Environment ◽

Protocol Development

Download Full-text

Formalizations and algorithms for optimized parallel protocol implementation

Proceedings of ICNP - 1994 International Conference on Network Protocols ◽

10.1109/icnp.1994.344362 ◽

2002 ◽

Cited By ~ 1

Author(s):

S. Leue ◽

P. Oechslin

Keyword(s):

Protocol Implementation

Download Full-text

Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems

Proceedings of ICNP - 1994 International Conference on Network Protocols ◽

10.1109/icnp.1994.344371 ◽

2002 ◽

Author(s):

Hong Liu ◽

R.E. Miller

Keyword(s):

Reachability Analysis

Download Full-text

Multi-rate traffic shaping and end-to-end performance guarantees in ATM networks

Proceedings of ICNP - 1994 International Conference on Network Protocols ◽

10.1109/icnp.1994.344361 ◽

2002 ◽

Cited By ~ 7

Author(s):

D. Saha ◽

S. Mukherjee ◽

S.K. Tripathi

Keyword(s):

Atm Networks ◽

Traffic Shaping ◽

Performance Guarantees ◽

End To End

Download Full-text

On the construction of multiphase communication protocols

Proceedings of ICNP - 1994 International Conference on Network Protocols ◽

10.1109/icnp.1994.344365 ◽

2002 ◽

Cited By ~ 10

Author(s):

G. Singh ◽

M. Sammeta

Keyword(s):

Communication Protocols

Download Full-text

Stepwise telecommunication software generation from service specifications in state transition model

Proceedings of ICNP - 1994 International Conference on Network Protocols ◽

10.1109/icnp.1994.344367 ◽

2002 ◽

Author(s):

A. Takura ◽

T. Ohta

Keyword(s):

State Transition ◽

Transition Model ◽

State Transition Model

Download Full-text

Single-link and time communicating finite state machines

Proceedings of ICNP - 1994 International Conference on Network Protocols ◽

10.1109/icnp.1994.344368 ◽

2002 ◽

Cited By ~ 2

Author(s):

Wuxu Peng

Keyword(s):

Finite State Machines ◽

State Machines ◽

Single Link ◽

Finite State

Download Full-text

A design method for communications software evolution

Proceedings of ICNP - 1994 International Conference on Network Protocols ◽

10.1109/icnp.1994.344364 ◽

2002 ◽

Author(s):

H. Okuyama ◽

K. Moriyasu ◽

Y. Hirakawa

Keyword(s):

Software Evolution ◽

Design Method

Download Full-text

Proceedings of ICNP - 1994 International Conference on Network ProtocolsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

A simulation study of the impact of mobility on TCP/IP

Fault-tolerant convergence routing

The Totem protocol development environment

Formalizations and algorithms for optimized parallel protocol implementation

Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems

Multi-rate traffic shaping and end-to-end performance guarantees in ATM networks

On the construction of multiphase communication protocols

Stepwise telecommunication software generation from service specifications in state transition model

Single-link and time communicating finite state machines

A design method for communications software evolution

Proceedings of ICNP - 1994 International Conference on Network Protocols
Latest Publications