springer berlin heidelberg springer berlin heidelberg okt 2004 (194 resultados)

Buch. Condición: Neu. Neuware -This is a book about representing symmetry in quantum mechanics. The book is on a graduate and/or researcher level and it is written with an attempt to be concise, to respect conceptual clarity and mathematical rigor. The basic structures of quantum mechanics are used to identify the automorphism group of quantum mechanics. The main concept of a symmetry action is defined as a group homomorphism from a given group, the group of symmetries, to the automorphism group of quantum mechanics. The structure of symmetry actions is determined under the assumption that the symmetry group is a Lie group. The Galilei invariance is used to illustrate the general theory by giving a systematic presentation of a Galilei invariant elementary particle. A brief description of the Galilei invariant wave equations is also given. 124 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 2nd European AcrossGrids Conference (AxGrids 2004) aimed to examine the state ofthe artinresearchandtechnologydevelopmentsinGridComputing, and provide a forum for the presentation and exchange of views on the latest grid-related research results and future work. The conference was organized by CrossGrid, a European Union-funded project on Grid research, GRIDSTART, the EU-sponsored initiative for consolidating technical advances in grids in - rope, and the University of Cyprus. It continued on from the successful 1st European Across Grids Conference, held in Santiago de Compostela, Spain, in February 2003. AxGrids 2004 was run in conjunction with the 2nd IST Conc- tation Meeting on Grid Research, which brought together representatives from allEU-funded projectsonGridresearchforanexchangeofexperiencesandideas regarding recent developments in European grid research. TheconferencewashostedinNicosia,thecapitalofCyprus,andattracted- thorsandattendeesfromalloverEurope,theUSA,andEastAsia. TheProgram Committee of the conference consisted of 37 people from both academia and - dustry, and there were 13 external reviewers. Overall, AxGrids 2004 attracted 57 paper submissions (42 full papers and 15 short posters). Papers underwent a thorough review by several Program Committee members and external - viewers. After the review, the Program Chair decided to accept 26 papers (out of 42) for regular presentations, 8 papers for short presentations, and 13 - pers for poster presentations. Accepted papers underwent a second review for inclusion this postproceedings volume, published as part of Springer¿s Lecture Notes in Computer Science series.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the 14 contributed papers and the contribution of the distinguished invited speaker B¿ ela Bollob¿ as presented at the 3rd Workshop on Algorithms and Models for the Web-Graph (WAW 2004), held in Rome, Italy, October 16, 2004, in conjunction with the 45th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2004). The World Wide Web has become part of our everyday life and information retrievalanddataminingontheWebisnowofenormouspracticalinterest.Some of the algorithms supporting these activities are based substantially on viewing the Web as a graph, induced in various ways by links among pages, links among hosts, or other similar networks. Theaimofthe2004WorkshoponAlgorithmsandModelsfortheWeb-Graph was to further the understanding of these Web-induced graphs, and stimulate the development of high-performance algorithms and applications that use the graphstructureoftheWeb.Theworkshopwasmeantbothtofosteranexchange of ideas among the diverse set of researchers already involved in this topic, and to act as an introduction for the larger community to the state of the art in this area. This was the third edition of a very successful workshop on this topic, WAW 2002 was held in Vancouver, Canada, in conjunction with the 43rd - nual IEEE Symposium on Foundations of Computer Science, FOCS 2002, and WAW 2003 was held in Budapest, Hungary, in conjunction with the 12th Int- national World Wide Web Conference, WWW 2003. This was the rst edition of the workshop with formal proceedings. 204 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -DISC, the International Symposium on Distributed Computing, is an annual conference for the presentation of research on the theory, design, analysis, - plementation, and application of distributed systems and network. DISC 2004 was held on October 4¿7, 2004, in Amsterdam, The Netherlands. There were 142 papers submitted to DISC this year. These were read and evaluated by the program committee members, assisted by external reviewers. The quality of submissions was high and we were unable to accept many dese- ing papers. Thirty one papers were selected at the program committee meeting in Lausanne to be included in these proceedings. The proceedings include an extended abstract of the invited talk by Ueli Maurer. In addition, they include a eulogy for Peter Ruzicka by Shmuel Zaks. The Best Student Paper Award was split and given to two papers: the paper ¿E cient Adaptive Collect Using Randomization¿, co-authored by Hagit Attiya, FabianKuhn,MirjamWattenhoferandRogerWattenhofer,andthe paper¿C- plingandSelf-stabilization¿,co-authoredbyLaurentFribourg,StephaneMe ssika and Claudine Picaronny. The support of the CWI and EPFL is gratefully acknowledged. The review process and the preparation of this volume were done using CyberChairPRO. I also thank Sebastien Baehni and Sidath Handurukande for their crucial help with these matters. August 2004 Rachid Guerraoui Peter Ruzicka 1947¿2003 Peter died on Sunday, October 5, 2003, at the age of 56, after a short disease. He was a Professor of Informatics at the Faculty of Mathematics, Physics and Informatics in Comenius University, Bratislava, Slovakia. Those of us who knew himthroughDISC andother occasionsmournhisdeathandcherishhismemory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volumecomprises the nal versionsof the technicalpapers presented at the UML 2004 conference held in Lisbon (Portugal), October 11¿15, 2004. UML 2004 was the seventh conference in a series of annual UML conferences. The series started in 1998 and was located at Mulhouse (France); the following years saw the conference move to Fort Collins (USA) in 1999, York (UK) in 2000,Toronto (Canada) in 2001,Dresden (Germany) in 2002,San Francisco (USA) in 2003, and now Lisbon (Portugal) in 2004. During this time, the UML conference became one of the leading conferences in the area of object-oriented modeling. While in the rst years the focus of the conference was on the scienti c investigation of the Uni ed Modeling Language (UML), which had just been adopted by the Object Management Group (OMG) at the time, the focus has changed in recent years to innovations in techniques such as metamodeling, model transformations, model validation and veri cation, aspect orientation, and beyond. Many recent research activities have been especially stimulated by the Model Driven Architecture (MDA) initiative, started in 2000 by the OMG. The goal of MDA is the de nition of a framework to enable the development of software purely based on models. In order to re ect the changes of recent years, the conference series UML will be continued, from 2005 onwards,under thenameMODELS(MOdelDrivenEngineering,Languagesand Systems). The call for papers for UML 2004 encouraged authors around the world to submit 157abstractsand 135technicalpapers. Eachsubmissionwasreviewed by at least three referees, in most cases by four.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The evolution of the Internet has led us to the new era of the information infrastructure. As the information systems operating on the Internet are getting larger and more complicated, it is clear that the traditional approaches based on centralized mechanisms are no longer meaningful. One typical example can be found in the recent growing interest in a P2P (peer-to-peer) computing paradigm. It is quite different from the Web-based client-server systems, which adopt essentially centralized management mechanisms. The P2P computing environment has the potential to overcome bottlenecks in Web computing paradigm, but it introduces another difficulty, a scalability problem in terms of information found, if we use a brute-force flooding mechanism. As such, conventional information systems have been designed in a centralized fashion. As the Internet is deployed on a world scale, however, the information systems have been growing, and it becomes more and more difficult to ensure fau- free operation. This has long been a fundamental research topic in the field. A complex information system is becoming more than we can manage. For these reasons, there has recently been a significant increase in interest in biologically inspired approaches to designing future information systems that can be managed efficiently and correctly.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume of the LNCS is the formal proceedings of the 2nd European Symposium on Ambient Intelligence, EUSAI 2004. This event was held on November 8¿10, 2004 at the Eindhoven University of Technology, in Eindhoven, the Netherlands. EUSAI 2004 followed a successful first event in 2003, organized by Philips Research. This turned out to be a timely initiative that created a forum for bringing together European researchers, working on different disciplines all contributing towards the human-centric technological vision of ambient intelligence. Compared to conferences working on similar and overlapping fields, the first EUSAI was characterized by a strong industrial focus reflected in the program committee and the content of the program. As program chairs of EUSAI 2004 we tried to preserve the character for this event and its combined focus on the four major thematic areas: ubiquitous computing, context awareness, intelligence, and natural interaction. Further, we tried to make EUSAI 2004 grow into a full-fledged double-track conference, with surrounding events like tutorials and specialized workshops, a poster and demonstration exhibition and a student design competition. The conference program included three invited keynotes, Ted Selker from MIT, Tom Rodden from the University of Nottingham and Tom Erickson from IBM.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 402 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Building on fuzzy logic and evolutionary computing, this book introduces fuzzy cooperative coevolution as a novel approach to systems design, conductive to explaining human decision process. Fuzzy cooperative coevolution is a methodology for constructing systems able to accurately predict the outcome of a decision-making process, while providing an understandable explanation of the underlying reasoning.The central contribution of this work is the use of an advanced evolutionary technique, cooperative coevolution, for dealing with the simultaneous design of connective and operational parameters. Cooperative coevolution overcomes several limitations exhibited by other standard evolutionary approaches.The applicability of fuzzy cooperative coevolution is validated by modeling the decision processes of three real-world problems, an iris data benchmark problem and two problems from breast cancer diagnosis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The Semantic Web is a worldwide endeavor to advance the Web by enriching its content with semantic metainformation that can be processed by inferen- enabled Web applications. Taxonomies and rules, along with their automated reasoning techniques, are the main components of Semantic Web ontologies. Rule systems are considered to be a major area in the further development of the Semantic Web. On one hand, rules can specify declarative knowledge in ontology languages, expressing constraints or transformations, either in conju- tionwith,orasanalternativeto,descriptionlogics.Ontheotherhand, rulescan specify behavioral knowledge, enforcing policies or reacting to events/changes. Finally, rule markup languages such as RuleML allow us to publish rules on the Web, to process rules in general XML environments as well as special rule engines, to exchange rules between di erent applications and tools via XSLT translators, as well as to embed rules into other XML content and vice versa. This workshop was dedicated to all aspects of rules and rule markup l- guages for the Semantic Web. RuleML 2004 was the third in a series of wo- shops that was initiated with the International Semantic Web Conference. The previous workshops were held on Sardinia, Italy (2002), and on Sanibel Island, USA (2003). Thisyearwehad25submissions,ofwhich11wereacceptedasregularpapers and another ve as short papers describing tools. Wearegratefultoourtwoinvitedspeakers,MikeDeanfromBBNandChr- tine Golbreich from the University of Rennes. Our thanks also go to all subm- ters and reviewers without whom the workshop and these proceedings could not have succeeded.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume of the Lecture Notes in Computer Science series contains all the papersacceptedforpresentationatthe13thIFIP/IEEEInternationalWorkshop on Distributed Systems: Operations and Management (DSOM 2004), which was held at the University of California, Davis during November 15¿17, 2004. DSOM2004wasthe fteenthworkshopinaseriesofannualworkshopsandit followed in the footsteps of highly successful previous meetings, the most recent of which were held in Heidelberg, Germany (DSOM 2003), Montreal, Canada (DSOM 2002), Nancy, France (DSOM 2001), and Austin, USA (DSOM 2000). The goal of the DSOM workshops is to bring together researchers in the areas of networks, systems, and services management, from both industry and academia, to discuss recent advances and foster future growth in this eld. In contrast to the larger management symposia, such as IM (Integrated Management) and NOMS (Network Operations and Management Symposium), the DSOM wo- shops are organized as single-track programs in order to stimulate interaction among participants. The focus of DSOM 2004 was ¿Management Issues in Utility Computing. ¿ Increasingly there is a trend now towards managing large infrastructures and services within utility models where resources can be obtained on demand. Such a trend is being driven by the desire to consolidate infrastructures within - terprises and across enterprises using third-party infrastructure providers and networked infrastructures like Grid and PlanetLab. The intent in these init- tives is to create systems that provide automated provisioning, con guration, and lifecycle management of a wide variety of infrastructure resources and s- vices, on demand. 288 pp. Englisch.

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

Taschenbuch. Condición: Neu. Neuware -As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be taken into account from the very beginning of the design process, it is appropriate that dependability is addressed at the architectural level.This book results from an effort to bring together the research communities of software architectures and dependability. Inspired by the ICSE 2003 Workshop on Software Architectures for Dependable Systems, the book focuses on topics relevant to improving the state of the art in architecting dependable systems. The 15 thoroughly reviewed papers originate partly from the workshop; others were solicited in order to achieve complete coverage of all relevant aspects. The papers are organized into topical sections on architectures for dependability, fault-tolerance in software architectures, dependability analysis in software architectures, and industrial experience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The explosion in data exchange fostered by the success of the Web has restated semantics as a kernel issue in the development of services providing data and - formationtousersandapplicationsworldwide.Thisnewlydesignatedconference serieson¿SemanticsfortheNetworkedWorld¿uni esintoasingleframework the previous series on ¿Database Semantics¿ and ¿Visual Database Systems¿ that the IFIP WG 2.6 has been o ering since 1985. Whereas the intent of the conferenceseriesistoexploreinterestingresearchissuesrelatedtosemantics,the themeforthe2004editionis¿SemanticsforGridDatabases¿.Gridcomputing,a new eld concentrating on ¿ exible, secure, coordinated resource sharing among dynamic collections of individuals, institutions, and resources (also referred to as virtual organizations)¿, has gathered momentum in the context of providing shared infrastructures for large-scale scienti c computations and data analysis. Similarly, P2P computing has attracted substantial attention. Currently, attention is devoted to the provision of middleware services to makecomputationalresourcesinteroperableatthetechnicallevelandtoincrease the e ciency of use of physical resources. However, as Grid and P2P computing infrastructures are being increasingly adopted, they are likely to have typical problems of information overload that manifest themselves in any large-scale infrastructure for information and application sharing (e.g., the WWW). The need for resource discovery, application and service interoperability, integration and composition manifest themselves in these infrastructures. The ability to interoperate at the semantic level will largely determine the continued success and utilization of these infrastructures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -estimations of probabilistic grammars.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The design of intelligent trading agents, mechanisms, and systems has received growingattentionin the agentsandmultiagentsystemscommunities in ane ort to address the increasing costs of search, transaction, and coordination which follows from the increasing number of Internet-enabled distributed electronic markets. Furthermore, new technologies and supporting business models are - sulting in a growing volume of open and horizontally integrated markets for trading of an increasingly diverse set of goods and services. However, growth of technologies for such markets requires innovative solutions to a diverseset of - isting and novel technical problems which we are only beginning to understand. Speci cally, distributed markets present not only traditional economic problems but also introduce novel and challenging computational issues that are not r- resentedin the classiceconomicsolution concepts.Novelto agent-mediatedel- tronic commerce are considerations involving the computation substrates of the agents and the electronic institutions that supports, and trading, and also the human-agent interface (involving issues of preference elicitation, representation, reasoningandtrust).Insum,agent-mediatedelectronictraderequiresprincipled design(fromeconomicsandgametheory)andincorporatesnovelcombinati onsof theories from di erent disciplines such as computer science, operations research, arti cial intelligence and distributed systems. The collection of above-mentioned issues and challenges has crystallized into a new, consolidated agent research eld that has become a focus of attention in recent years: agent-mediated electronic commerce.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -On behalf of the Organizing and Program Committees of the 3rd European Conference on Universal Multiservice Networks (ECUMN 2004), it is our great pleasure to introduce the proceedings of ECUMN 2004, which was held during October 25¿27, 2004, in Porto, Portugal. In response to the Call for Papers, a total of 131 papers were submitted from 29 countries. Each paper was reviewed by several members of the Technical Program Committee or by external peer reviewers. After careful assessment of thereviews,53paperswereacceptedforpresentationin13technicalsessions;half of them originated from countries outside Europe (mainly Asia). This illustrates the strong interest of this conference beyond its original geographical area. The conference program covered a variety of leading-edge research topics which are of current interest, such as wireless networks, mobile ad hoc networks, sensor networks, mobility management, optical networks, quality of service and tra c, transport protocols, real-time and multimedia, Internet technologies and applications, overlay and virtual private networks, security and privacy, and network operations and management. Together with three plenary sessions from France T¿ el¿ ecom, Siemens, and Cisco Systems, these technical presentations - dressed the latest research results from the international industry and academia and reported on ndings on present and future multiservice networks. 576 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Since the start of the International Workshop on Web Caching and Content Distribution (WCW) in 1996, it has served as the premiere meeting for researchers and practitioners to exchange results and visions on all aspects of content caching, distribution, and delivery. Building on the success of the previous WCW meetings, WCW 2004 extended its scope and covered interesting research and deployment areas relating to content services as they move through the Internet. This year, WCW was held in Beijing, China. Although it was the first time that WCW was held in Asia, we received more than 50 high quality papers from five continents. Fifteen papers were accepted as regular papers and 6 papers as synopses to appear in the proceedings. The topics covered included architectural issues, routing and placement, caching in both traditional content delivery networks as well as in peer-- peer systems, systems management and deployment, and performance evaluation. We would like to take this opportunity to thank all those who submitted papers to WCW 2004 for their valued contribution to the workshop. This event would not have been possible without the broad and personal support and the invaluable suggestions and contributions of the members of the program committee and the steering committee. 300 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Generative and component approaches have the potential to revolutionize so- waredevelopmentinasimilarwayasautomationandcomponentsrevolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Speci c Languages (elevating program speci cations to compact domain-speci c notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the prior conference on Gene- tive and Component-Based SoftwareEngineering (GCSE) and the Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). Thegoalof GPCEisto providea meeting placefor researchersandpractitioners interested in cutting edge approachesto software development. We aim to foster further cross-fertilization between the software engineering research community on the one hand, and the programming languages community on the other, in addition to supporting the original research goals of both the GCSE and the SAIG communities. This volume contains the proceedings of the Third International Conference on Generative Programming and Component Engineering, held in Vancouver, Canada from October 24 to 28, 2004, where it was co-located with OOPSLA 2004 and ISSM 2004.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -knowledgemanagementin software companiesto effort estimation and global software development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Buch. Condición: Neu. Neuware -Embedded in an autobiographic framework, this book retraces vividly and in some depth the golden years of particle physics as witnessed by one of the scientists who made seminal contributions to the understanding of what is now known as the Standard Model of particle physics. Well beyond a survey of interest to historians of sciences and researchers in the field, this book is a must for all students and young researchers who have learned about the theoretical and experimental facts that make up the standard model through modern textbooks only. It will provide the interested reader with a first hand account and deeper understanding of the multilayered and sinuous development that finally led to the present architecture of this theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -It is becoming quite clear that there will be important technological advances in - bile and wireless connectivity, known as third-/fourth-generation (3G and 4G) mobile telecommunications systems. As a result we will be surrounded by ever-growing m- tidomain (technical and administrative) heterogeneous communications in both wired and wireless networks. This resulting environment deals with communication in m- tizoned networks, where people, devices, appliances and servers are connected to each other via different kinds of networks. Networks will be pervasive, ubiquitous, multis- vice, multioperatorand multiaccess. The mobility trend will also be spurred forward by the growing availability of mobile-enabled handheld devices. Mobile systems are expected to provide mobile users with cost-effective, secure, yet ubiquitous service access anywhere and anytime. Users will then continue to enjoy the new-found freedom mobile access provides and will have increasingly high exp- tations of mobility-aware applications that should be capable of seamlessly supporting the mobile lifestyle. The papers in this volume discuss issues from models, platforms, and architectures for mobility-aware systems to security, mobile agent technologies, sensitive com- nications, context awareness, mobile applications and management. They cover both practical experience and novel research ideas and concepts. 400 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -On behalf of the organizing committee I would like to welcome you all to the second Asian Symposium on Programming Languages and Systems (APLAS 2004) held in Taipei on November 4¿6, 2004. Since the year 2000, researchers in the area of programming languages and systems have been meeting annually in Asia to present their most recent research results, thus contributing to the advancementofthisresearcharea.ThelastfourmeetingswereheldinSingapore (2000), Daejeon (2001), Shanghai (2002), and Beijing (2003). These meetings were very fruitful and provided an excellent venue for the exchange of research ideas, ndings and experiences in programming languages and systems. APLAS 2004 is the fth such meeting and the second one in symposium setting. The rst symposium was held in Beijing last year. The success of the APLAS series is the collective result of many people¿s contributions.ForAPLAS2004, rstIwouldliketothankallthemembersofthe Program Committee, in particular the Program Chair Wei-Ngan Chin, for their hardworkinputtingtogetheranexcellentprogram.Iammostgratefultoinvited speakers, Joxan Ja ar, Frank Pfenning, and Martin Odersky, who have traveled a long way to deliver their speeches at APLAS 2004. I would like to thank all the referees, who helped review the manuscripts, the authors, who contributed to the proceedings of APLAS 2004, the members of the Organizing Committee, who made considerable e ort to organize this event, and all the participants present at this meeting. Without your support this symposium would not have been possible. Finally I would like to acknowledge the support of the Asian Association for Foundation of Software and Academia Sinica, Taiwan. 472 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004.The 230 revised full papers and 104 poster papers presented were carefully reviewed and selected from 460 submissions. The papers are organized in topical sections on artificial life, adaptive behavior, agents, and ant colony optimization; artificial immune systems, biological applications; coevolution; evolutionary robotics; evolution strategies and evolutionary programming; evolvable hardware; genetic algorithms; genetic programming; learning classifier systems; real world applications; and search-based software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1548 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This section gives a description of notions used throughout this study. Current achievements in developing action-centered ontologies are also discussed. 2.1 Ontologies In the context of information extraction and retrieval, different kinds of ontologies can be distinguished [15]: ¿ Top-level ontologies describe very general concepts like space and time, not depending on a particular domain, ¿ Domain ontologies and task ontologies describe the vocabulary related to a generic domain or kind of task, detailing the terms used in the top-level ontology, ¿ Application ontologies describe the concepts that depend on the particular domain and task within a specific activity. Several investigations have been conducted to bring actions (tasks) to bear on - tologies. Among them are Chandrasekaran et al. [6] and Mizoguchi et al. [23] in the fields of AI and Knowledge Engineering. For the geospatial domain, Kuhn [21] and Raubal and Kuhn [26] have attempted to support human actions in ontologies for transportation. Acknowledging the importance of human actions in the geographic domain, a research workshop was held in 2002, bringing together experts from diff- ent disciplines to share the knowledge and work on this issue [1]. Camara [5], one of the workshop participants, has proposed that action-driven spatial ontologies are formed via category theory, for the case of emergency action plans.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The focus of the Asian Applied Computing Conference (AACC) is primarily to bring the research in computer science closer to practical applications. The conference is aimed primarily at topics that have immediate practical bene ts. By hosting the conf- ence in the developingnations in Asia we aim to provide a forum for engagingboth the academic and the commercial sectors in that region. The rst conference ¿Information Technology Prospects and Challenges¿ was held in May 2003 in Kathmandu, Nepal. Thisyear theconferencenamewas changedto ¿Asian AppliedComputingConference¿ to re ect both the regional- and the application-oriented nature of the conference. AACC is planned to be a themed conference with a primary focus on a small set of topics although other relevant applied topics will be considered. The theme in AACC 2004 was on the following topics: systems and architectures, mobile and ubiquitous computing, soft computing, man machine interfaces,and innovative applications for the developing world. AACC 2004 attracted 184 paper submissions from around the world, making the reviewing and the selection process tough and time consuming. The selected papers covered a wide range of topics: genetic algorithms and soft computing; scheduling, - timization andconstraintsolving; neuralnetworksandsupportvectormachines;natural language processing and information retrieval; speech and signal processing; networks and mobile computing; parallel, grid and high-performance computing; innovative - plications for the developing world; cryptography and security; and machine lea- ing. Papers were primarily judged on originality, presentation, relevance and quality of work. Papers that had clearly demonstrated results were given preference. 352 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the papers presented at the 7th International Conference on Discovery Science (DS 2004) held at the University of Padova, Padova, Italy, during 2¿5 October 2004. The main objective of the discovery science (DS) conference series is to p- videanopenforumforintensivediscussionsandtheexchangeofnewinformation amongresearchersworkingintheareaofdiscoveryscience. Ithasbecomeagood custom over the years that the DS conference is held in parallel with the Int- national Conference on Algorithmic Learning Theory (ALT). This co-location has been valuable for the DS conference in order to enjoy synergy between c- ferences devoted to the same objective of computational discovery but from di erent aspects. Continuing the good tradition, DS 2004 was co-located with the 15th ALT conference (ALT 2004) and was followed by the 11th Symposium on String Processing and Information Retrieval (SPIRE 2004). The agglome- tion of the three international conferences together with the satellite meetings was called Dialogues 2004, in which we enjoyed fruitful interaction among - searchers and practitioners working in various elds of computational discovery. The proceedings of ALT 2004 and SPIRE 2004 were published as volume 3244 of the LNAI series and volume 3246 of the LNCS series, respectively. The DS conference series has been supervised by the international ste- ing committee chaired by Hiroshi Motoda (Osaka University, Japan). The other members are Alberto Apostolico (University of Padova, Italy and Purdue U- versity, USA), Setsuo Arikawa (Kyushu University, Japan), Achim Ho mann (UNSW, Australia), Klaus P. Jantke (DFKI, Germany), Masahiko Sato (- oto University, Japan), Ayumi Shinohara (Kyushu University, Japan), Carl H.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Nowadays knowledge-based systems research and development essentially employs two paradigms of reasoning. There are on the one hand the logic-based approaches where logic is to be understood in a rather broad sense; usually these approaches are used in symbolic domains where numerical calculations are not the core challenge. On the other hand we find approximation oriented reasoning; methods of these kinds are mainly applied in numerical domains where approximation is part of the scientific methodology itself.However, from an abstract level all these approaches do focus on similar topics and arise on various levels such as problem modeling, inference and problem solving techniques, algorithms and mathematical methods, mathematical relations between discrete and continuous properties, and are integrated in tools and applications. In accordance with the unifying vision and research interest of Michael M. Richter and in correspondence to his scientific work, this book presents 13 revised full papers advocating the integration of logic-based and approximation-oriented approaches in knowledge processing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Für das Jahr 2003 sind ca. 45.000 Regelinsolvenzen und 700.000 Privatinsolvenzen prognostiziert. Das vorliegende Buch gibt einen Überblick über die Voraussetzungen und den Ablauf des Regel- und Privatinsolvenzverfahrens sowie die Restschuldbefreiung. Weiterhin werden die materiellen Rechtsfolgen auf die Rechtstellung der am Insolvenzverfahren Beteiligten dargestellt. Neben dem allgemein verständlichen Text beinhaltet das Buch Übersichten und Schaubilder.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Das diesem Übungsbuch zugrunde liegende zweibändige Lehrbuch zur Mikrorechner-Technik bietet eine leichtverständliche Einführung in den Aufbau und die Funktionsweise von Mikrorechnern, d.h. von universell einsetzbaren und programmierbaren Digitalrechnern, die als Kern einen oder mehrere Mikroprozessoren enthalten.Im vorliegenden Übungsband werden über 100 Aufgaben (mit ausführlichen Lösungen) unterschiedlichen Schwierigkeitsgrades, vielfältige Multiple-Choice-Tests und Ergänzungsfragen zu allen Bereichen der Architektur und der hardwarenahen Programmierung von universellen Mikroprozessoren und Digitalen Signalprozessoren sowie den zentralen Komponenten von Mikrorechnern und Mikrocontrollern geboten.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Deutsch.