springer berlin heidelberg jun 2004 (136 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Internet and the World Wide Web (WWW) play an increasingly imp- tant role in our today s activities. More and more we use the Web to buy goods and to inform ourselves about cultural, political, economical, medical, and scienti c developments. For example, accessing ight schedules, me- cal data, or retrieving stock information become common practice in today s world. Many people assume that there is no one who watches them when accessing this data. However,sensitive userswho accesselectronic shops(e-shops) might have observedthat this assumptionoften isnot true. In many cases,E-shopstrack the users accessbehavior when browsingthe Web pagesof the e-shopthus deriving accesspatterns for individual shoppers. Therefore,this knowledge on access behavior and access patters allows the system to tailor access to Webpagesforthatusertohis/herspeci cneedsinthefuture.Thistrackingof usersmightbeconsideredharmlessand acceptable inmanycases.However, in cases when this information is used to harm a person - for example about the person s health problems - or to violate his/her privacy (for example nding out about his/her nancial situation), he/she would like to be sure that such tracking is impossible to protect the user s rights. 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made to provide novel tools, methods, and frameworks to establish the necessary standards for wider use of MAS as a technology of its own and not only as an attractive paradigm.This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Programming of the First International Workshop on Programming Multi-Agent Systems, PROMAS 2003, held in Melbourne, Australia in July 2003 as part of AAMAS 2003. Besides 8 workshop papers, the volume contains 3 invited papers to complete coverage of the relevant aspects. The papers are organized in topical sections on programming multi-agent systems, languages for multi-agent systems, and principles and tools for multi-agent systems. 236 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The workshop was attended by about 100 researchers. Out of 37 submitted papers, 25 were selected after a refereeing process. The nal choices were made by the editors. Two previous workshops of the Types Working Group under EU IST project 29001 were held in 2000 in Durham, UK, and in 2002 in Berg en Dal (close to Nijmegen), The Netherlands. These workshops followed a series of meetings organized in the period 1993-2002 within previous Types projects (ESPRIT BRA 6435 and ESPRIT Working Group 21900). The proceedings of these e- lier workshops were also published in the LNCS series, as volumes 806, 996, 1158, 1512, 1657, 2277, and 2646. ESPRIT BRA 6453 was a continuation of ESPRIT Action 3245, Logical Frameworks: Design, Implementation and Ex- riments. Proceedings for annual meetings under that action were published by Cambridge University Press in the books 'Logical Frameworks', and 'Logical Environments', edited by G. Huet and G. Plotkin. We are very grateful to the members of the research group 'Semantics and Logics of Computation' of the Computer Science Department of the University of Turin, who helped organize the Types 2003 meeting in Torino. 424 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Writing a book is not possible without the generous input of many people. It is a pleasure to have the opportunity to thank at least some of these people. Prof. Dr. Jochen Michaelis, the supervisor of my dissertation, taught me how to do economic analysis and initiated my interest in labour market is sues. Discussions with him have always been enlightening and have greatly improved the analysis in this book. Moreover, he always encouraged me when I experienced a slump in my motivation. He never lost his calmness and good temper, not even in situations when my need for discussion must have been bothering him. Thanks for that Jochen. I'm indebted to Prof. Dr. Peter Weise for taking over the job as the sec ond referee of my thesis. He gave very valuable comments and sacrificed his christmas holiday to write the referee report as fast as possible. I also want to thank Prof. Stefan Voigt and Prof. Dr. Reinhold Kosfeld, the other two members of the dissertation committee, for the discussion during the defence of the thesis. 220 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Closing a gap in the literature, this volume is intended both as an introductory text at postgraduate level and as a modern, comprehensive reference for researchers in the field.Provides a full working description of the main fundamental tools in the theorists toolbox which have proven themselves on the field of quantum magnetism in recent years. Concludes by focusing on the most important cuurent materials form an experimental viewpoint, thus linking back to the initial theoretical concepts. 500 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational logic, and hence the title of this volume. The motivating force behind LOPSTR has been the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as the imperative paradigm. Speci cation, synthesis, transformation or specialization, analysis, debugging and veri cation can all be given logical foundations, thus providing a unifying framework for the whole development process. In the past 10 years or so, such a theoretical framework has indeed begun to emerge. Even tools have been implemented for analysis, veri cation and speci- ization. However,itisfairtosaythatsofarthefocushaslargelybeenonprogrammi- in-the-small. So the future challenge is to apply or extend these techniques to programming-in-the-large, in order to tackle software engineering in the real world. Returning to this volume, our aim is to present a collection of papers that re ect signi cant research e orts over the past 10 years. These papers cover the wholedevelopmentprocess:speci cation,synthesis,analysis,transformationand specialization, as well as semantics and systems. 552 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- grams,whether implementedinhardwareorsoftware.Thefocus isontechniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programmingmethodology,programspeci cation and transformation, programming paradigms, programming calculi, and programming language - mantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference. Each paper was refereed by at least four, and often more, committee members. This volume contains 19 papers selected for presentation by the program committee from 37 submissions, as well as the abstract of one invited talk: - tended Static Checking for Java by Greg Nelson, Imaging Systems Department, HP Labs, Palo Alto, California. The conference took place in Stirling, Scotland. The previous six conferences wereheld in1989inTwente,TheNetherlands;in1992inOxford,UK;in 1995in KlosterIrsee,Germany;in 1998in Marstrandnear Got eborg,Sweden;in2000in Pontede Lima,Portugal;and in 2002in Dagstuhl, Germany.The proceedingsof these conferences were published as LNCS 375, 669, 947, 1422, 1837, and 2386, respectively. 416 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The fusion of di erent information sourcesis a persistent and intriguing issue. It hasbeenaddressedforcenturiesinvariousdisciplines,includingpoliticalscience, probability and statistics, system reliability assessment, computer science, and distributed detection in communications. Early seminal work on fusion was c- ried out by pioneers such as Laplace and von Neumann. More recently, research activities in information fusion have focused on pattern recognition. During the 1990s,classi erfusionschemes,especiallyattheso-calleddecision-level,emerged under a plethora of di erent names in various scienti c communities, including machine learning, neural networks, pattern recognition, and statistics. The d- ferent nomenclatures introduced by these communities re ected their di erent perspectives and cultural backgrounds as well as the absence of common forums and the poor dissemination of the most important results. In 1999, the rst workshop on multiple classi er systems was organized with the main goal of creating a common international forum to promote the diss- ination of the results achieved in the diverse communities and the adoption of a common terminology, thus giving the di erent perspectives and cultural ba- grounds some concrete added value. After ve meetings of this workshop, there is strong evidence that signi cant steps have been made towards this goal. - searchers from these diverse communities successfully participated in the wo- shops, and world experts presented surveys of the state of the art from the perspectives of their communities to aid cross-fertilization. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Third International Conference on Natural Language Generation (INLG 2004) was held from 14th to 16th July 2004 at Careys Manor, Brockenhurst, UK. Supported by the Association for Computational Linguistics Special - terest Group on Generation, the conference continued a twenty-year tradition of biennial international meetings on research into natural language generation. Recent conference venues have included Mitzpe Ramon, Israel (INLG 2000) and New York, USA (INLG 2002). It was our pleasure to invite the thriving and friendly NLG research community to the beautiful New Forest in the south of England for INLG 2004. INLG is the leading international conference in the eld of natural language generation. It provides a forum for the presentation and discussion of original research on all aspects of the generation of language, including psychological modelling of human language production as well as computational approaches to the automatic generation of language. This volume includes a paper by the keynote speaker, Ardi Roelofs of the Max Planck Institute for Psycholingu- tics and the F. C. Donders Centre for CognitiveNeuroimaging,18 regular papers reportingthelatestresearchresultsanddirections,and4studentpapersdescr- ing doctoral work in progress. These papers reveal a particular concentration of current research e ort on statistical and machine learning methods, on referring expressions, and on variation in surface realisation. The papers were selected from 46 submissions from all over the world (27 from Europe, 13 from North America, 6 from elsewhere), which were subjected to a rigorous double-blind reviewing process undertaken by our hard-working programme committee. 236 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years, concepts in object-oriented modeling and programming have been extended in several directions, giving rise to new paradigms such as age- orientation and feature-orientation. This volume came out of a Dagstuhl seminar exploring the relationship - tween the original paradigm and the two new ones. Following the success of the seminar, the idea emerged to edit a volume with contributions from parti- pants including those who were invited but could not come. The participants reaction was very positive, and so we, the organizers of the seminar, felt - couraged to edit this volume. All submissions were properly refereed, resulting in the present selection of high-quality papers in between the topics of objects, agents and features. The editors got help from a number of additional reviewers, viz. Peter Ahlbrecht, Daniel Amyot, Lynne Blair, Jan Broersen, Mehdi Dastani, Virginia Dignum, Dimitar Guelev, Benjamin Hirsch, Maik Kollmann, Alice Miller, Stephan Rei -Marganiec, Javier Vazquez-Salceda, and Gerard Vreeswijk. Finally, we would like to take this opportunity to thank all the persons - volvedintherealizationoftheseminarandthisbook:attendees,authors,revi- ers, and, last but not least, the sta from Schloss Dagstuhl and Springer-Verlag. February 2004 The Editors TableofContents Objects, Agents, and Features: An Introduction. . . . . . . . . . . . . . . . . . . . . . . . 1 John-Jules Ch. Meyer, Mark D. Ryan, and Hans-Dieter Ehrich Coordinating Agents in OO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, and John-Jules Ch. Meyer On Feature Orientation and on Requirements Encapsulation Using Families of Requirements. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Jan Bredereke Detecting Feature Interactions: How Many Components Do We Need . . . . 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Agent metaphors and technologies are increasingly adopted to harness and g- ernthecomplexityoftoday ssystems.Asaconsequence,thegrowingcomplexity of agent systems calls for models and technologies that promote system p- dictability and enable feature discovery and veri cation. Formal methods and declarative technologies have recently attracted a growing interest as a means to address such issues. The aim of the DALT 2003 workshop was two-fold. On the one hand, we wanted to foster a discussion forum to export such techniques into the broader communityofagentresearchersandpractitioners.Ontheotherhand,wewanted to bring in the issues of real-world, complex, and possibly large-scale agent s- tem design in the perspective of formal methods and declarative technologies. Thanks to the very high quality of our program committee, we managed to put together a rich program, including three technical sessions and two panel sessions:TheUseofDeclarativeProgrammingforAgent-OrientedSoftwareEn- neering, moderated by Leon Sterling and Andrea Omicini, and Declarative and Logic-Based Technology for Agent Reasoning and Interactions, organized and moderated by Rafael Bordini and Wiebe van der Hoek, with the participation of ve invited panelists. This bookcontainstherevisedandextendedversionsofthe paperspresented at the workshop, as well as three invited contributions by leading researchers of the eld. It is composed of three parts: (i) software engineering and multi-agent system prototyping, (ii) agent reasoning, BDI logics and extensions, and (iii) social aspects of multi-agent systems. 300 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the accepted papers from the 3rd International School andSymposium onAdvanced Distributed Systems heldin Guadalajara,Mexico, January24 30,2004.Thiseventwasorganizedbytheteamsmadeupofmembers of CINVESTAV Guadalajara, CUCEI, the Computer Science Department of the Centre of Research and Advances Studies at the CUCEA campus of the University of Guadalajara, Mexico, the University of Rostock, Germany and ITESO, Guadalajara. The ISSADS symposium provides a forum for scientists and people from industry to discuss the progress of applications and theory of distributedsystems.Thisyeartherewereover300participantsfrom3continents, among which about 20 percent came from industry. Theconferenceprogramconsistedof25acceptedpapersoutof46submissions and covered several aspects of distributed systems from hardware and system level up to di erent applications. These papers were selected by a peer review process, in which each paper was evaluated by at least three members of the international program committee. Inaddition,thethreeinvitedspeakers,AdolfoGuzmanArenas,YakupParker and Joaquin Vila, presented interesting overviews to current development and research directions in distributed systems. Furthermore, eight tutorials and four industrial forums from IBM, INTEL, HP and SUN enabled the participants to extend their knowledge in selected areas. A panel, which was organized by a team composed of researchersfrom the Universidadde Guadalajaraand focused on tra c control and simulation, also demonstrated the practical application of recent research in distributed systems to the problems of Guadalajara. 296 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Presents two essays commemorating Werner Heisenberg's 100th birthday, which are complemented by a short and nicely illustrated biographical note in the appendix. In the second part, the reader will find a spectrum of articles devoted to important developments in central areas of research by authors are outstanding scientists.Contributions on modern developments by eminent physicists such as Anton Zeilinger, Julius Weiss, Elliott Lieb, Michael Peskin, Jürg Frölich, Alan Watson, and others. 200 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This comprehensive and didactic overview explores the nonlinear effects from a physical point of view and discusses the implications for signal capacity. Enriched with practical considerations and experimental results, the book offers special chapters dealing with applications of nonlinear effects for signal processing, ultrafast-optical switching, wavelength conversion, nonlinear amplification, and optical phase-conjugation. Equipped with chapter-end summaries and problems, this valuable reference can also serve as a graduate-level textbook. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Colloquium on Structural Information and Communication Complexity (SIROCCO) is an annual meeting focused on the relationship between comp- ing and communication. Over its 11 years of existence, SIROCCO has gained a considerable respect and has become an acknowledged forum bringing together specialists interested in the fundamental principles underlying all computing through communication. SIROCCO 2004 was the 11th in this series, held in Smolenice Castle, June 21 23,2004.PreviousSIROCCOcolloquiatookplaceinOttawa(1994),Olympia (1995), Siena (1996), Ascona (1997), Amal (1998), Lacanau-Océan (1999), L Aquila (2000), Val de Nuria (2001), Andros (2002), and Umeå(2003). The colloquium in 2004 was special in the respect that, for the rst time, the p- ceedings were published in the Lecture Notes in Computer Science series of Springer Verlag. SIROCCO has alwaysencouragedhigh-quality researchfocused on the study of those factors which are signi cant for the computability and the communi- tion complexity of problems,and onthe interplay betweenstructure, knowledge, and complexity. It covers topics as distributed computing, mobile computing, optical computing, parallel computing, communication complexity, information dissemination, routing protocols,distributed data-structures, models of com- nication, network topologies, high-speed interconnection networks, wireless n- works, sense of direction, structural properties, and topological awareness. The 56 contributions submitted to this year s SIROCCO were subject to a thorough refereeing process and 26 high quality submissions were selected for publication. WethanktheProgramCommitteemembersfortheirprofoundandcarefulwork. Our gratitude extends to the numerous subreferees for their valuable refereeing. We also acknowledgethe e ort of all authors who submitted their contributions. 320 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumeconsistsofpapersselectedfromthe presentationsgivenatthe Int- national Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2003). The papers underwent up to two additional reviews. This volume contains the revised versions of these papers. AGTIVE2003wasthesecondeventoftheGraphTransformationcommunity. The aim of AGTIVE is to unite people from research and industry interested in the application of Graph Transformation to practical problems. The rst wo- shoptookplaceatKerkrade,TheNetherlands.Theproceedingsappearedasvol. 1779ofSpringer-Verlags sLectureNotesinComputerScienceseries.Thissecond workshop, AGTIVE 2003, was held in historic Charlottesville, Virginia, USA. Graphs constitute well-known, well-understood, and frequently used means to depict networks of related items in di erent application domains. Various typesofgraphtransformationapproaches alsocalledgraphgrammarsorgraph rewriting systems have been proposed to specify, recognize, inspect, modify, anddisplaycertainclassesofgraphsrepresentingstructuresofdi erentdomains. Research activities based on Graph Transformations (GT for short) cons- tute a well-established scienti c discipline within Computer Science. The int- national GT research community is quite active and has organized international workshops and the conference ICGT 2002. The proceedings of these events, a three volume handbook on GT, and books on speci c approaches as well as big application projects give a good documentation about research in the GT eld (see the list at the end of the proceedings). The intention of all these activities has been (1) to bring together the - ternational community in a viable scienti c discussion, (2) to integrate di erent approaches, and (3) to build a bridge between theory and practice. 520 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at SWAT 2004, the 9th Scandi- vian Workshop on Algorithm Theory, which was held on July 8 10, 2004, at the Louisiana Museum of Modern Art in Humlebæk on the Øresund coast north of Copenhagen. The SWAT workshop, in reality a full- edged conference, has been held biennially since 1988 and rotates among the ve Nordic countries, D- mark, Finland, Iceland, Norway, and Sweden. The previous meetings took place in Halmstad (1988), Bergen (1990), Helsinki (1992), Arhus (1994), Reykjavik (1996), Stockholm (1998), Bergen (2000), and Turku (2002). SWAT alternates with the Workshop on Algorithms and Data Structures (WADS), held in o- numbered years. Thecallforpapersinvitedcontributionsonallaspectsofalgorithmtheory.A totalof121submissionswasreceived anoverallSWAThigh.Theseunderwent thorough reviewing, and the program committee met in Copenhagen on March 20 21, 2004, and selected 40 papers for presentation at the conference. The programcommitteewasimpressedwiththequalityofthesubmissionsand,given the constraints imposed by the choice of conference venue and duration, had to make some tough decisions. The scienti c program was enriched by invited presentations by Gerth Stølting Brodal (University of Aarhus) and Charles E. Leiserson (Massachusetts Institute of Technology). TwosatelliteeventswereheldimmediatelybeforeSWAT2004:theWorkshop on On-Line Algorithms (OLA 2004), organized by members of the Department of Mathematics and Computer Science at the University of Southern Denmark, and the Summer School on Experimental Algorithmics, organized by the Perf- mance Engineering Laboratory in the Department of Computing at the Univ- sity of Copenhagen. More information about SWAT 2004 and its satellite events is available at the conference web siteswat.diku.dk/. 524 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software development is being revolutionized. The heavy-weight processes of the 1980s and 1990s are being replaced by light-weight, so called agile processes. Agile processes move the focus of software development back to what really matters: running software. This is only made possible by accepting that software developmentisacreativejobdoneby,with,andforindividualhumanbeings.For this reason, agile software development encourages interaction, communication, and fun. This was the focus of the Fifth International Conference on Extreme P- grammingandAgileProcessesinSoftwareEngineeringwhichtookplacebetween June 6 and June 10, 2004 at the conference center in Garmisch-Partenkirchen at the foot of the Bavarian Alps near Munich, Germany. In this way the conference provided a unique forum for industry and academic professionals to discuss their needs and ideas for incorporating Extreme Programming and Agile Metho- logies into their professional life under consideration of the human factor. We celebrated this year's conference by re ecting on what we had achieved in the last half decade and we also focused on the challenges we will face in the near future. 380 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Afterthree decadesofresearch andpractice,reuse ofexistingsoftwareartefactsremains the most promising approach to decreasing effort for software development and evo- tion, increasing quality of software artefacts and decreasing time to market of software products. Over time, we have seen impressive improvements, in extra-organizational reuse,e.g.COTS,aswellasinintra-organizationalreuse,e.g.softwareproductfami lies. Despite the successes that we, as a community, have achieved, several challenges remain to be addressed. The theme for this eighth meeting of the premier international conference on software reuse is the management of software variability for reusable software.Allreusablesoftwareoperatesinmultiplecontextsandhastoaccommodatethe differencesbetweenthesecontextsthroughvariation.Inmodernsoftware,thenumberof variation points may range in the thousands with an even larger number of dependencies between these points. Topics addressing the theme include the representation, design, assessment and evolution of software variability. The proceedings that you are holding as you read this report on the current state-- the-art in software reuse.Topics covered in the proceedings include software variability, testing of reusable software artefacts, feature modeling, aspect-oriented software de- lopment, composition of components and services, model-based approaches and several other aspects of software reuse. May 2004 Jan Bosch Charles Krueger Organizing Committee General Chair Kyo C. Kang, Pohang University of Science and Technology, Korea Program Co-chairs Jan Bosch, University of Groningen, The Netherlands Charles Krueger, BigLever Software, Inc., U.S.A. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Human conversational partners are able, at least to a certain extent, to detect the speaker's or listener's emotional state and may attempt to respond to it accordingly. When instead one of the interlocutors is a computer a number of questions arise, such as the following: To what extent are dialogue systems able to simulate such behaviors Can we learn the mechanisms of emotional be- viors from observing and analyzing the behavior of human speakers How can emotionsbeautomaticallyrecognizedfromauser'smimics,gesturesandspeech What possibilities does a dialogue system have to express emotions itself And, very importantly, would emotional system behavior be desirable at all Given the state of ongoing research into incorporating emotions in dialogue systems we found it timely to organize a Tutorial and Research Workshop on A ectiveDialogueSystems(ADS2004)atKlosterIrseein GermanyduringJune 14-16, 2004. After two successful ISCA Tutorial and Research Workshops on Multimodal Dialogue Systems at the same location in 1999 and 2002, we felt that a workshop focusing on the role of a ect in dialogue would be a valuable continuation of the workshop series. Due to its interdisciplinary nature, the workshop attracted submissions from researchers with very di erent backgrounds and from many di erent research areas, working on, for example, dialogue processing, speech recognition, speech synthesis, embodied conversational agents, computer graphics, animation, user modelling, tutoring systems, cognitive systems, and human-computer inter- tion. 340 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This year marked the coming of age of the British National Conference on Databases with its 21st conference held at Heriot-Watt University, Edinburgh, in July 2004. To mark the occasion the general theme of the conference was 'When Data Is Key', reflecting not only the traditional key awarded on a 21st birthday, but also the ev- growing importance of electronic data management in every aspect of our modern lives. The conference was run as part of DAMMS (Data Analysis, Manipulation, Management and Storage) Week, which included a number of co-located and complementary conferences and workshops, including the 2nd Workshop on Teaching, Learning and Assessment in Databases (TLAD2), the BNCOD BioInformatics Workshop, and the 1st International Conference on the Future of Consumer Insight Developments in Retail Banking. The aim of this co-location was to develop synergies between the teaching, research and commercial communities involved in all aspects of database activities, and to use BNCOD as a focus for future synergies and developments within these communities. Although this is entitled the British National Conference on Databases, BNCOD has always had an international focus, and this year more than most, with the majority of the papers submitted and accepted coming from outwith the UK. 284 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The fourth internationalworkshop,'EngineeringSocietiesin the Agents World' (ESAW 2003) was a three-dayevent that took place at the end of October 2003. After previous events in Germany, the Czech Republic, and Spain, the workshop crossed the Channel, to be held at the premises of Imperial College, London. The steady increase in the variety of backgrounds of contributing sci- tists, fascinating new perspectives on the topics, and number of participants, bespeaks the success of the ESAW workshop series. Its idea was born in 1999 among members of the working group on 'Communication, Coordination, and Collaboration' of the rst lease of life of the European Network of Excellence on Agent-Based Computing, AgentLink, out of a critical discussion about the general mindset of the agent community. At that time, we felt that proper c- siderationsofsystemicaspectsofagenttechnologydeployment,suchasackno- edgement of the importance of the social and environmental perspectives, were sorely missing: a de ciency that we resolved should be addressed directly by a new forum. 428 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci cation, synthesis, veri cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re nement and logics for re nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro ted from the shared lectures of the invited speakers, and the active scienti c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002). 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the 7th Conference on Arti cial Intelligence and Soft Computing, ICAISC2004, held in Zakopane, Poland, June 7 11, 2004. The conference was organized by the Polish Neural Network Society in cooperation with the Department of Computer Engineering at the Tech- calUniversityofCzesto chowa, WSHE University in L od z and IEEE Neural Networks Society. The previous conferences took place in Kule (1994), Szczyrk (1996), Kule (1997) and Zakopane (1999, 2000, 2002) and attracted a large number of papers and internationally recognized speakers: Prof. Lot A. Zadeh, Prof. RobertMarks,Prof. EnriqueRuspini,Prof. Zdzis lawBubnicki,Prof. Jacek Zurada, Prof. Shun-ichi Amari, Prof. Kaoru Hirota, Prof. Ryszard Tadeusiewicz, Prof. Shiro Usui, Prof. W lodzis law Duch, Prof. Erkki Oja, Prof. Syozo Yasui, Prof. Witold Pedrycz, Prof. Janusz Kacprzyk, Prof. Laszlo T. Koczy, Prof. Soo- Young Lee and Prof. Daniel Amit. The aim of this conference is to build a bridge between traditional arti cial intelligence techniques and recently developed soft computing techniques. It was pointed out by Prof. Lot A. Zadeh that Soft Computing (SC) is a coalition of methodologies which are oriented toward the conception and design of information/intelligent systems. The principal m- bers of the coalition are: fuzzy logic (FL), neurocomputing (NC), evolutionary computing (EC), probabilistic computing (PC), chaotic computing (CC), and machine learning (ML). The constituent methodologies of SC are, for the most part, complementary and synergisticrather than competitive . Thisvolumep- sents both traditional arti cial intelligence methods and soft computing tech- ques presented in 14 parts: 1. 1268 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14-18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: - S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire - Martin Gogolla, University of Bremen, Germany Bene ts and problems of formal methods - Antoni Oliv e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems' development - Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable Wewouldliketoexpressoursinceregratitudetothesedistinguishedsp eakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di erentcountries. 352 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 15th Annual Symposium on Combinatorial Pattern Matching was held in Ciragan Palace Hotel, Istanbul, Turkey during July 5 7, 2004. CPM 2004 - peated the success of its predecessors; it even surpassed them in terms of the numberofinvitedspeakers,thenumberofsubmissions,andthenumberofpapers accepted and presented at the conference. In response to the call for papers, CPM 2004 received a record number of 79 high-quality submissions. Each submission was reviewed by at least three program committee members and the comments were returned to the authors. Following an extensive electronic discussion period, the Program Committee accepted36ofthesubmissionstobepresentedattheconference.Theyconstitute originalresearchcontributionsincombinatorialpatternmatchingalgorithmsa nd datastructures,molecularsequenceanalysis,phylogenetictreeconstruction,and RNA and protein structure analysis and prediction. CPM 2004 had ve invited speakers. In alphabetical order they were: Evan Eichler from the University of Washington, USA, Martin Farach-Colton from Rutgers University, USA, Paolo Ferragina from the University of Pisa, Italy, Piotr Indyk from MIT, USA, and Gene Myers from the University of California, Berkeley, USA. It is impossible to organize such a successful program without the help of many individuals. We would like to express our appreciation to the authors of the submitted papers and to the program committee members and external referees, who provided timely and signi cant reviews. July 2004 S.C. Sahinalp, S. Muthukrishnan, U. Dogrusoz Organization CPM 2004 was locally organized by Bilkent University, Ankara, Turkey. Within Bilkent University, the Center for Bioinformatics (BCBI) and the Computer Engineering Department cooperated. 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is an extended collection of contributions that wereoriginally subm- ted to the 1st International Workshop on Adaptive Multimedia Retrieval (AMR 2003), which was organized as part of the 26th German Conference on Arti cial Intelligence (KI 2003),and held during September 15-18,2003at the University of Hamburg, Germany. Motivated by the overall success of the workshop - as revealed by the stimulating atmosphere during the workshop and the number of very interested and active participants - we nally decided to edit a book based on revised papers that were initially submitted to the workshop. Furthermore, we invited some more introductory contributions in order to be able to provide a conclusive book on current topics in the area of adaptive multimedia retrieval systems. We hope that we were able to put together a stimulating collection of articles for the interested reader. We like to thank the organizationcommittee of the 26th German Conference on Arti cial Intelligence (KI 2003) for providing the setting and the admin- trative support in realizing this workshop as part of their program. Especially, we like to thank Christopher Habel for promoting the workshop as part of the conference program and Andreas Gun ther for his kind support throughout the organization process. 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Teaches problem-solving using two of the most important mathematical software packages: Maple and MATLAB.This new edition contains five completely new chapters covering new developments. 500 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software-intensive organizations cannot help but learn. A software organization that does not learn will not exist for long, because the software market is continuously on the move,because of new customerdemandsand needs, and becauseof new competitor products and services. Software organizationsmust adapt quickly to this ever-changing environment, and the capability to adapt is one of the most important aspects of lea- ing. Smart organizations will attempt to predict future software demands, and develop a corresponding knowledge road map that identi es the capabilities needed over time in order to meet these demands. Organizational learning typically occurs when experienced organization members share their knowledge with colleagues, such that the organization as a whole can pro t from the intellectual capital of its members. While knowledge is typically shared in an adhoc fashion by means of direct, face-to-face communication, a learning software organizationwill want to ensurethat this knowledgesharingoccursina systematicway, enabling it whenever and wherever it is needed. Since 1999,the annualInternationalWorkshopon LearningSoftwareOrganizations (LSO) hasprovideda communicationforumthat bringstogether academiaand industry to discuss the advancements in and to address the questions of continuous learning in software-intensive organizations. Building upon existing work on knowledge mana- ment and organizational learning, the workshop series promotes interdisciplinary - proaches from computer science and information systems, business, management and organization science as well as cognitive science. 188 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift celebrates the 70th birthday of Arto Kustaa Salomaa (born in Turku, Finland on June 6, 1934), one of the most in uential researchers in theoretical computer science. Most ofhis researchconcernstheory he is one of the founding fathers of formal language and automata theory, but he has also made important contributions to cryptography and natural computing. His approach to research in theoretical computer science is exemplary and inspirational for his students, collaborators, andthereadersofhispapersandbooks. Forhim,theroleoftheory(incomputer science) is to discover general rules of information processing that hold within computer science and in the world around us. One should not waste time on research concerning passing artifacts (or fashionable topics of the moment) in computer science theory should be permanently predictive, insightful, and inspiring. That s why we chose the title Theory is Forever . The main source of his in uence on theoretical computer science is his publi- tions. Arto is a born writer his papers and books are always most elegant. He has a unique gift for identifying the real essence of a research problem, and then presenting it in an incisive and eloquent way. He can write about a very involved formal topic and yet avoid a (much too common) overformalization. Many of his writings are genuine jewels and belong to the classics of theoreticalcomputer science. Theyhaveinspiredgenerationsofstudentsandresearchers. Indeed,even computers as well as computer science have learned a lot from Arto s publi- tions this is nicely illustrated by DADARA on the cover of this volume. 300 pp. Englisch.