springer berlin heidelberg sep 2000 (84 risultati)

Taschenbuch. Condizione: Neu. Neuware -Der schnelle und präzise Zugriff auf Daten und Fakten der Mathematik für Ingenieure, Informatiker, Naturwissenschaftler und Wirtschaftswissenschaftler. Vor allem gedacht für Studenten und Anwender.Das neue Standard-Nachschlagewerk, das jetzt in der dritten, durchgesehenen Auflage vorliegt, bietet dem Leser in moderner, übersichtlicher und handlicher Aufmachung alle wichtigen mathematischen Formeln, Tabellen, Definitionen und Sätze zum schnellen und sicheren Nachschlagen. Neben den klassischen Disziplinen wie Algebra, Geometrie und Analysis werden auch Gebiete von aktuellem Interesse wie Wahrscheinlichkeitsrechnung, Statistik und Numerik behandelt. Der Anwender findet u.a. Kapitel der neuesten Mathematik über nichtlineare und dynamische Optimierung, Kodierung, schnelle Fouriertransformation, Graphen und Digraphen.Die ideale Ergänzung zur 'Höheren Mathematik' von Meyberg-Vachenauer. 560 pp. Deutsch.

Buch. Condizione: Neu. Neuware -Die Kryptologie, eine jahrtausendealte 'Geheimwissenschaft', gewinnt zusehends praktische Bedeutung in Verbindung mit dem Schutz von Kommunikationswegen, Datenbanken und Software. Neben ihre Nutzung in rechnergestützten öffentlichen Nachrichtensystemen ('öffentliche Schlüssel') treten mehr und mehr rechnerinterne Anwendungen, wie Zugriffsberechtigungen und der Quellenschutz von Software.Der erste Teil des Buches behandelt in elf Kapiteln die Geheimschriften und ihren Gebrauch - die Kryptographie. Dabei wird auch auf das aktuelle Thema 'Kryptographie und Grundrechte des Bürgers' eingegangen. Im zweiten Teil wird in elf weiteren Kapiteln das Vorgehen zum unbefugten Entziffern einer Geheimschrift - die Kryptanalyse - besprochen, wobei insbesondere Hinweise für die Beurteilung der Sicherheit der Chiffrierverfahren gegeben werden. Mit der vorliegenden dritten Auflage wurde das Werk auf den neuesten Stand gebracht.Das Buch setzt nur elementare mathematische Kenntnisse voraus. Mit einer Fülle spannender, lustiger und bisweilen anzüglicher Geschichten aus der historischen Kryptologie gewürzt, ist es auch für Laien reizvoll zu lesen.'. ein wahres Lesevergnügen für jedermann. Wenn's schwierig wird, hilft die Fülle von ausgiebig behandelten Beispielen.' (Thomas von Randow, 'Die Zeit')'Wer über elementare mathematische Kenntnisse verfügt, wird auch die fachlicheren Kapitel des Buches mit Gewinn lesen.' (Norbert Lossau, 'Die Welt')'The best single book on cryptology today' (David Kahn, 'Cryptologia') 536 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph deals with recent questions of conformal geometry. It provides in detail an approach to studying moduli spaces of conformal structures, using a new canonical metric for conformal structures. This book is accessible to readers with basic knowledge in differential geometry and global analysis. It addresses graduates and researchers. 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Increasing customer requirements, product variety, and market competition demand for service and cost improvements by model based inventory control in supply chains. The book presents approaches for safety stock determination in manufacturing and logistics networks. Most of the existing literature provides methods for very specific types of supply networks. The approach presented in this book follows a material flow philosophy that allows for several extensions of the basic models and therefore offers a wide applicability within decision support systems. Models for several types of problems and network structures are presented and analyzed to develop efficient optimization algorithms and heuristics. 232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested software designers and academics to becoming a well-established area of inquiry. A number of new topics, such as hybrid systems, have been g- minated at these meetings and cross-links explored with related subjects such as scheduling theory. There has certainly been progress during these 12 years, but it is sobering to see how far and how fast practice has moved ahead in the same time, and how much more work remains to be done before the design of a mission-critical system can be based entirely on sound engineering principles underpinned by solid scienti c theory. The Sixth School and Symposium were organized by the Tata Research - velopment and Design Centre in Pune, India. The lectures at the School were given by Ian Hayes (U. of Queensland), Paritosh Pandya (Tata Institute of F- damental Research), Willem-Paul de Roever (Christian Albrechts U. ) and Joseph Sifakis (VERIMAG). There were three invited lectures at the Symposium, by Werner Damm (U. of Oldenburg), Nicholas Halbwachs (VERIMAG) and Yoram Moses (Technion). A sizable number of submissions were received for the Symposium from a- hors representing 16 di erent countries. 324 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mobile agents refer to self-contained and identi able computer programs that can move within the network and can act on behalf of the user or another entity. Most of the current research work on the mobile agent paradigm has two general goals: reduction of network traf c and asynchronous interaction. These two goals stem directly from the desire to reduce information overload and to ef ciently use network resources. There are certainly many motivations for the use of a mobile agent paradigm; h- ever, intelligent information retrieval, network and mobility management, and network services are currently the three most cited application targets for a mobile agent system. The aim of the workshop is to provide a unique opportunity for researchers, software and application developers, and computer network technologists to discuss new dev- opments in the mobile agent technology and applications. After last year's very successful workshop in Ottawa, Canada (110 attendees), this year's workshop will focus on mobile agent issues across the areas of network m- agement, mobile applications, nomadic computing, e-commerce, ad-hoc networks and applications, feature interactions, Internet applications, QoS management, policybased management, interactive multimedia, and computer-telephony integration. 288 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The first International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS) was organized by Prof. K. Rothermel and Prof. W. Effelsberg, and took place in Stuttgart in 1992. It had the form of a national forum for discussion on multimedia issues related to communications. The succeeding event was 'attached' as a workshop to the German Computer Science Conference (GI Jahrestagung) in 1994 in Hamburg, organized by Prof. W. Lamersdorf. The chairs of the third IDMS, E. Moeller and B. Butscher, enhanced the event to become a very successful international meeting in Berlin in March 1996. This short overview on the first three IDMS events is taken from the preface of the IDMS'97 proceedings (published by Springer as Lecture Notes in Computer Science, Volume 1309), written by Ralf Steinmetz and Lars Wolf. Both, Ralf Steinmetz as general chair and Lars Wolf as program chair of IDMS'97, organized an excellent international IDMS in Darmstadt. Since 1998, IDMS has moved from Germany to other European cities to emphasize the international character it had gained in the previous years. IDMS'98 was organized in Oslo by Vera Goebel and Thomas Plagemann at UniK - Center for Technology at Kjeller, University of Oslo. Michel Diaz, Phillipe Owezarski, and Patrick Sénac successfully organized the sixth IDMS event, again outside Germany. IDMS'99 took place in Toulouse at ENSICA. IDMS 2000 continued the tradition and was hosted in Enschede, the Netherlands. 324 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book provides a self-contained introduction to the mathematical theory of non-smooth dynamical problems, as they frequently arise from mechanical systems with friction and/or impacts. It is aimed at applied mathematicians, engineers, and applied scientists in general who wish to learn the subject. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can t in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower,manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) rst emerged in the mid-eighties as a programming technique with the potential of signi cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o , resulting in a number of popular commercial solutions as well as the creation of several successful European startups. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since 1998, RAID has established its reputation as the main event in research on intrusion detection, both in Europe and the United States. Every year, RAID gathers researchers, security vendors and security practitioners to listen to the most recent research results in the area as well as experiments and deployment issues. This year, RAID has grown one step further to establish itself as a well-known event in the security community, with the publication of hardcopy proceedings. RAID 2000 received 26 paper submissions from 10 countries and 3 continents. The program committee selected 14 papers for publication and examined 6 of them for presentation. In addition RAID 2000 received 30 extended abstracts proposals; 15 of these extended abstracts were accepted for presentation. - tended abstracts are available on the website of the RAID symposium series, We would like to thank the technical p- gram committee for the help we received in reviewing the papers, as well as all the authors for their participation and submissions, even for those rejected. As in previous RAID symposiums, the program alternates between fun- mental research issues, such as newtechnologies for intrusion detection, and more practical issues linked to the deployment and operation of intrusion det- tion systems in a real environment. Five sessions have been devoted to intrusion detection technology, including modeling, data mining and advanced techniques. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Open Hypermedia Systems, OHS-6, and the 2nd International Workshop on Structural Computing, SC-2, held at the 11th ACM Conference on Hypertext and Hypermedia in San Antonio, Texas, USA in May/June 2000.The 19 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues on open hypertext systems and structural computing are addressed. 200 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A first attempt to develop a standardized agent communication language (ACL) resulted in KQML, probably the most widely used such language. However, a lot of technical work remains to be done. Even worse, so far, there seems to be little consensus on the basics of agent communication and there is no clear understanding of the semantics of individual speech acts or even of the basic concepts that should be used to define the semantics.This book documents two workshops on communication in MAS held in 1999, one on Specifying and Implementing Conversation Policies (SICP) and the other in Agent Communication Languages and presents the current state of the art of research in the field. A detailed introductory overview by the volume editors highlights a number of issues that play an important role in agent communication. 332 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000.The 19 revised full papers presented were carefully reviewed and selected from a total of 75 submissions. The papers are organized in sections on personal devices and smart cards, electronic commerce protocols, access control, protocol verification, Internet security, security property analysis, and mobile agents. 340 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The objective of the workshops associated with the ER2000 19th International Conference on Conceptual Modeling was to give participants the opportunity to present and discuss emerging, hot topics, thus adding new perspectives to conceptual modeling. This attracts communities which have begun to or which have already recognized the importance of conceptual modeling for solving their problems. To meet this objective, we selected the following two topics: { Conceptual Modeling Approaches for E-Business (eCOMO2000) aimed at studying the application of conceptual modeling techniques speci cally to e-business. { The World Wide Web and Conceptual Modeling (WCM2000) which analyzes how conceptual modeling can help address the challenges of Web devel- ment, management, and use. eCOMO2000 is the rst international workshop on Conceptual Modeling - proaches for E-Business. It was intended to work out and to discuss the actual state of research on conceptual modeling aspects and methods within the realm of the network economy, which is driven by both traditionally organized ent- prises and dynamic networks. Following the philosophy of the ER workshops, the selection of eCOMO contributions was done very carefully and restrictively (six accepted papers out of thirteen submissions) in order to guarantee an excellent workshop program. We are deeply indebted to the authors and to the members of the program committee, whose work resulted in this outstanding program. 196 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since 1984, the Arti cial Intelligence: Methodology, Systems, and Appli- tions (AIMSA) conference series has provided a biennial forum for the pres- tation of arti cial intelligence research and development. The conference covers the full range of topics in AI and related disciplines and provides an ideal - rumforinternationalscienti cexchangebetweencentral/easternEuropeandthe rest of the world. The AIMSA conferences were previously chaired by Wolfgang Bibel, Tim O Shea, Philippe Jorrand,Ben du Boulay, Allan Ramsay and Fausto Giunchiglia. AIMSA 2000 is sponsored by ECCAI, the European Coordinating Committee for Arti cial Intelligence. The AIMSA 2000 call for papers suggested that authors focus on Web p- cessing: knowledge construction from the Web, agents and communication l- guages, Web-based documents and interfaces, distance learning and electronic commerce. The importance of the conference for AI, and computer science - search in general, was re ected by the presence of 60 quali ed papers, out of which 34 were selected for publication by the Program Committee. Each paper was submitted to at least two independent referees and, in order to be accepted, had to be accepted by at least two of them. The high percentage of the accepted papers re ects the autonomy of the Program Committee members, who judged that more than 50% of the contributions were worth publishing in the Proce- ings. Most rejected paperswerenot consideredofa lowscienti c quality,but the Program Committee members judged that the required revisions on the texts could not be completed in the time required to allow editing of the paper before the nal presentation. 384 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is a pleasure for us to present the contributions of the First International Symposium on Medical Data Analysis. Traditionally, the eld of medical data analysis can be devided into classical topics such as medical statistics, sur- val analysis, biometrics and medical informatics. Recently, however, time series analysis by physicists, machine learning and data mining with methods such as neural networks, Bayes networks or fuzzy computing by computer scientists have contributed important ideas to the led of medical data analysis. Although all these groups have similar intentions, there was nearly no exchange or discussion between them. With the growing possibilities for storing and ana- zing patient data, even in smaller health care institutions, the need for a rational treatment of all these data emerged as well. Therefore, the need for data exchange and presentation systems grew also. The goal of the symposium is to collect all these relevant aspects together. It provides an international forum for the sharing and exchange of original re- arch results, ideas and practical experiences among researchers and application developers from di erent areas related to medical applications dealing with the analysis of medical data. After a thorough reviewing process, 33 high quality papers were selected from the 45 international submissions. These contributions provided the di erent - pects of the eld in order to represent us with an exciting program. 332 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Fifth International Colloquium on Grammatical Inference (ICGI-2000) was heldinLisbononSeptember11 13th,2000.ICGI-2000wasthe fthinaseriesof successfulbiennialinternationalconferencesintheareaofgrammaticalinference. Previous conferences were held in Essex, U.K.; Alicante, Spain; Montpellier, France; and Ames, Iowa, USA. This series of meetings seeks to provide a forum for the presentation and discussion of original research on all aspects of grammatical inference. Gram- tical inference, the process of inferring grammar from given data, is a eld that is not only challenging from a purely scienti c standpoint but also nds many applications in real world problems. Despitethefactthatgrammaticalinferenceaddressesproblemsinarelatively narrow area, it uses techniques from many domains, and intersects a number of di erent disciplines. Researchers in grammatical inference come from elds as diverse as machine learning, theoretical computer science, computational ling- stics, pattern recognition and arti cial neural networks. From a practical standpoint, applications in areas such as natural language acquisition, computational biology, structural pattern recognition, information retrieval, text processing and adaptive intelligent agents have either been - monstrated or proposed in the literature. ICGI-2000 was held jointly with CoNLL-2000, the Computational Natural Language Learning Workshop and LLL-2000, the Second Learning Language in LogicWorkshop.Thetechnicalprogramincludedthepresentationof24accepted papers (out of 35 submitted) as well as joint sessions with CoNLL and LLL. A tutorial program organized by Gabriel Pereira Lopes took place after the meetings and included tutorials by Raymond Mooney, Gregory Grefenstette, Walter Daelemans, Ant onio Ribeiro, Joaquim Ferreira da Silva, Gael Dias, Nuno Marques,VitorRossio,Jo aoBalsaandAlexandreAgostini.Thejointrealization of these events represents a unique opportunity for researchers in these related elds to interact and exchange ideas. 324 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -USM 2000 is the third event in a series of international IFIP/GI conferences on Trends in Distributed Systems. Following the venues in Aachen, Germany (1996) and Hamburg, Germany (1998), this event in Munich considers the trend towards a Universal Service Market - USM 2000. The trend towards a universal service market has many origins, e.g., the integration of telecom and data communications, the deregulation e orts with respect to telco markets, the globalization of information, the virtualization of companies, the requirement of a short time-to-market, the advances in network technologies, the increasing acceptance of e-commerce, and the increase in - bility. This leads to new business-to-business (B2B) and business-to-customer (B2C) environments that o er both challenges and opportunities to enterprises and end-users. There is the need for ubiquitous services, trading, brokering and information management, for service market and business models, and for e- ble infrastructures for dynamic collaboration. Researchers, service vendors, and users must cooperate to set up the app- priate requirements for a universal service market and to nd solutions with respect to supporting platforms, middleware, distributed applications, and m- agement. The basis for these solution is a common understanding of means for de ning, creating, implementing, and deploying the service market. Then, s- vice market makers, service aggregators, service auctioneers, ISP, ASP, BPO, and customers can freely interact in a dynamic, open, and universal market place. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Vision Algorithms held in Corfu, Greece in September 1999 in conjunction with ICCV'99.The 15 revised full papers presented were carefully reviewed and selected from 65 submissions; each paper is complemented by a brief transcription of the discussion that followed its presentation. Also included are two invited contributions and two expert reviews as well as a panel discussion. The volume spans the whole range of algorithms for geometric vision. The authors and volume editors succeeded in providing added value beyond a mere collection of papers and made the volume a state-of-the-art survey of their field. 400 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Envisioning Machine Translation in the Information Future When the organizing committee of AMTA-2000 began planning, it was in that brief moment in history when we were absorbed in contemplation of the passing of the century and the millennium. Nearly everyone was comparing lists of the most important accomplishments and people of the last 10, 100, or 1000 years, imagining the radical changes likely over just the next few years, and at least mildly anxious about the potential Y2K apocalypse. The millennial theme for the conference, 'Envisioning MT in the Information Future,' arose from this period. The year 2000 has now come, and nothing terrible has happened (yet) to our electronic infrastructure. Our musings about great people and events probably did not ennoble us much, and whatever sense of jubilee we held has since dissipated. So it may seem a bit obsolete or anachronistic to cast this AMTA conference into visionary themes. 276 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second International Working Conference on Active Networks, IWAN 200, held in Tokyo, Japan in October 2000. The 30 revised full papers presented were carefully reviewed and selected from numerous submissions. The book offers topical sections on architecture, multicast, quality of service (QoS), applications, management, service architecture, and mobile IP. 444 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 2nd International Workshop on - gebraic Frames for the Perception and Action Cycle. AFPAC 2000. held in Kiel, Germany, 10-11 September 2000. The presented topics cover new results in the conceptualization, design, and implementation of visual sensor-based robotics and autonomous systems. Special emphasis is placed on the role of algebraic modelling in the relevant disciplines, such as robotics, computer vision, theory of multidimensional signals, and neural computation. The aims of the workshop are twofold: rst, discussion of the impact of algebraic embedding of the task at hand on the emergence of new qualities of modelling and second, facing the strong relations between dominant geometric problems and algebraic modelling. The rst workshop in this series, AFPAC'97. inspired several groups to i- tiate new research programs, or to intensify ongoing research work in this eld, and the range of relevant topics was consequently broadened, The approach adopted by this workshop does not necessarily t the mainstream of worldwide research-granting policy. However, its search for fundamental problems in our eld may very well lead to new results in the relevant disciplines and contribute to their integration in studies of the perception-action cycle. 364 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainstheproceedingsoftheSecondInternationalSymposium on Agent Systems and Applications and the Fourth International Symposium onMobile Agents.ASA/MA 2000tookplacein Zurich,Switzerland,atthe ETH (the Swiss Federal Institute of Technology) on September 13 15, 2000. In the age of information overload, agents have become an important p- gramming paradigm. Agents can act on behalf of users to collect, lter, and process information. They can act autonomously and react to changing en- ronments. Agents are deployed in di erent settings, such as industrial control, Internet searching, personal assistance, network management, games, and many others. In our increasingly networked world, mobile code is another important p- grammingparadigm.Indistributed applicationsmobile code can improvespeed, exibility,structure,security,orthe ability to handle disconnection.Mobile code has been applied to mobile computing, wireless networks, active networks, m- ufacturing,networkmanagement,resourcediscovery,softwaredisseminationand con guration, and many other situations. Mobile agents combine the features of agents and mobile-code technologies, and present their own set of challenges. Their use is increasingly explored by an expanding industry. 300 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Smart cards have been driven by the need for a secure, portable, computing platform. Hence it is no surprise that security considerations dominated their research. The CARDIS conferences were created to provide a forum for this research. CARDIS 1998 is the third international conference on Smart Card Research and Advanced Applications, held in Louvain-la-Neuve, Belgium, 14-16 Sept- ber 1998. The rst CARDIS was held in Lille, France in November 1994, and the second was held in Amsterdam, The Netherlands in September 1996. The fourth CARDIS is scheduled to take place in Bristol, UK in September 2000 . This volume contains the refereed papers presented at CARDIS 1998. These 35 papers were rst published in a pre-proceedings and distributed to the - tendees at the conference; they have subsequently been revised and updated for this volume. The papers discuss all aspects of smart-card research: Java cards, elect- nic commerce applications, e ciency, security (including cryptographic al- rithms, cryptographic protocols, and authentication), and architecture. Subm- sions from Europe, the U.S., Asia, and Australia show that this is indeed an international area of research, and one that is becoming more popular as pr- tical demand for smart cards increase. We wish to thank the Program Committee members who did an excellent job in reviewing papers and providing feedback to the authors. 396 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Merging fundamental concepts of analysis and recursion theory to a new exciting theory, this book provides a solid fundament for studying various aspects of computability and complexity in analysis. It is the result of an introductory course given for several years and is written in a style suitable for graduate-level and senior students in computer science and mathematics. Many examples illustrate the new concepts while numerous exercises of varying difficulty extend the material and stimulate readers to work actively on the text. 304 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume has its origins in the rst Learning Language in Logic (LLL) wo- shop which took place on 30 June 1999 in Bled, Slovenia immediately after the Ninth International Workshop on Inductive Logic Programming (ILP'99) and the Sixteenth International Conference on Machine Learning (ICML'99). LLL is a research area lying at the intersection of computational linguistics, machine learning, and computational logic. As such it is of interest to all those working in these three elds. I am pleased to say that the workshop attracted subm- sions from both the natural language processing (NLP) community and the ILP community, re ecting the essentially multi-disciplinary nature of LLL. Eric Brill and Ray Mooney were invited speakers at the workshop and their contributions to this volume re ect the topics of their stimulating invited talks. After the workshop authors were given the opportunity to improve their papers, the results of which are contained here. However, this volume also includes a substantial amount of two sorts of additional material. Firstly, since our central aim is to introduce LLL work to the widest possible audience, two introductory chapters have been written. Dzeroski, Cussens and Manandhar provide an - troduction to ILP and LLL and Thompson provides an introduction to NLP. 312 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainscontributedpapersfromparticipantsintheGenericP- gramming Seminar held 27 April 1May1998atthDagstuhl e Conference CenterinWadern,Germany. Genericprogrammingisasub-disciplineofcomputersciencethatdealswith nding abstract representations of e cient algorithms, data structures, and other software concepts, and with their systematic organization. The goal of genericprogrammingistoexpressalgorithmsanddatastructuresinabroadly adaptable,interoperableformthatallowstheirdirectuseinsoftwareconstr- tion. Amongthemostobviousachievementsofthisrelativelynewprogramming paradigmarenewlibrariesofsoftwarecomponents,bothinareasoffundam- talandbroadlyusedalgorithmsanddatastructures theStandardTemplate Library andinmorespecializedareassuchascomputeralgebra,graphtheory, and computational geometry. As useful as such components may be, however, theyareprobablylessimportantthantheoverallgenericprogrammingmeth- ologybeingdeveloped. Thepaperscollectedherearereportsfromthe eldonthe majorproblemsandemergingsolutionsofgenericprogrammingmethodology. June2000 MehdiJazayeri Rudige rLoos DavidMusser VI Organization Organization The Generic Programming Seminar was held 27 April 1May 1998 at the ConferenceCenteroftheSchloßDagstuhl,locatedinWadern,Germany(near Saarbruc ken). Therewerefortynineattendeesfromtencountries. Theformal programofthemeetingincludedthirtysevenlectures,apanelsessiononsoftware librarystandardization,andadiscussionofopenproblemsandprojects. Many informaldiscussionsalsotookplace,oneofthemanybene tsoftheDagstuhl setting. The traditional Dagstuhl social event was at this meeting a Baroque concertheldinthechapeloftheSchloß. Organizers MehdiJazayeri TechnicalUniversityofVienna R udigerLoos Tubingen University DavidMusser RensselaerPolytechnicInstitute AlexanderStepanov SGI Attendees DavidAbrahams MarkoftheUnicorn,Inc. GiuseppeAttardi UniversityofPisa MattAustern SGI UlrichBreymann HochschuleBremen StephenCerniglia RensselaerPolytechnicInstitute GeorgeCollins UniversityofDelaware JamesCrotinger LosAlamosNationalLab KrzysztofCzarnecki Daimler-Benz JamesDehnert SGI AngelDiaz IBMWatsonResearchCenter AxelDold UlmUniversity MatthewDwyer KansasStateUniversity UlrichEisenecker FachhochschuleHeidelberg HolgerGast Tubingen University RobertGluc k CopenhagenUniversity FriedrichvonHenke UniversityofUlm HoonHong NorthCarolinaStateUniversity MehdiJazayeri TechnicalUniversityofVienna JohannJeuring UtrechtUniversity NicolaiJosuttis Bredex ErichKaltofen NorthCarolinaState UllrichKothe RostockUniversity Organization VII UweKreppel Tubingen University WolfgangKuc hlin Tubingen University DietmarKuhl KonstanzUniversity GaryLeavens IowaStateUniversity KarlLieberherr NortheasternUniversity R udigerLoos Tubingen University KurtMehlhorn MPI,Saarbruc kenUniversity DavidMusser RensselaerPolytechnicInstitute StefanN aher HalleUniversity OscarNierstrasz BernUniversity MartinOdersky UniversityofSouthAustralia WilliamOgden OhioStateUniversity ArturoSanchez-Ruiz UniversityofCentralVenezuela StefanSchirra Saarbruc kenUniversity WolfgangSchreiner RISC-Linz SibylleSchupp RensselaerPolytechnicInstitute ChristophSchwarzweller Tubingen University MuraliSitaraman W. VirginiaUniversity GeorgTrausmuth TechnicalUniversityofVienna DavidVandevoorde Hewlett-Packard ToddVeldhuizen UniversityofWaterloo BruceWeide OhioStateUniversity KarstenWeihe KonstanzUniversity RolandWeiss Tubingen University ReinhardWilhelm Saarbruc kenUniversity AlexandreZamulin RussianAcademyofSciences,Novosibirsk WolfZimmermann KarlsruheUniversity TableofContents FoundationsandMethodologyComparisons FundamentalsofGenericProgramming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 JamesC. Dehnert,AlexanderStepanov(SiliconGraphics,Inc. ) RequirementOrientedProgramming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 DavidMusser,SibylleSchupp(RensselaerPolytechnicInstitute), R udigerLoos(UniversityofTubingen) GenerativeProgrammingandActiveLibraries. . . . . . . . . . 284 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the past two years, the Smalltalk and Java in Industry and Education C- ference (STJA) featured a special track on generative programming, which was organized by the working group Generative and Component-Based Software Engineering' of the Gesellschaft fur Informatik' FG 2.1.9 Object-Oriented Software Engineering.' This track covered a wide range of related topics from domain analysis, software system family engineering, and software product - nes, to extendible compilers and active libraries. The talks and keynotes directed towards this new software engineering paradigm received much attention and - terest from the STJA audience. Hence the STJA organizers suggested enlarging this track, making it more visible and open to wider, international participation. This is how the GCSE symposium was born. The rst GCSE symposium attracted 39 submissions from all over the world. This impressive number demonstrates the international interest in generative programming and related elds. After a careful review by the program comm- tee, fteen papers were selected for presentation. We are very grateful to the members of the program committee, all of them renowned experts, for their dedication in preparing thorough reviews of the submissions. Special thanks go to Elke Pulvermuller and Andreas Speck, who proposed and organized a special conference event, the Young Researches Workshop (YRW). This workshop provided a unique opportunity for young scientists and Ph.D. 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this monograph, Joachim Baumann provides in-depth coverage of essential research issues; namely, mechanisms for locating and terminating mobile agents and for orphan detection in a mobile agent system. The reader will gain insights into the design and implementation of three control mechanisms for use in mobile agent systems: the energy concept, the path concept, and the shadow concept. The author examines these mechanisms and offers a solid argument as to why they would be better choices over existing mechanisms with respect to message complexity, migration delay, and availability. All in all, this book is an outstanding contribution to advancing the science of mobile agents and it will help the community better understand how to tame mobile agents. 188 pp. Englisch.