* Will appeal to the same (large) audience as Joel on Software * Contains exclusive commentary by Joel * Lots of free publicity both because of Joel's influence in the community and the influence of the contributors

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.

The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.

"Complete Guide to OneNote" is aimed at making users more productive by helping them organize what are today ephemeral and disconnected scraps of personal information gathered prior to the creation of a formal work product.

This comprehensive reference explains this new category of software and its user paradigm, including detailed discussion of features, and interoperability with other programs and services from Microsoft and from third parties. The book also provides general and domain-specific guidance on how you can use OneNote to increase personal and enterprise productivity and information about customizing OneNote, including information for Office XP developers.

Throughout the book, author and Microsoft MVP W. Frederick Zimmerman draws on his extensive experience with Microsoft emerging technologies and his deep understanding of how professionals use software in their workflow. The result is a practical book that appeals to casual OneNote users and beginners, yet is an essential guide for power users, Office developers, and anyone who wants to take full advantage of this innovative new application.

This volume constitutes the proceedings of the 9th International Workshop on Groupware (CRIWG 2003). The conference was held in the city of Autrans, on the spectacular Vercors plateau in the foothills of the French Alps. The or- nizing committee could not have thought of a better setting to inspire lively discussions and re?ection on open issues facing the ?eld of groupware. The CRIWG workshops have been motivated by advances in Computer- Supported Cooperative Work, and by the need for CSCW to meet the challenges of new application areas. With this ninth meeting, CRIWG aimed to provide a forum for academic researchers and professionals to exchange their experiences and ideas about problems and solutions related to the design, development, and use of groupware applications. The selection of papers followed a strict refereeing process by a renowned international committee. We received 84 contributions with ?rst authors from 21 di?erent countries, from which 30 papers were selected to be presented and published in this proceedings volume. The papers in these proceedings include 18longpaperspresentingmatureworkand12shortpapersdescribingpromising work in progress in the ?eld. We thank all members of the Program Committee for their valuable reviews of the papers. In addition, we were pleased to have as invited speaker Prof. Saul Greenberg from the University of Calgary in Canada, a renowned specialist in Groupware and HCI. An extended abstract of his lecture is included in these proceedings.

Welcome to the 2nd International Conference on Image and Video Retrieval, CIVR2003. The goal of CIVR is to illuminate the state of the art in visual information retrieval and to stimulate collaboration between researchers and practitioners. This year we received 110 submissions from 26 countries. Based upon the reviews of at least 3 members of the program committee, 43 papers were accepted for the research track of the conference. First, we would like to thank all of the members of the Program Committee and the additional referees listed below. Their reviews of the submissions played a pivotal role in the quality of the conference. Moreover, we are grateful to Nicu Sebe and Xiang Zhou for helping to organize the review process; Shih-Fu Chang and Alberto del Bimbo for setting up the practitioner track; and Erwin Bakker for editing the proceedings and designing the conference poster. Special thanks go to our keynote and plenary speakers, Nevenka Dimitrova fromPhilipsResearch, RameshJainfromGeorgiaTech, ChrisPorterfromGetty Images, andAlanSmeatonfromDublinCityUniversity.Furthermore, wewishto acknowledge our sponsors, the Beckman Institute at the University of Illinois at Urbana-Champaign, TsingHuaUniversity, theInstitutionofElectricalEngineers (IEE), PhilipsResearch, andtheLeidenInstituteofAdvancedComputerScience at Leiden University. Finally, we would like to express our thanks to severalpeople who performed important work related to the organization of the conference: Jennifer Quirk and Catherine Zech for the localorganizationat the BeckmanInstitute; Richard Harvey for his help with promotional activity and sponsorship for CIVR2003; andtotheorganizingcommitteeofthe?rstCIVRforsettinguptheinternational mission and structure of the co

Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4 6, 2003. This volume is the collection of the papers that were presented at ISSS 2003. The proceedings of ISSS 2002 was published as LNCS 2609. Although the security and reliability of software systems for networked c- puter systems are major concerns of current society, the technology for software securitystillneedstobedevelopedinmanydirections.SimilartoISSS2002, ISSS 2003 aimed to provide a forum for research discussions and exchanges among world-leading scientists in the ?elds of both theoretical and systems aspects of security in software construction. The program of ISSS 2003 was a combination of invited talks and selected research contributions. It included the most recent visions and researches of the 9invitedspeakers, aswellas11contributionsofresearchesfundedbytheMEXT grant-in-aid for scienti?c research on the priority area Implementation Scheme for Secure Computing (AnZenKaken). We collected the original contributions after their presentation at the symposium and began a review procedure that resulted in the selection of the papers in this volume. They appear here in ?nal form. ISSS 2003 required a lot of work that was heavily dependent on members of the program committee, and sta's and graduate students who participated in AnZenKaken. We sincerely thank them for their e?orts and time."

This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Model Checking of Software, SPIN 2003, held in portland, OR, USA in May 2003 as  an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book  presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

This volume constitutes the proceedings of the 10th International Workshop on Groupware (CRIWG 2004). The conference was held in San Carlos, Costa Rica, and followed the traditional CRIWG spirit: a relatively small number of attendees, lively discussions and participation during and between paper p- sentations, and a constructive and friendly environment, which promoted a high level of learning and collaboration. The previous nine CRIWG workshops were organized in Lisbon, Portugal (1995), Puerto Varas, Chile (1996), El Escorial, Spain (1997), Buzios, Brazil (1998), Cancun, Mexico (1999), Madeira, Portugal(2000), Darmstadt, Germany (2001), La Serena, Chile (2002), and Autrans, France (2003). This 10th anniversary CRIWG exempli?ed the continuing interest in the groupwareresearcharea.Groupwareresearchersfrom 14 di?erent countriess- mitted a total of 71 papers. Each of the 71 papers was reviewed by two to three members of an international Program Committee, using a double-blind revi- ing process. Reviewers were carefully matched to paper submissions as much as possible to ensure expert assessments of the submitted research while avo- ing potential con?icts of interest. Reviews were usually extensive and contained many constructive suggestions for improvement. Based on the reviewers' rec- mendations 29 papers were ?nally accepted: 16 long papers presenting mature work, and13shortpapersdescribingworkinprogress.Theacceptedpaperswere grouped into seven themes that represent current pockets of interest in gro- wareresearch: knowledgemanagement, awareness, supportforcollaborationp- cesses, collaborativeapplications, groupwareinfrastructure, computer-supported collaborative learning, and mobile collaborati

The 18 revised full papers presented in this book together with an introductory survey were carefully reviewed and constitute the documentation of the Second International Workshop on Self-adaptive Software, IWSAS 2001, held in Balatonfüred, Hungary in May 2001. Self-adaptive software evaluates its own behavior and changes it when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well known dynamic features familiar to Lisp or Java programmes and aims at improving the robustness of software systems by gradually adding new features of self-adaption or autonomy.

Over the past two decades, the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have been providing an - nual forum in India for the presentation and publication of results in computer science from around the world. This volume contains the proceedings of the 23rd FSTTCS, organized under the aegis of the Indian Association for Research in Computing Science (IARCS). FSTTCS 2003 attracted over 160 submissions from 29 countries. After obt- ning521refereereportswithinaperiodofonemonth, theprogrammecommittee accepted33contributedpapers, themaximumthatcould?tintoatwo-and-ha- day programme. Unfortunately, many good papers had to be turned away. We thankalltheauthorsforsubmittingtheirpaperstoFSTTCS2003.Wethankthe reviewers for the tremendous support they provided to the conference through theirinformedandthoroughreviewsofthepapers.Wesincerelythankthem- bers of the programme committee for lending their names to the conference and for meeting the challenge arising out of the increased number of submissions this year. We are especially grateful to Kamal Lodaya who came down to Mumbai to assist us during the PC meeting. FSTTCS programmes have always featured highly eminent computer sci- tists as invited speakers. It is our great pleasure to thank the invited speakers of FSTTCS 2003, Randal Bryant, Moni Naor, Joseph Sifakis, Osamu Wat- abe and Avi Wigderson, who graciously agreed to speak at the conference and contribute to this volume. For several years now, topical workshops have been organized together with FSTTCS conferences. This year, the conference was preceded by a workshop on Advances in Model Checking, and was followed by a workshop on Algorithms for ProcessingMassiveDataSets.Wethanktheorganizersandspeakersforagreeing to come and share their expertis

In cognitive science, mental representations of spatial knowledge are metaphorically referred to as cognitive maps. However, investigations in cognitive psychology reveal that the cognitive map metaphor is inadequate and that more suitable conceptions of human spatial knowledge processing are needed.This book addresses mental processing of knowledge about geographic space from an AI point of view by presenting an experimental computational modeling approach. Results about human memory and visual mental imagery from cognitive psychology are combined with AI techniques of spatial and diagrammatic knowledge processing. The author develops the diagrammatic reasoning architecture MIRAGE as a comprehensive conception of human geographic knowledge processing.

Alle etablierten Methoden der Datenmodellierung: - Semantische Datenmodellierung ERM (Entity-Relationship-Modellierung) - Prazisierung als SERM (Strukturierte ERM) - Konkretisierung in den Datenbanken der SAP-Unternehmensmodelle als SAP SERM bis zur relationalen Datenmodellierung - Objektorientierte Datenmodellierung Das Buch geht erstmals auch auf die Datenmodellierung fur Geschaftsprozesse ein (prozessorientierte Datenmodellierung). Diese von der Praxis benoetigte und genutzte Modellierungstechnik wurde bisher von der Datenbanktheorie weitgehend ignoriert.

This book looks at the social aspects of how virtual and geographically dispersed groups work together using information and communication tools (groupware). It introduces the basic concepts and brings together ideas from various disciplines to provide an integrated approach to the evaluation and design of groupware technology. Key topics include: =B7 Why some collaboration technologies succeed and others fail =B7 The conditions needed for successful distributed collaboration =B7 How to take a systematic, user-oriented, design-related approach to the evaluation of computer supported collaboration Primarily intended for undergraduate and postgraduate students studying Information and Communication Technology, Human-Computer Interaction, Communication Sciences, Human Factors, Interface Design and Multimedia Systems, this book will also be of interest to researchers, practitioners and lecturers in social and organisational sciences.

As with other parts of business, technology is having a profound effect on the world of work and management of human resources. Technology is a key enabler for faster, cheaper and better delivery of HR services and in some cases can have a transformational as well as unintended negative effect. Designed for the digital era, e-HRM is one of the first textbooks on these developments. It incorporates the most current and important HR technology related topics in four distinct parts under one umbrella, written by leading scholars and practitioners drawn from across the world. All the chapters have a uniform structure and pay equal attention to theory and practice with an applied focus. Learning resources of the book include chapter-wide learning objectives, case studies, debates on related burning issues, and the companion website includes lecture slides and a question bank.

This book constitutes the refereed proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France in October 2002.The book presents 13 invited papers by leading researchers and 17 revised full papers selected during a competitive round of reviewing. The book spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and programming methodologies, scheduling and execution-time analysis, formal methods, and communication protocols and fault-tolerance

The Third International Conference on Product Focused Software Process Improvement (PROFES 2001) continued the success of the PROFES 99 and PROFES 2000 conferences. PROFES 2001 was organized in Kaiserslautern, Germany, September 10 13, 2001. The PROFES conference has its roots in the PROFES Esprit project (http: //www.ele.vtt.fi/profes/), but it quickly evolved into a full fledged general purpose conference in 1999 and since then it has gained wide spread international popularity. As in previous years, the main theme of PROFES 2001 was professional software process improvement (SPI) motivated by product and service quality needs. SPI is facilitated by software process assessment, software measurement, process modeling, and technology transfer and has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice as well as relevant research results from academia. The purpose of the conference is to bring to light the most recent findings and results in the area and to stimulate discussion between the researchers, experienced professionals, and technology providers for SPI."

Deployment is the act of taking components and readying them for productive use. There may be steps following deployment, such as installation or m- agement related functions, but all decisions about how to con?gure and c- pose/assemble a component are made at the deployment stage. This is therefore the one opportunity in the software lifecycle to bridge the gap between what the component developer couldn't know about the deployment environment and what the environment's developer couldn't know about the open set of depl- able components. It is not surprising that deployment as a dedicated step gains importance when addressing issues of system-wide qualities, such as coping with constrained resources or preparing for component adaptation and system evolution. Yet, component deployment is still a discipline in its infancy: it became mainstream practice only in the mid 1990s. Much of the best practice impulse originated in products like Microsoft's Transaction Server and its approach to attribute-based programming and later products like Enterprise JavaBeans and now the Corba Component Model. All these address the speci?c needs of enterprise appli- tion servers. However, the potential of the deployment concept goes far beyond this. Deployment can and should touch e?ectively all truly component-based solutions. The proceedings of Component Deployment 2002 represent a good cro- section of the gamut of deployment issues. From customization to address - source constraints to recon?guration of deployed systems and from architecture to design to languages, the avid reader will ?nd some contribution.

This book constitutes the refereed proceedings of the 8th International Workshop on Groupware, CRIWG 2002, held in La Serena, Chile in September 2002.The 18 revised full papers presented together with a keynote paper were carefully reviewed and selected form 36 submissions. The papers are organized in topical sections on computer supported collaborative learning - CSCL, meeting support, design and development support, awareness, evaluation and tayloring, and infrastructure.

Hybrid intelligent systems are becoming a very important problem-solving methodology affecting researchers and practitioners in areas ranging from science and technology to business and commerce. This volume focuses on the hybridization of different soft computing technologies and their interactions with hard computing techniques, other intelligent computing frameworks, and agents. Topics covered include: genetic-neurocomputing, neuro-fuzzy systems, genetic-fuzzy systems, genetic-fuzzy neurocomputing, hybrid optimization techniques, interaction with intelligent agents, fusion of soft computing and hard computing techniques, other intelligent systems and hybrid systems applications. The different contributions were presented at the first international workshop on hybrid intelligent systems (HIS1) in Adelaide, Australia.

Prof. Dr. Jorg Biethahn, Inhaber des Lehrstuhls fUr Wirtschaftsinformatik I an der Universitat Gottingen, vollendet am 24. Mai 2002 sein 60. Lebensjahr. Zu diesem Anlass haben Kollegen, Schtiler und Weggefahrten, die dem Jubilar fUr den weiteren Lebensweg alles Gute wUnschen, diese Festschrift verfasst und ihm gewidmet. Jorg Biethahn, Jahrgang 1942, studierte Mathematik, Ingenieurwissenschaften und Wirtschaftswissenschaften mit dem Abschluss Dip10m-Ingenieur. Er promovierte im Fach Wirtschaftswissenschaften zum Dr. rer. pol. und habilitierte sich in den Fachem BWL und Betriebsinformatik tiber das Thema "Optimierung und Simu- lation". Nach Professuren an den Universitaten Bochum und Duisburg ist er seit 1984 Professor fUr Wirtschaftsinformatik an der Georg-August-Universitat Gottingen, wo er auch das Rechenzentrum des Fachbereichs Wirtschafts- und Sozia1wissenschaften 1eitet. Die Forschungsgebiete von Jorg Biethahn zeichnen sich durch eine theoretische Fundierung und einen starken Praxisbezug aus. So beschaftigt er sich vor aHem mit Methoden der praktischen Entscheidungsfindung, die ihn wahrend seiner gesamten wissenschaftlichen Lautbahn faszinierten. Zunachst waren es die line- aren Optimierungsverfahren, die er bei unterschiedlichen Anwendungen in der Praxis erfolgreich einsetzte, urn realisierbare Losungen zu generieren. Nach den allgemeinen Optimierungsverfahren ging er zu den Verfahren der Simulation tiber, die heute noch ein Steckenpferd des Jubilars darstellen. Sehr bekannt und aner- kannt sind die Symposien zur Simulation als betriebliche Entscheidungshilfe, die bereits achtmal unter seiner Leitung in Braunlage (Harz) stattfanden. Auch Pro- blemlosungen mit unscharfen Daten (fuzzy theory) und evolutionare Algorithmen liegen im Forschungsbereich von Jorg Biethahn. Weiterhin beschaftigt er sich eingehend mit dem Autbau und dem Einsatz wissensbasierter Systeme bzw.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Fast Software Encryption, FSE 2000, held in New York City, USA in April 2000.The 21 revised full papers presented were carefully reviewed and selected from a total of 53 submissions. The volume presents topical sections on stream-cipher cryptanalysis, new ciphers, AES cryptanalysis, block-cipher cryptanalysis, and theoretical work.

Self-adaptive software evaluates its own behavior and changes its behavior when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well-known features like the use of errors and the handling of exceptions in languages like Lisp or Java and aims at improving the robustness of software systems by gradually adding new features of self-adaption and autonomity.This book originates from the First International Workshop on Self-Adaptive Software, IWSAS 2000, held in Oxford, UK in April 2000. The revised full papers presented in the volume together with an introductory survey by the volume editors assess the state of the art in this emerging new field and set the scene for future research and development work.

This book constitutes the refereed proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software, TACS 2001, held in Sendai, Japan, in October 2001. The book presents 21 selected and revised full papers. Also included are six invited papers plus one open lecture by internationally leading scientists. Among the topics addressed are automata theory, concurrency, control-flow analysis, lambda calculi, model checking and program logic.

Projektmanagement ist in Zeiten von enger werdenden Projektbudgets und ProjektzeitplAnen eine zunehmende Herausforderung geworden. Die Autoren geben wertvolle Hilfestellungen in Krisensituationen und zeigen auf, wie von Anfang an eine durchgAngige Linie in ein Projekt gebracht wird. Ferner werden die diversen Schnittstellen zu den unterschiedlichen Disziplinen im Software Engineering aufgezeigt. Ein weiterer Schwerpunkt des Buches ist der konkrete Einsatz eines Werkzeuges, das den gesamten Prozess aus Sicht des Projektleiters steuert. Weitere Themen sind Berichtswesen, Krisenmanagement, Risikomanagement sowie die PersonalfA1/4hrung innerhalb komplexer Projekte.

This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study - an invoicing system - to enable the reader to compare and contrast easily. Among the techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Most specification courses tend to focus on 1 or 2 key techniques and to have a theoretical bias; this book provides a basic overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. It will prove essential reading for all industrial and commercial practitioners who need to expand their knowledge of software specification methods.