IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Author Search^beta | Advanced Search | Preferences | | More Search Options

Browse Conference Publications > Network Protocols, 1994. Proce ...

Network Protocols, 1994. Proceedings., 1994 International Conference on

| Create Account

IEEE Account

Change Username/Password
Update Address

Purchase Details

Payment Options
Order History
Access Purchased Documents

Profile Information

Communications Preferences
Profession and Education
Technical Interests

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options

Network Protocols, 1994. Proceedings., 1994 International Conference on

Date 25-28 Oct. 1994

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

Title History

Proceedings of ICNP - 1994 International Conference on Network Protocols

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

Dynamics of token ring protocols

Automated generation of protocol test sequences from formal specifications

Fault-tolerant convergence routing

Specification and validation of communications in client/server models

Symbolic simulation: theory and application to protocol modeling and validation

Multicast transport protocols for high speed networks

The Totem protocol development environment

Formalizations and algorithms for optimized parallel protocol implementation

Selective total-ordering group communication on single high-speed channel

Automated synthesis of protocol specifications with message collisions and verification of timeliness

Throughput efficiency of a link management procedure for LEO satellite systems

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

Design, verification and implementation of an authentication protocol

On the construction of multiphase communication protocols

Distributed synchronization protocols for multimedia services on Internet

Single-link and time communicating finite state machines

Stepwise telecommunication software generation from service specifications in state transition model

DUALCAST: a scheme for reliable multicasting

An iterative approach to comprehensive performance evaluation of integrated services networks

A design method for communications software evolution

Test path selection based on effective domains

Automatic retransmission rather than automatic repeat request

Elements of trusted multicasting

IEEE Account

Purchase Details

Profile Information

Need Help?