Digital Rights Management (DRM) is a topic of interest to a wide range of people from various backgrounds: engineers and technicians, legal academics and lawyers, economists and business practitioners. The two conferences on the issue held in 2000 and 2002 in Berlin, Germany, brought these people together for fruitful discussions. This book continues this process by providing insights into the three main areas that DRM in?uences and that DRM is in?uenced by: technology, economics, and law and politics. Looking at the ?rst results of the two conferences we would like to emphasize three...

This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 1997.
The 25 revised full papers presented were carefully selected for inclusion by the program committee. All current issues explored in the Ada community are addressed; beyond the Ada language aspects, software engineering technologies for reliable and for reactive systems are discussed in a more general context.

These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; process algebras; logical frameworks; and higher-order logics.

This book constitutes the refereed proceedings of the 7th International Conference on Computer Analysis of Images and Patterns, CAIP '97, held in Kiel, Germany, in September 1997.
The volume presents 92 revised papers selected during a double-blind reviewing process from a total of 150 high-quality submissions. The papers are organized in topical sections on pattern analysis, object recognition and tracking, invariants, applications, shape, texture analysis, motion calibration, low-level processing, structure from motion, stereo and correspondence, segmentation and grouping, mathematical...

This book constitutes a coherent anthology consisting of invited chapter-length papers on intelligent hypertext techniques with special emphasis on how to apply these techniques to the World Wide Web.The book provides an introductory preface by the volume editors and chapters on information comprehension through hypertext, efficient techniques for adaptive hypermedia, annotaded 3D environments on the Web, user models for customized hypertext, conceptual analysis of hypertext, two-level models of hypertext, the TELLTALE dynamic hypertext environment, hypertext for collaborative authoring,...

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Languages and Compilers for Parallel Computing, LCPC'97, held in Minneapolis, Minnesota, USA in August 1997
The book presents 28 revised full papers together with four posters; all papers were carefully selected for presentation at the workshop and went through a thorough reviewing and revision phase afterwards. The papers are organized in topical sections on data locality, program analysis, automatic parallelization, HPF extensions and compilers, synchronization and communication,...

This book constitutes the refereed proceedings of the 6th Scandinavian Workshop on Algorithm Theory, SWAT'98, held in Stockholm, Sweden, in July 1998.
The volume presents 28 revised full papers selected from 56 submissions; also included are three invited contributions. The papers present original research on algorithms and data structures in various areas including computational geometry, parallel and distributed systems, graph theory, approximation, computational biology, queueing, Voronoi diagrams, and combinatorics in general.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Job Scheduling Strategies for Parallel Processing held during IPPS/SPDP'98, in Orlando, Florida, USA, in March 1998. The 13 revised full papers presented have gone through an iterated reviewing process and give a report on the state of the art in the area.

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Security Protocols held in Cambridge, UK in April 1998.
The 15 revised papers presented as position statements are followed by transcripts of the discussions between the authors and the audience. Also included is a report on the final panel discussion on future directions in security protocols research and developments. Thus the volume reflects the lively interaction at the workshop. The papers are devoted to the interrelations between trust and delegation, exploring the...

This text constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in April 1999. The 25 revised full papers presented were reviewed and selected from a total of 50 submissions. Also included are two invited demonstrations. The volume reports research results on various aspects of typed lambda calculi. Among the topics addressed are noncommutative logics, type theory, algebraic data types, logical calculi, abstract data types, and subtyping.