Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $11.99/month after trial. Cancel anytime.

    Performance of Distributed Systems and Integrated Communication Networks: Proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 10-12 September, 1991
    Protocol Specification, Testing and Verification, XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992
    Formal Description Techniques, IV: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
    Ebook series4 titles

    IFIP Transactions C: Communication Systems Series

    By G.A. Rose and Y. Takahashi

    ()

    About this series

    The importance of Broadband Communications in shaping the future telecommunication network has achieved world-wide recognition. This volume validates the huge significance of the field and explores key items concerning research, development and applications. The ideas and experiences presented will be of great interest to operators and users, for research and development, from both a technical and a commercial perspective.
    LanguageEnglish
    PublisherElsevier Science
    Release dateOct 22, 2013
    Performance of Distributed Systems and Integrated Communication Networks: Proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 10-12 September, 1991
    Protocol Specification, Testing and Verification, XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992
    Formal Description Techniques, IV: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991

    Titles in the series (4)

    • 2

      Formal Description Techniques, IV: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
      Formal Description Techniques, IV: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991

      Formal Description Techniques, IV: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991

      K.R. Parker
      0 ratings
      0 ratings

      Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formality is mandatory for mathematical verification, a procedure being imposed on safety-critical system development. Standard documents are also becoming increasingly formalised in order to capture notions precisely and unambiguously. This FORTE '91 proceedings volume has focussed on the standardised languages SDL, Estelle and LOTOS while, as with earlier conferences, remaining open to other notations and techniques, thus encouraging the continuous evolution of formal techniques. This useful volume contains 29 submitted papers, three invited papers, four industry reports, and four tool reports organised to correspond with the conference sessions.

      Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formality is mandatory for mathematical verification, a procedure being imposed on safety-critical system development. Standard documents are also becoming increasingly formalised in order to capture notions precisely and unambiguously. This FORTE '91 proceedings volume has focussed on the standardised languages SDL, Estelle and LOTOS while, as with earlier conferences, remaining open to other notations and techniques, thus encouraging the continuous evolution of formal techniques. This useful volume contains 29 submitted papers, three invited papers, four industry reports, and four tool reports organised to correspond with the conference sessions.

    • 5

      Performance of Distributed Systems and Integrated Communication Networks: Proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 10-12 September, 1991
      Performance of Distributed Systems and Integrated Communication Networks: Proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 10-12 September, 1991

      Performance of Distributed Systems and Integrated Communication Networks: Proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 10-12 September, 1991

      T. Hasegawa
      0 ratings
      0 ratings

      This book explores new analytical techniques and tools for the performance evaluation of distributed and integrated computer communication systems. The systems considered are those arising in LAN, MAN, WAN broadband ISDN, and ATM switching. These systems are mathematically modelled and analysed. Analytical results are presented on the basic queueing models such as multi-queue, priority queue, queueing network, queue with bursty input and superposed input, and multi-server queue. These results can be usefully applied for the performance evaluation of all the above systems.

      This book explores new analytical techniques and tools for the performance evaluation of distributed and integrated computer communication systems. The systems considered are those arising in LAN, MAN, WAN broadband ISDN, and ATM switching. These systems are mathematically modelled and analysed. Analytical results are presented on the basic queueing models such as multi-queue, priority queue, queueing network, queue with bursty input and superposed input, and multi-server queue. These results can be usefully applied for the performance evaluation of all the above systems.

    • 8

      Protocol Specification, Testing and Verification, XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992
      Protocol Specification, Testing and Verification, XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992

      Protocol Specification, Testing and Verification, XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992

      R.J. Linn
      0 ratings
      0 ratings

      For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations. Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models. Consideration is also given to the concerns surrounding education available to students and the need to upgrade and develop this through sponsorship of a study of an appropriate curriculum at both undergraduate and graduate levels. It is hoped this publication will stimulate such support and inspire further research in this important arena.

      For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations. Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models. Consideration is also given to the concerns surrounding education available to students and the need to upgrade and develop this through sponsorship of a study of an appropriate curriculum at both undergraduate and graduate levels. It is hoped this publication will stimulate such support and inspire further research in this important arena.

    • 18

      Integrated Broadband Communication Networks and Services: Proceedings of the IFIP TC6/ICCC International Conference on Integrated Broadband Communication Networks and Services, Copenhagen, Denmark, 20-23 April, 1993
      Integrated Broadband Communication Networks and Services: Proceedings of the IFIP TC6/ICCC International Conference on Integrated Broadband Communication Networks and Services, Copenhagen, Denmark, 20-23 April, 1993

      Integrated Broadband Communication Networks and Services: Proceedings of the IFIP TC6/ICCC International Conference on Integrated Broadband Communication Networks and Services, Copenhagen, Denmark, 20-23 April, 1993

      V.B. Iversen
      0 ratings
      0 ratings

      The importance of Broadband Communications in shaping the future telecommunication network has achieved world-wide recognition. This volume validates the huge significance of the field and explores key items concerning research, development and applications. The ideas and experiences presented will be of great interest to operators and users, for research and development, from both a technical and a commercial perspective.

      The importance of Broadband Communications in shaping the future telecommunication network has achieved world-wide recognition. This volume validates the huge significance of the field and explores key items concerning research, development and applications. The ideas and experiences presented will be of great interest to operators and users, for research and development, from both a technical and a commercial perspective.

    Related to IFIP Transactions C

    Related ebooks

    Intelligence (AI) & Semantics For You

    View More
    View More

    Related podcast episodes

    Related categories

    Reviews for IFIP Transactions C

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words