Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 31-Mar-2003, Hardback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781402073793)
This proceedings of the October 2002 symposium examines advanced issues related to networking and internetworking design, with a focus on the provision of services at the network layer and on the integration of technologies for the physical and data...Loe edasi...
This book presents leading-edge research in the field of high-speed networking, with particular emphasis on: Switching and routing OS and middleware QoS scheduling and modelling Virtual networks Wireless networking. Individual pape...Loe edasi...
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 31-Oct-1997, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412820601)
FORTE/PSTV 97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 31-Oct-1996, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412758508)
We arehappy to welcome you to the IFIP Protocols for High-Speed Networks 96 workshop hosted by INRIA Sophia Antipolis. This is the fifth event in a series initiated in Zurich in 1989 followed by Palo Alto (1990), Stockholm (1993), and Vancouver (199...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 30-Sep-1996, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412794902)
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 31-Jan-1996, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412732706)
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage....Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 31-Jan-1996, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412781100)
IWPTS95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Institut National des Telecommunications), Evry, France, from 4 to 6 September, 1995. IWPTS95 is the eighth of a series of annual meetings sponsored by the IF...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 30-Nov-1995, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412716201)
This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 30-Jun-1995, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412711602)
This is the proceedings of the 7th International Workshop on Protocol Test Systems. Its aim is to provide a meeting point between research and industry and between theory and practice of the testing of communication systems, including ATM (Asynchrono...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 31-Mar-1995, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412711800)
Welcome to the fourth IFIP workshop on protocols for high speed networks in Vancouver. This workshop follows three very successful workshops held in Ziirich (1989), Palo Alto (1990) and Stockholm (1993) respectively. We received a large number of pap...Loe edasi...
Sari: IFIP Advances in Information and Communication Technology
(Ilmumisaeg: 30-Nov-1994, Hardback, Kirjastus: Chapman and Hall, ISBN-13: 9780412636400)
This PSTV94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to Architectures and Protocols for Computer Networks. This is the oldest and most established symposium...Loe edasi...
