ASN.1 Complete teaches you everything you need to know about ASN.1-whether you're specifying a new protocol or implementing an existing one in a software or hardware development project. Inside, the author begins with an overview of ASN.1's most commonly encountered features, detailing and illustrating standard techniques for using them. He then goes on to apply the same practice-oriented approach to all of the notation's other features, providing you with an easy-to-navigate, truly comprehensive tutorial. The book also includes thorough documentation of both the Basic and the Packed Encoding Rules-indispensable coverage for anyone doing hand-encoding, and a valuable resource for anyone wanting a deeper understanding of how ASN.1 and ASN.1 tools work. The concluding section takes up the history of ASN.1, in terms of both the evolution of the notation itself and the role it has played in hundreds of protocols and thousands of applications developed since its inception. Features Covers all the features-common and not so common-available to you when writing a protocol specification using ASN.1. Teaches you to read, understand, and implement a specification written using ASN.1. Explains how ASN.1 tools work and how to use them. Contains hundreds of detailed examples, all verified using OSS's ASN.1 Tools package. Considers ASN.1 in relation to other protocol specification standards.

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.

A special mention for 2004 is in order for the new Doctoral Symposium Workshop where three young postdoc researchers organized an original setup and formula to bring PhD students together and allow them to submit their research proposals for selection. A limited number of the submissions and their approaches were independently evaluated by a panel of senior experts at the conference, and presented by the students in front of a wider audience. These students also got free access to all other parts of the OTM program, and only paid a heavily discounted fee for the Doctoral Symposium itself. (In fact their attendance was largely sponsored by the other participants!) If evaluated as successful, it is the intention of the General Chairs to expand this model in future editions of the OTM conferences and so draw in an audience of young researchers to the OnTheMove forum. All three main conferences and the associated workshops share the d- tributed aspects of modern computing systems, and the resulting applicati- pull created by the Internet and the so-called Semantic Web. For DOA 2004, the primary emphasis stayed on the distributed object infrastructure; for ODBASE 2004, it was the knowledge bases and methods required for enabling the use of formalsemantics;andforCoopIS2004themaintopicwastheinteractionofsuch technologies and methods with management issues, such as occurs in networked organizations. These subject areas naturally overlap and many submissions in factalsotreatenvisagedmutualimpactsamongthem.

Welcome to IM'97! We hope you had the opportunity to attend the Conference in beautiful San Diego. If that was the case, you will want to get back to these proceedings for further read ings and reflections. You'll find e-mail addresses of the main author of each paper, and you are surely encouraged to get in touch for further discussions. You can also take advantage of the CNOM (Committee on Network Operation and Management) web site where a virtual discus sion agora has been set up for IM'97 (URL: http://www.cselt.stet.it/CNOMWWWIIM97.html). At this site you will find a brief summary of discussions that took place in the various panels, and slides that accompanied some of the presentations--all courtesy of the participants. If you have not been to the Conference, leafing through these proceedings may give you food for thought. Hopefully, you will also be joining the virtual world on the web for discussions with authors and others who were at the Conference. At IM'97 the two worlds of computer networks and telecommunications systems came to gether, each proposing a view to management that stems from their own paradigms. Each world made clear the need for end-to-end management and, therefore, each one stepped into the oth er's field. We feel that there is no winner but a mutual enrichment. The time is ripe for integra tion and it is likely that the next Conference will bear its fruit.

Now in its Third Edition, the Communications Standard Dictionary maintains its position as the most comprehensive dictionary covering communications technologies available. A one-of-a-kind reference, this dictionary remains unmatched in the breadth and scope of its coverage nd its pprimary reference for communications, computer, data processing, and control systems professionals.

"The only continuing source that helps users analyze, plan, design, evaluate, and manage integrated telecommunications networks, systems, and services, The Froehlich/Kent Encyclopedia of Telecommunications presents both basic and technologically advanced knowledge in the field. An ideal reference source for both newcomers as well as seasoned specialists, the Encyclopedia covers seven key areas--Terminals and Interfaces; Transmission; Switching, Routing, and Flow Control; Networks and Network Control; Communications Software and Protocols; Network and system Management; and Components and Processes."

viii • The second new chapter, Chapter 6, discusses video compression. The chapter opens with a general description of CRT operation and basic analog and digital video concepts. It continues with a general discussion of video compression, and it concludes with a description of MPEG-1 and H.261. • Audio compression is the topic of the third new chapter, Chapter 7. The first topic in this chapter is the properties of the human audible system and how they can be exploited to achieve lossy audio compression. A discussion of a few simple audio compression methods follows, and the chapter concludes with a description of the three audio layers of MPEG-1, including the very popular mp3 format. Other new material consists of the following: • Conditional image RLE (Section 1.4.2). • Scalar quantization (Section 1.6). • The QM coder used in JPEG, JPEG 2000, and JBIG is now included in Sec tion 2.16. • Context-tree weighting is discussed in Section 2.19. Its extension to lossless image compression is the topic of Section 4.24. • Section 3.4 discusses a sliding buffer method called repetition times. • The troublesome issue of patents is now also included (Section 3.25). • The relatively unknown Gray codes are discussed in Section 4.2.1, in connection with image compression. • Section 4.3 discusses intuitive methods for image compression, such as subs- pling and vector quantization.