Product Description: This text covers the 6th International Conference on Computer Communications and Networks held in 1997. (view table of contents, read Amazon.com's description)

Product Description: 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 (1994)...read more

Product Description: Proceedings of a September 1995 conference. Contents include 56 long papers and 32 short papers each read by at least three reviewers before acceptance. Among the session topics: performance modeling, traffic management, Internet service, network security, multicasting, reliability, the global information infrastructure, interoperability, mobile c...read more

Product Description: The latest developments in computer networking are presented in this volume, including: distributed systems security; enabled mail; application object exchange format; mail gatewaying versus tunnelling. All aspects of distributed applications are discussed: methodology, including protocol development tools, models, interconnection and interoperation; communication services, including security and The Directory among other applications; requirements for specific new distributed applications, such as group communication...read more

Product Description: The primary objective of this volume is the exploration of important topics in the area of the "upper layers", that is, networking functions beyond information control. Contributions, made by leading experts from around the world, discuss aspects ranging from application layer development environments and presentation layer issues, through services including electronic mail and directories, to group communication, protocols and architectural considerations...read more

Product Description: Book by

Product Description: This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems. The emphasis is on services and protocols. Specific areas addressed include: Specification languages and models, Formal specification, Testing and certification, Implementation and Environments and automated tools...read more

Product Description: This book is the proceedings of a workshop which examined issues involved in the design and implementation of protocols for high-speed networks. The emphasis of the book is on protocol implementation, with a large number of papers addressing this important topic...read more

Product Description: The publication of this volume coincides with the twenty-fifth anniversary of the conception of computer communications. It is an opportunity to assess the present status of networking, to give a brief account of the past, and to look at future prospects...read more

Product Description: This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems...read more

Product Description: The purpose of this book is to discuss some of the issues involved in the design and implementation of protocols - particularly protocols above the medium access layer - that are able to exploit the full potential of local-area and optical-fiber networks...read more