This volume contains the papers presented at the 5th International Conference on Discovery Science (DS 2002) held at the M]ovenpick Hotel, Lub ] eck, G- many, November 24-26, 2002. The conference was supported by CorpoBase, DFKI GmbH, and JessenLenz. The conference was collocated with the 13th International Conference on - gorithmic Learning Theory (ALT 2002). Both conferences were held in parallel and shared ?ve invited talks as well as all social events. The combination of ALT 2002 and DS 2002 allowed for a comprehensive treatment of recent de- lopments in computational learning theory and...

AlegendsaysthatJackEdmondsshouted"Eureka-youshrink "whenhefound a good characterization for matching (and the matching algorithm) in 1963, the daybeforehistalkatasummerworkshopatRANDCorporationwithcelebrities like George Dantzig, Ralph Gomory, and Alan Ho?man in the audience. During Aussois 2001, Jack con?rmed: "'Eureka - you shrink ' is really true, except that instead of 'Eureka' it maybe was some less digni?ed word." Aussois 2001 was the ?fth in an annual series of workshops on combinatorial optimization that are alternately organized by Thomas Liebling, Denis Naddef,...

This book constitutes the refereed proceedings of the first International Theory of Cryptography Conference, TCC 2004, held in Cambridge, MA, USA in February 2004.The 28 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers constitute a unique account of original research results on theoretical and foundational topics in cryptography; they deal with the paradigms, approaches, and techniques used to conceptualize, define, and provide solutions to natural cryptographic problems.

This book constitutes the refereed proceedings of the Second International Conference on Pervasive Computing, PERVASIVE 2004, held in Vienna, Austria in April 2004. from a total of 278 submissions. The papers are organized in topical sections on activity recognition, context computing, near body interfaces, software, sensors, security, architectures and systems, algorithms, and new interfaces.

This book constitutes the refereed proceedings of the 7th International Conference on the Unified Modeling Language, UML 2004, held in Lisbon, Portugal, in October 2004.The 30 revised full papers presented together with summaries on the workshops and tutorials were carefully reviewed and selected from 135 technical paper submissions. The papers are organized in topical sections on metamodeling, aspects, profiles and extensions, OCL, model transformation, verification and model consistency, security, and methodology.

The refereed proceedings of the International Conference on Business Process Management, BPM 2003, held in Eindhoven, The Netherlands, in June 2003.

The 25 revised full papers presented together with an introductory survey article were carefully reviewed and selected from 77 submissions. Among the issues addressed are Web services, workflow modeling, business process modeling, collaborative computing, computer-supported collaborative work, workflow patterns, business process engineering, business process patterns, workflow systems, Petri nets, process services, business process...

nd The 2 International Conference on Web-Based Learning (ICWL 2003) took place in Melbourne, Australia. ICWL 2003 followed the tradition of the successful ICWL 2002 held in Hong Kong and aimed at providing an in-depth study of the technical and pedago- cal issues, as well as incorporating management issues of Web-based learning. Additionally, there was a focus on issues of interest to the learner, o?ering the optimal Web based learning environment to achieve high academic results. - akin University organized this conference in conjunction with the Hong Kong WebSociety,...

These are the refereed proceedings of the Second International Workshop on Grid Computing, GRID 2001, held in Denver USA, in November 2001. The 16 revised full papers presented were reviewed and selected for inclusion in the book. The papers are organized in topical sections on object middleware, resource discovery and management, scheduling, grid architecture and policies, and performance and practice.

Biometric authentication refers to identifying an individual based on his or her distinguishing physiological and/or behavioral characteristics. It associates an individual with a previously determined identity based on that individual s appearance or behavior. Because many physiological or behavioral characteristics (biometric indicators) are distinctive to each person, biometric identifiers are inherently more reliable and more capable than knowledge-based (e.g., password) and token-based (e.g., a key) techniques in differentiating between an authorized person and a fraudulent impostor. For...

Crypto 2002, the 22nd Annual Crypto Conference, was sponsored by IACR, the International Association for Cryptologic Research, in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa Barbara. It is published as Vol. 2442 of the Lecture Notes in Computer Science (LNCS) of Springer Verlag. Note that 2002, 22 and 2442 are all palindromes... (Don't nod ) Theconferencereceived175submissions, ofwhich40wereaccepted;twos- missionsweremergedintoasinglepaper, yieldingthetotalof39papersaccepted...