springer berlin heidelberg springer berlin heidelberg sep 2001 (164 résultats)

Taschenbuch. Etat : Neu. Neuware -Anhand einfacher und bekannter Beispiele wird der Leser in die Welt der mathematischen Stochastik eingeführt. Einen Schwerpunkt bilden dabei Grundbegriffe aus der Kombinatorik und Wahrscheinlichkeitstheorie und Statistik. Der Bogen spannt sich hier von der Vorstellung der Bionimal-, Poisson- und negativen Binomialverteilung einschließlich einer Kennzeichnung durch eine rekursive Beziehung mit Hilfe von Differentialgleichungen bis hin zur Kennzeichnung aller erwartungstreu schätzbaren Funktionen in Abhängigkeit von Trefferewahrscheinlichkeiten in Bernoulli-Experimenten. Darüber hinaus wird ein schätztheoretischer Zusammenhang mit Wahrscheinlichkeitsverteilungen aus der Physik hergestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -The 2001 International Workshop on Quality of future Internet Services (QofIS 2001) held in Coimbra, Portugal, organized by COST Action 263, is the second of what we expect will become a series of successful QofIS workshops. The previous workshop was held in Berlin in the year 2000. The areas of interest of QofIS cover the design, implementation and provision of Quality of Service, spanning key issues of current and emerging communication systems such as packet-level issues, flow-level issues, network-level issues, architectural issues, and applications. The emphasis of the QofIS2001 w orkshop is on horizontal (end-to-end) as well as vertical (top-down) provision of quality of services, covering all components of end systems and networks, with the aim of identifying solutions enabling feasible and coherent QoS provision. The QofIS2001 cal l for papers attracted 87 submissions from 23 Asian, Australian, European, North American, and South American countries. These were subject to thorough review work by the Programme Committee members and additional reviewers who carried out their work using a specially built conference system, WebChairing, developed in Coimbra by Flor de Utopia, that allowed full control of the submission and reviewing processes. Based on the comments and recommendations of the reviews, the final programme was defined in a Programme th Committee meeting held at the University of Karlsruhe on June 5 , 2001. 352 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The E-smart 2001 international conference on research in smart cards was held in Cannes, France on 19¿21 September. The conference was jointlyorganized bythe Java Card Forum, Eurosmart and INRIA, and received helpful nancial support from the Conseil R¿egional Provence-Alpes-C¿ote d¿Azur. The intention with E-smart is to provide a forum for discussion and exchange of results on smart card development, security, and applications. This year¿s p- gram was established byan international program committee that examined 38 papers submitted and selected 20 of these for presentation. The list of topics of this year¿s presentations includes biometrics, cryptography and electronic sig- tures on smart cards, hardware and software solution for smart card security, formal methods for smart card evaluation and certi cation, architectures for multi-applications and secure open platforms, middleware for smart cards and novel applications of smart cards. The conference also featured an invited talk bySimon Moore from the Universityof Cambridge. Isabelle Attali Thomas Jensen E-smart 2001 program committee co-chairs. Organization Program Committee Isabelle Attali, INRIA Dominique Bolignano, Trusted Logic Bertrand du Castel, Schlumberger Wolfgang E ng, Giesecke & Devrient Christian Goire, Bull CP8 Pieter Hartel, Universityof Twente Peter Honeyman, University of Michigan Thomas Jensen, IRISA / CNRS Pierre Paradinas, Gemplus Joachim Posegga, SAP AG Peter Ryan, CERT Jean-Paul Thomasson, ST Microelectronics Yasuyoshi Uemura, ECSEC Thanks are due to the following people for their help with the refereeing of papers: Thomas Genet, Valerie Viet Triem Tong, Stefan Friedich, Harald Vogt, Jaap-Henk Hoepman, Neil Henderson, Adam Field, and Jordan Chong. 268 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -On behalf of the program committee, it is our pleasure to present to you the proceedings of the fourth Recent Advances in Intrusion Detection Symposium. The RAID 2001program committee received 55 paper submissions from 13 countries. All submissions were carefully reviewed by several members of the program committee on the criteria of scienti c novelty, importance to the eld, and technical quality. Final selection took place at a meeting held on May 16-17 in Oakland, California. Twelve papers were selected for presentation and pub- cation in the conference proceedings. In addition, nine papers, presenting work in progress, were selected for presentation. The program included both fundamental research and practical issues: l- ging and IDS integration, attack modeling, anomaly detection, speci cati- based IDS, IDS assessment, IDS cooperation, intrusion tolerance, and legal - pects. RAID 2001also hosted two panels, one on ¿The Present and Future of IDS Testing Methodologies,¿ a subject of major concern for all IDS users and de- gners, and one on ¿Intrusion Tolerance,¿ an emerging research area of increasing importance. Dr. Bill Hancock, Senior Vice President and Chief Security O cer of Exodus Communications, Inc., delivered a keynote speech ¿Real world intrusion det- tion or how not to become a deer in the headlights of an attacker¿s car on the information superhighway¿. The slides presented by the authors, the 9 papers which are not in the p- ceedings, and the slides presented by the panelists are available on the website of the RAID symposium series, raid-symposium.org/.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -RobertoGrossi JopSibeyn FrancBrglez DavidJohnson RobertoSolis-Oba KenClarkson JuhaK¿ arkk¿ ainen ThomasWillhalm SabineCornelsen BernardMoret ALENEXSteeringCommittee RobertoBattiti(UniversityofTrento,Italy) AndrewV. Goldberg(IntertrustSTARLab) MichaelT. Goodrich(JohnsHopkinsUniversity) DavidS. Johnson(AT&TBellLaboratories) CatherineC. McGeoch(AmherstCollege) BernardM. E. Moret(UniversityofNewMexico,chair) TableofContents ALENEX¿01 SolvingäHard¿ProblemtoApproximatean¿Easy¿One:Heuristicsfor MaximumMatchingsandMaximumTravelingSalesmanProblems. . . . . . . 1 S. P. Fekete (TU Berlin), H. Meijer (Queen¿s University), A. Rohe (Universit¿ atBonn),andW. Tietze(TUBerlin) CNOP¿APackageforConstrainedNetworkOptimization. . . . . . . . . . . . . 17 K. MehlhornandM. Ziegelmann(MPISaarbrucken) ¿ TheAsymmetricTravelingSalesmanProblem: Algorithms,InstanceGenerators,andTests. . . . . . . . . . . . . . . . . . . . . . . . . . . 32 J. Cirasella (Boston Arch. Center Library), D. S. Johnson (AT&T), L. A. McGeoch,(AmherstCollege),andW. Zhang(WUSTL) NetworkTomographythroughEnd-to-EndMeasurements . . . . . . . . . . . . . . 60 D. Towsley(UMass. ,Amherst) ExperimentalResultsonStatisticalApproaches toPageReplacementPolicies. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 V. Leung (Sandia National Laboratories) and S. Irani (University of California,Irvine) EstimatingResemblanceofMIDIDocuments. . . . . . . . . . . . . . . . . . . . . . . . . . 78 M. MitzenmacherandS. Owen(Harvard) ExperimentsonAdaptiveSetIntersectionsforTextRetrievalSystems. . . . 91 E. D. Demaine(UWaterloo),A. L¿ opez-Ortiz(Univ. ofNewBrunswick), andJ. I. Munro(UWaterloo) PVD:AStableImplementationforComputingVoronoiDiagrams ofPolygonalPockets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 S. Sethia,M. Held,andJ. S. B. Mitchell(SUNYStonyBrook) HierarchicalClusteringofTrees:AlgorithmsandExperiments. . . . . . . . . . . 117 I. FinoSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Just like the previous workshop at VLDB 1999 in Edinburgh, the purpose of this workshop is to promote telecom data management as one of the core research areas in database research and to establish a strong connection between the telecom and database research communities. As I wrote in the preface of those proceedings, data management in telecommuni- tions is an interesting area of research given the fact that both service management and service provisioning are very data intensive, and pose extreme requirements on data management technology. Given the feedback on the previous workshop we decided to keep the same program set-up for this workshop: an invited speaker, a collection of research papers, and a panel discussion. We received 18 good quality papers from which we selected 12 to construct a very interesting program. The program has been divided into four sections. The first section focuses on CDR data warehouse and data mining technology. Data warehousing and data mining around customer usage data remains an important area of interest for telecommunication operators. The growing competition, especially in the mobile market, means that operators have to put more effort into customer retention and satisfaction. The second section focuses on performance issues around databases in telecommunication. Since telecommunication databases are characterized by their extreme requirements, for example in terms of volumes of data to be processed or response times, high volume data management and embedded and real-time data management are key aspects of the telecommunication data management problems in today¿s operational environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing. DISC 2001 was held on Oct 3¿5, 2001, in Lisbon, Portugal. This volume includes 23 contributed papers. It is expected that these papers will be submitted in more polished form to fully refereed scienti c journals. The extended abstracts of this year¿s invited lectures, by Gerard LeLann and David Peleg, will appear in next year¿s proceedings. We received 70 regular submissions. These submissions were read and eval- ted by the program committee, with the help of external reviewers when needed. Overall, the quality of the submissions was excellent, and we were unable to - cept many deserving papers. This year¿s Best Student Paper award goes to Yong-Jik Kim for the paper ¿A Time Complexity Bound for Adaptive Mutual Exclusion¿ by Yong-Jik Kim and James H. Anderson. October 2001 Jennifer Welch Organizing Committee Chair: Luis Rodrigues (University of Lisbon) Publicity: Paulo Ver¿ ssimo (University of Lisbon) Treasurer: Filipe Araujo ¿ (University of Lisbon) Web: Alexandre Pinto (University of Lisbon) Registration: Hugo Miranda (University of Lisbon) Steering Committee Faith Fich (U. of Toronto) Michel Raynal (vice-chair) (IRISA) Maurice Herlihy (Brown U. ) Andr¿e Schiper (chair) (EPF Lausanne) Prasad Jayanti (Dartmouth) Jennifer Welch (Texas A&M U. ) Shay Kutten (Technion) Program Committee Marcos K. Aguilera (Compaq SRC) Mark Moir (Sun Microsystems Laboratories) Lorenzo Alvisi (U. Texas, Austin) Stephane Perennes (CNRS U.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Multimedia technologies are rapidly attracting more and more interest every day. The Internet as seen from the end user is one of the reasons for this phenomenon, but not the only one. Video on Demand is one of the buzzwords today, but its real availability to the general public is yet to come. Content providers ¿ such as publishers, broadcasting companies, and audio/video production rms ¿ must be able to archive and index their productions for later retrieval. This is a formidable task, even more so when the material to be sorted encompasses many di erent types of several media and covers a time span of several years. In order for such a vast amount of data to be easily available, existing database design models and indexing methodologies have to be improved and re ned. In addition, new techniques especially tailored to the various types of multimedia must be devised and evaluated. For archiving and trasmission, data compression is another issue that needs to be addressed. In many cases, it has been found that compression and indexing can be successfully integrated, since compressing the data by ltering out irrelevancy implies some degree of und- standing of the content structure.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume of the LNCS series contains the papers accepted for presentation at the Third IFIP international working conference on active networks (IWAN 2001). The workshop was held at the Sheraton University City Hotel, in Philadelphia USA, and was hosted by the University of Pennsylvania. Active networks aim to ease the introduction of network services by adding dynamic programmability to network devices such as routers, and making aspects of the programmability accessible to users. Active networks research has focused on the development and testing of active techniques, that enable dynamic programmability in a networked environment. These techniques have a wide variety of applications. At IWAN 2001 we aimed to bring together members of the various communities using active and related techniques, and provide a forum for discussion and collaboration, involving researchers, developers, and potential users. Papers presented at IWAN 2001 covered the application of active techniques to many aspects of network based communication, including active multicast, active QoS, active security, active GRIDs, and active management. In addition, there were papers on architectures, language, and API issues. Although there were only 22 submissions, the standard of the 10 accepted papers was very high. This indicated clearly a substantial amount of ongoing high quality research in active networking, despite the current unfavorable economic conditions in the telecommunications industry. The papers also demonstrated that the research is genuinely global, and justifies an international workshop of this type. We would like to thank all the authors who submitted their work. 180 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the scientific track of the 7th Congress of the Italian Association for Artificial Intelligence, AI\*IA 2001, held in Bari, Italy, in September 2001.The 25 revised long papers and 16 revised short papers were carefully reviewed and selected for inclusion in the volume. The papers are organized in topical sections on machine learning; automated reasoning; knowledge representation; multi-agent systems; natural language processing; perception, vision, and robotics; and planning and scheduling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the contributions to the Joint German/Austrian Con- rence on Arti cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti cial Intelligence. They are divided into the following categories: ¿ 2 contributions by invited speakers of the conference; ¿ 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; ¿ 4 contributions by participants of the industrial day, during which companies working in the eld presented their AI applications. After a long period of separate meetings, the German and Austrian Societies ¿ for Arti cial Intelligence, KI and OGAI, decided to hold a joint conference in Vienna in 2001. The two societies had previously held one joint conference. This took place in Ottstein, a small town in Lower Austria, in 1986. At that time, the rise of expert system technology had also renewed interest in AI in general, with quite some expectations for future advances regarding the use of AI techniques in applications pervading many areas of our daily life. Since then fteen years have passed, and we may want to comment, at the beginning of a newcentury, on the progress that has been made in this direction.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2001, held in Boltenhagen, Germany, in June 2001.The 27 revised full papers presented together with two invited contributions were carefully reviewed and selected from numerous submissions. The papers provide a wealth of new results for various classes of graphs, graph computations, graph algorithms and graph-theoretical applications in various fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001. Metalevel architectures and re ection have drawn the attention of researchers and practitioners throughout computer science. Re ective and metalevel te- niques are being used to address real-world problems in such areas as: progr- ming languages, operating systems, databases, distributed computing, expert systems and web computing. Separation of concerns has been a guiding principle of software engineering for nearly 30 years, but its known bene ts are seldom fully achieved in practice. This is primarily because traditional mechanisms are not powerful enough to handle many kinds of concerns that occur in practice. Over the last 10 years, to overcome the limitations of traditional frameworks, many researchers, including several from the re ection community, have proposed new approaches. For the rst time, papers on advanced approaches to separation of concerns were explicitly solicited. Following the success of previous conferences such as IMSA¿92 in Tokyo, Re ection¿96 in San Francisco, and Re ection¿99 in Saint Malo, we hope that the conference provided an excellent forum for researchers with a broad range of interests in metalevel architectures, re ective techniques, and separation of concerns in general. 300 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel appli- tions. This volume comprises 50 revised contributions presented at the Eighth - ropean PVM/MPI Users¿ Group Meeting, which was held on Santorini (Thera), Greece,23¿26September2001.TheconferencewasorganizedbytheDepartment of Informatics and Telecommunications, University of Athens, Greece. This conference has been previously held in Balatofured, ¿ Hungary (2000), Barcelona, Spain (1999), Liverpool, UK (1998), and Krakow, Poland (1997). The rst three conferences were devoted to PVM and were held at the TU Munich, Germany (1996), the ENS Lyon, France (1995), and the University of Rome (1994). This conference has become a forum for users and developers of PVM, MPI, and other message passing environments. Interaction between these groups has proved to be very useful for developing new ideas in parallel computing and for applying some of those already existent to new practical elds. The main topics of the meeting were evaluation and performance of PVM and MPI, extensions and improvements to PVM and MPI, algorithms using the message passing paradigm,andapplicationsinscienceandengineeringbasedonmessagepassing. The conference included one tutorial on MPI and 9 invited talks on advances in MPI, cluster computing, network computing, Grid computing, and parallel programming and programming systems. These proceedings contain papers on the 46 oral presentations together with 4 poster presentations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -ThesearetheproceedingsofthefourthbiennialconferenceintheIntelligentData Analysisseries. TheconferencetookplaceinCascais,Portugal,13¿15September 2001. Thethemeofthisconferenceseriesistheuseofcomputersinintelligent waysindataanalysis,includingtheexplorationofintelligentprogramsfordata analysis. Dataanalytictoolscontinuetodevelop,drivenbythecomputerrevo- tion. Methodswhichwouldhaverequiredunimaginableamountsofcomputing power,andwhichwouldhavetakenyearstoreachaconclusion,cannowbe appliedwitheaseandvirtuallyinstantly. Suchmethodsarebeingdevelopedby avarietyofintellectualcommunities,includingstatistics,arti cialintelligence, neuralnetworks,machinelearning,datamining,andinteractivedynamicdata visualization. Thisconferenceseriesseekstobringtogetherresearchersstudying theuseofintelligentdataanalysisinthesevariousdisciplines,tost imulate- teractionsothateachdisciplinemaylearnfromtheothers. Soastoencourage suchinteraction,wedeliberatelykepttheconferencetoasingletrackmeeting. Thismeantthat,ofthealmost150submissionswereceived,wewereableto selectonly23fororalpresentationand16forposterpresentation. Inaddition tothesecontributedpapers,therewasakeynoteaddressfromDarylPregibon, invitedpresentationsfromKatharinaMorik,RolfBackhofen,andSunilRao,and aspecial¿datachallenge¿session,whereresearchersdescribedtheiratt emptsto analyseachallengingdatasetprovidedbyPaulCohen. Thisacceptancerate enabledustoensureahighqualityconference,whilealsopermittingustop- videgoodcoverageofthevarioustopicssubsumedwithinthegeneralheading ofintelligentdataanalysis. Wewouldliketoexpressourthanksandappreciationtoeveryoneinvolved intheorganizationofthemeetingandtheselectionofthepapers. Itisthe behind-the-scenese ortswhichensurethesmoothrunningandsuccessofany conference. Wewouldalsoliketoexpressourgratitudetothesponsors:Fundac¿ ¿ao paraaCi¿enciaeaTecnologia,Minist¿eriodaCi¿enciaedaTecnologia,Faculdade deCi¿enciaseTecnologia,UniversidadeNovadeLisboa,Fundäc¿aoCalousteG- benkianandIPEInvestimentoseParticipac¿ ¿oeSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -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 (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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Ubiquitous Computing, Ubicomp 2001, held in Atlanta, GA, USA in September/October 2001. The 14 revised full papers and 15 revised technical notes were carefully selected during a highly competitive reviewing process from a total of 160 submissions (90 paper submissions and 70 technical notes submissions). All current aspects of research and development in the booming area of ubiquitous computing are addressed. The book offers topical sections on location awareness, tools and infrastructure, applications for groups, applications and design spaces, research challenges and novel input, and output. 388 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The Information Security Conference 2001 brought together individuals involved in multiple disciplines of information security to foster the exchange of ideas. The conference, an outgrowth of the Information Security Workshop (ISW) series, was held in Málaga, Spain, on October 1¿3, 2001. Previous workshops were ISW '97 at Ishikawa, Japan; ISW '99 at Kuala Lumpur, Malaysia; and ISW 2000 at Wollongong, Australia. The General Co chairs, Javier López and Eiji Okamoto, oversaw the local organization, registration, and performed many other tasks. Many individuals deserve thanks for their contribution to the success of the conference. José M. Troya was the Conference Chair. The General Co chairs were assisted with local arrangements by Antonio Maña, Carlos Maraval, Juan J. Ortega, José M. Sierra, and Miguel Soriano. This was the first year that the conference accepted electronic submissions. Many thanks to Dawn Gibson for assisting in developing and maintaining the electronic submission servers. The conference received 98 submissions of which 37 papers were accepted for presentation. These proceedings contain revised versions of the accepted papers. Revisions were not checked and the authors bear full responsibility for the contents of their papers. The Program Committee consisted of Elisa Bertino, Università di Milano; G. R. 576 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Welcome to Free Convection Film Flows and Heat Transfer! Free convection lm ows occur in many industrial processes. However, engineers still have to deal with many unresolved problems. This book systematically summarizes my recent research results that have been referred to and cited by many other researchersinthis eld.Thepurposeofthisbookistoprovideapracticalguide to university students, graduate students, design engineers, researchers, and scientistswhowishtofurtherunderstandthecharacteristicsoffreeconvection lm ows and heat transfer. I hope this book will serve as a useful tool for them, as well as a guide to future research. This book includes three related parts (1) accelerating convective bou- ary layers of Newtonian uids, (2) accelerating lm boiling and condensation of Newtonian uids, and (3) accelerating lm ows of non-Newtonian pow- law uids. These phenomena are all caused by buoyancy or gravity, and can be summed up in terms of the free convection lm ows. In addition, the free convection lm ows of Newtonian uids can be taken as a special case of non-Newtonian power-law uids.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The Cambridge International Workshop on Security Protocols has now run for eight years. Each year we set a theme, focusing upon a speci c aspect of security protocols, and invite position papers. Anybody is welcome to send us a position paper (yes, you are invited) and we don¿t insist they relate to the current theme in an obvious way. In our experience, the emergence of the theme as a unifying threadtakesplaceduringthediscussionsattheworkshopitself.Theonlyground rule is that position papers should formulate an approach to some unresolved issues, rather than being a description of a nished piece of work. Whentheparticipantsmeet,wetrytofocusthediscussionsupontheconc- tual issues which emerge. Security protocols link naturally to many other areas of Computer Science, and deep water can be reached very quickly. Afterwards, we invite participants to re-draft their position papers in a way which exposes the emergent issues but leaves open the way to their further development. We also prepare written transcripts of the recorded discussions. These are edited (in some cases very heavily) to illustrate the way in which the di erent arguments and perspectives have interacted. We publish these proceedings as an invitation to the research community. Although many interesting results rst see the light of day in a volume of our proceedings, laying claim to these is not our primary purpose of publication. Rather, we bring our discussions and insights to a wider audience in order to suggest new lines of investigation which the community may fruitfully pursue.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the proceedings of EMSOFT 2001, the First International Workshop on Embedded Software. The workshop was organized October 8¿10, 2001, at Tahoe City, California. The steering committee of the workshop has the following members: G¿ erard Berry (Esterel Technologies, France) Paul Hudak (Yale University, USA) Hermann Kopetz(Technical University of Vienna, Austria) Edward Lee (University of California, Berkeley, USA) Ragunathan Rajkumar (Carnegie Mellon University, USA) Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA) Douglas Schmidt (Defense Advanced Research Projects Agency, USA) Joseph Sifakis (Verimag Grenoble, France) The workshop was sponsored jointly by the DARPA Information Technology O ce within the MobIES (Model-based Integration of Embedded Systems) p- gram (Dr. Janos Sztipanovits), and by the National Science Foundation (Dr. Helen Gill). The workshop URL is emsoft. org. Embedded software is software that interacts with physical processes. As - bedded systems increasingly permeate our daily lives on all levels, from micr- copic devices to international networks, the cost-e cient development of reliable embedded software is one of the grand challenges in computer science today. The purpose of the workshop is to bring together researchers in all areas of computer science that are traditionally distinct but relevant to embedded software devel- ment, and to incubate a research community in this way. 488 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The importance of production and use of high quality software is still growing, as more and more businesses depend on information technology. Well educated, highly skilled, and experienced employees characterize the situation in most companies in the developed countries. Increasingly they work together in temporary networks with geographically distributed offices. Using and developing their knowledge is a key issue in gaining competitive advantages. We have learned during recent years that the exchange and development of knowledge (which we call learning) demands a great deal of human interaction. However, it is widely recognized that information systems will, in many cases, enable the sharing of experience across distributed organizations and act as a knowledge repository. A Learning Software Organization (LSO) will turn Intellectual Capital into market shares and profit, as it establishes the means to manage its knowledge. The LSO workshop series was created in 1999 to provide a communication forum that addresses the questions of organizational learning from a software point of view and builds upon existing work on Knowledge Management and Organizational Learning. It aims at bringing together practitioners and researchers for an open exchange of experience with successes and failures in organizational learning. Right from the beginning, fostering interdisciplinary approaches and providing an opportunity to learn about new ideas has been a central issue of the workshop series. The feedback that we have obtained in recent years has encouraged us to continue our work for a better understanding of the setup and running of Learning Software Organizations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The 5th International Conference on Spatial Information Theory, COSIT 2001, took place at the Inn at Morro Bay, California, USA, September 19 23, 2001. COSIT grew out of a series of workshops/NATO Advanced Study Institutes/NSF Specialist Meetings during the 1990s concerned with theoretical and applied aspects of representing large scale space, particularly geographic or environmental space (this history is elaborated in the prefaces of previous COSIT proceedings). These are spaces in which (and on which) human action takes place, and which are represented and processed in digital geographic information systems. In these early meetings, the need for well founded theories of spatial information representation and processing was identified, particularly theories based on cognition and on computation. This concern for theory provided an early foundation for the newly emerging field of geographic information science. COSIT is not backed by any particular scientific society but is organized as an independent enterprise. The conference series was established in 1993 as an interdisciplinary biennial European conference on the representation and processing of large scale spatial information after a successful international conference on the topic had been organized by Andrew Frank et al. in Pisa in 1992 (frequently referred to as 'COSIT 0'). After two successful European COSIT conferences with strong North American participation (COSIT ¿93: Island of Elba, Italy; COSIT ¿95: Semmering, Austria), COSIT ¿97 moved across the pond to the United States, and was held in the Laurel Highlands, Pennsylvania.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -With a standard program committee and a pre-review process, the Third - ternational Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25¿27, 2000 was made more formal than the previous ADG ¿96 (Toulouse, September 1996) and ADG ¿98 (Beijing, August 1998). The workshop program featured two invited talks given by Christoph M. Ho mann and Jurgen ¿ Bokowski, one open session talk by Wen-tsun ¿ Wu, 18 regular presentations, and 7 short communications, together with software demonstrations (see calfor.lip6.fr/¿wang/ADG2000/). Some of the most recent and signi cant research developments on geometric deduction were - ported and reviewed, and the workshop was well focused at a high scienti c level. Fifteen contributions (out of the 18 regular presentations selected by the program committee from 31 submissions) and 2 invited papers were chosen for publication in these proceedings. These papers were all formally refereed and most of them underwent a double review-revision process. We hope that this volume meets the usual standard of international conference proceedings, rep- sentsthecurrentstateoftheartofADG,andwillbecomeavaluablereferencef or researchers, practitioners, software engineers, educators, and students in many ADG-related areas from mathematics to CAGD and geometric modeling. ADG2000washostedbytheDepartmentofComputerScience,ETHZurich.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The 2nd International Symposium on Medical Data Analysis (ISMDA 2001) was the continuation of the successful ISMDA 2000, a conference held in Fra- furt, Germany, in September 2000. The ISMDA conferences were conceived to integrate interdisciplinary research from scienti c elds such as statistics, s- nal processing, medical informatics, data mining, and biometrics for biomedical data analysis. A number of academic and professional people from those elds, including computer scientists, statisticians, physicians, engineers, and others, - alized that new approaches were needed to apply successfully all the traditional techniques, methods, and tools of data analysis to medicine. ISMDA 2001, as its predecessor, aimed to provide an international forum for sharing and exchanging original research ideas and practical development ex- riences. This year we broadened the scope of the conference, to included methods for image analysis and bioinformatics. Both are exciting scienti c research elds and it was clear to the scienti c committee that they had to be included in the areas of interest. Medicine has been one of the most di cult application areas for computing. The number and importance of the di erent issues involved suggests why many data analysis researchers nd the medical domain such a challenging eld. New interactive approaches are needed to solve these problems. 324 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -In this book several concepts with respect to the development and reusability of multimedia content in web-based learning systems are introduced. More specifically, the development of a component-based framework that enables developers to employ reusable software components enhanced with metadata, creating complete instructional visualizations for a given subject and integrating these visualizations in an appropriate learning context, is discussed. Two activities for making stand-alone visualizations group-aware are addressed: transparent sharing of the same instructional visualization with diverse views in a moderated session, and organization of interactions in the shared workspace. No other work has addressed the issue of transparent collaboration based on instructional visualizations enhanced with metadata in such a way.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Sometimes milestones in the evolution of the DAGM Symposium become immediately visible. The Technical Committee decided to publish the symposium proceedings completely in English. As a consequence we successfully negotiated with Springer Verlag to publish in the international well accepted series ¿Lecture Notes in Computer Science¿. The quality of the contributions convinced the editors and the lectors. Thanks to them and to the authors. We received 105 acceptable, good, and even excellent manuscripts. We selected carefully, using three reviewers for each anonymized paper, 58 talks and posters. Our 41 reviewers had a hard job evaluating and especially rejecting contributions. We are grateful for the time and effort they spent in this task. The program committee awarded prizes to the best papers. We are much obliged to the generous sponsors. We had three invited talks from outstanding colleagues, namely Bernhard Nebel (Robot Soccer ¿ A Challenge for Cooperative Action and Perception), Thomas Lengauer (Computational Biology ¿ An Interdisciplinary Challenge for Computational Pattern Recognition), and Nassir Navab (Medical and Industrial Augmented Reality: Challenges for Real Time Vision, Computer Graphics, and Mobile Computing). N. Navab even wrote a special paper for this conference, which is included in the proceedings. We were proud that we could convince well known experts to offer tutorials to our participants: H. P. Seidel, Univ. Saarbrücken ¿ A Framework for the Acquisition, Processing, and Interactive Display of High Quality 3D Models; S. Heuel, Univ. Bonn ¿ Projective Geometry for Grouping and Orientation Tasks; G. Rigoll, Univ.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001.The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts and 102 papers submitted. The papers are organized in topical sections on metamodeling, activity diagrams, OCL, architecture and patterns, analysis and testing, performance and databases, graph transformations, real-time and embedded systems, associations and ontology, statecharts, components, and use cases.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloß Dagstuhl provides a very convenient and stimulating environment to - scuss new ideas and developments. To accompany the conference with a proc- dings volume appeared to us equally appropriate. Such a volume not only xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider eld of logic in computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.