This book constitutes the refereed proceedings of the 5th International Passive and Active Measurement Workshop, PAM 2004, held in Antibes Juan-les-Pins, France in April 2004.The 29 revised full papers presented were carefully reviewed and selected from 184 submissions. The papers are organized in topical sections on P2P and overlay, network optimization, traffic analysis, protocol and system measurement, tools, miscellaneous, network measurement, and BGP and routing.

The 2004 Information Security Conference was the seventh in a series that started with the Information Security Workshop in 1997. A distinct feature of this series is the wide coverage of topics with the aim of encouraging interaction between researchers in di?erent aspects of information security. This trend c- tinuedintheprogramofthisyear sconference.Theprogramcommitteereceived 106 submissions, from which 36 were selected for presentation. Each submission was reviewed by at least three experts in the relevant research area. We would...

This volume of the Lecture Notes in Computer Science series contains the set of papers accepted for presentation at the 5th International Workshop on Quality of future Internet Services (QofIS 2004) and at the two one-day workshops - locatedwithQofIS2004, namelythe1stInternationalWorkshoponQoSRouting (WQoSR 2004) and the 4th International Workshop on Internet Charging and QoS Technology (ICQT 2004). QofIS 2004, the ?fth international event, was organized under the umbrella of the E-NEXT Network of Excellence on Emerging Networking Experiments and Technologies, which started its activities in...

Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport, theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to...

The refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002.

The 28 revised full papers presented together with an invited paper and 4 short papers were carefully selected during two rounds of reviewing and revision. The topics addressed range from theoretical and methodological issues to automata applications in software engineering, natural language processing, speech recognition, and image processing, to new representations and algorithms for efficient implementation of automata...

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2001, held in Cambridge, MA, USA, in June 2001.
The 11 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision, and present state-of-the-art results in the area.

The mathematical theory and practice of cryptography and coding underpins the provision of effective security and reliability for data communication, processing, and storage. Theoretical and implementational advances in the fields of cryptography and coding are therefore a key factor in facilitating the growth of data communications and data networks of various types. Thus, this Eight International Conference in an established and successful IMA series on the theme of Cryptography and Coding was both timely and relevant. The theme of this conference was the future of coding and cryptography,...

This text constitutes the refereed proceedings of the Third International Conference on Intelligent Text Processing and Computational Linguistics, CICLing 2002, held in Mexico City, Mexico in February 2002. The 44 revised papers presented together with four invited papers were carefully reviewed and selected from a total of 67 submissions. The papers are organized in topical sections on semantics, word sense disambiguation, amaphora, syntax and parsing, part of speech tagging, lexicon and corpus, text generation, morphology, speech, spelling, information extraction and information retrieval,...

This volume contains the papers presented at the Second International S- posium on Foundations of Information and Knowledge Systems (FoIKS 2002), which was held in Schloss Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying...

TheAlgorithmicNumberTheorySymposiabeganin1994atCornellUniversity inIthaca, NewYorktorecognizethegrowingimportanceofalgorithmicwork in the theory of numbers. The subject of the conference is broadly construed toencompassadiversebodyofmathematics, andtocoverboththetheoretical andpracticaladvancesinthe?eld. Theyhavebeenheldeverytwoyearssince: inBordeaux(UniversiteBordeauxI)in1996, Portland(ReedCollege)in1998, Leiden(UniversiteitLeiden)in2000, andthepresentconferencehostedbythe MagmaComputationalAlgebraGroupattheUniversityofSydney. TheconferenceprogramincludedinvitedtalksbyManjulBhargava(Prin-...