Berlin springer jul 2009 (154 resultados)

Taschenbuch. Condición: Neu. Neuware -Martin Charles Golumbic has been making seminal contributions to algorithmic graph theory and artificial intelligence throughout his career. He is universally admired as a long-standing pillar of the discipline of computer science. He has contributed to the development of fundamental research in artificial intelligence in the area of complexity and spatial-temporal reasoning as well as in the area of compiler optimization. Golumbic's work in graph theory led to the study of new perfect graph families such as tolerance graphs, which generalize the classical graph notions of interval graph and comparability graph. He is credited with introducing the systematic study of algorithmic aspects in intersection graph theory, and initiated research on new structured families of graphs including the edge intersection graphs of paths in trees (EPT) and trivially perfect graphs.Golumbic is currently the founder and director of the Caesarea Edmond Benjamin de Rothschild Institute for Interdisciplinary Applications of Computer Science at the University of Haifa. He also served as chairman of the Israeli Association of Artificial Intelligence (1998-2004), and founded and chaired numerous international symposia in discrete mathematics and in the foundations of artificial intelligence.This Festschrift volume, published in honor of Martin Charles Golumbic on the occasion of his 60th birthday, contains 20 papers, written by graduate students, research collaborators, and computer science colleagues, who gathered at a conference on subjects related to Martin Golumbic's manifold contributions in the field of algorithmic graph theory and artificial intelligence, held in Jerusalem, Tiberias and Haifa, Israel in September 2008. 244 pp. Englisch.…

Taschenbuch. Condición: Neu. Neuware -CollaborateCom is an annual international forum for dissemination of original ideas and research results in collaborative computing networks, systems, and applications. A major goal and feature of CollaborateCom is to bring researchers from networking, systems, CSCW, collaborative learning, and collaborative education areas - gether. CollaborateCom 2008 held in Orlando, Florida, was the fourth conference of the series and it reflects the accelerated growth of collaborative computing, both as research and application areas. Concretely, recent advances in many computing fields have contributed to the growing interconnection of our world, including multi-core architectures, 3G/4G wi- less networks, Web 2. 0 technologies, computing clouds, and software as a service, just to mention a few. The potential for collaboration among various components has - ceeded the current capabilities of traditional approaches to system integration and interoperability. As the world heads towards unlimited connectivity and global c- puting, collaboration becomes one of the fundamental challenges for areas as diverse as eCommerce, eGovernment, eScience, and the storage, management, and access of information through all the space and time dimensions. We view collaborative c- puting as the glue that brings the components together and also the lubricant that makes them work together. The conference and its community of researchers dem- strate the concrete progress we are making towards this vision. The conference would not have been successful without help from so many people. 848 pp. Englisch. …

Taschenbuch. Condición: Neu. Neuware -I was invited to join the Organizing Committee of the First International Conference on Complex Sciences: Theory and Applications (Complex 2009) as its ninth member. At that moment, eight distinguished colleagues, General Co-chairs Eugene Stanley and Gaoxi Xiao, Technical Co-chairs J nos Kertész and Bing-Hong Wang, Local Co-chairs Hengshan Wang and Hong-An Che, Publicity Team Shi Xiao and Yubo Wang, had spent hundreds of hours pushing the conference half way to its birth. Ever since then, I have been amazed to see hundreds of papers flooding in, reviewed and commented on by the TPC members. Finally, more than 200 contributions were - lected for the proceedings currently in your hands. They include about 200 papers from the main conference (selected from more than 320 submissions) and about 33 papers from the five collated workshops: Complexity Theory of Art and Music (COART) Causality in Complex Systems (ComplexCCS) Complex Engineering Networks (ComplexEN) Modeling and Analysis of Human Dynamics (MANDYN) Social Physics and its Applications (SPA) Complex sciences are expanding their colonies at such a dazzling speed that it - comes literally impossible for any conference to cover all the frontiers. …

Taschenbuch. Condición: Neu. Neuware -Bindungsstörungen und die damit verbundenen Symptome beeinträchtigen das Leben eines Kindes maßgeblich - und zwar bis ins Erwachsenenalter. Soziale Funktionen sind nicht in normalem Umfang möglich und emotionale Auffälligkeiten belasten sowohl die Kinder als auch die betroffenen Familien. Welche Kriterien erfüllt sein müssen und wie sich diese Störung behandeln lässt, wird hier praxisorientiert beschrieben.Die Reihe 'Manuale psychische Störungen bei Kindern und Jugendlichen' verfolgt drei wesentliche Ziele:Interdisziplinärer Ansatz: Der Patient steht im Mittelpunkt - der Therapeut muss sein Bestes geben, die Störung zu diagnostizieren und adäquat zu behandeln. Psychiater und Psychologen sind hier gefordert, ihr Wissen beizutragen und über den Tellerrand zu blicken.Praxisrelevanz: Alle Theorie ist grau - diese Reihe gibt Ihnen die Tipps und Tricks an die Hand, mit denen Sie Ihren schwierigen Alltag besser meistern können.Didaktik und Struktur:Alle Bände sind gleich strukturiert und warten mit einer übersichtlichen Didaktik auf. Das Lesen soll Spaß machen, und die entscheidenden Informationen müssen schnell erfasst werden können. 144 pp. Deutsch.…

Taschenbuch. Condición: Neu. Neuware -Bindungsstörungen und die damit verbundenen Symptome beeinträchtigen das Leben eines Kindes maßgeblich - und zwar bis ins Erwachsenenalter. Soziale Funktionen sind nicht in normalem Umfang möglich und emotionale Auffälligkeiten belasten sowohl die Kinder als auch die betroffenen Familien.Welche Kriterien erfüllt sein müssen und wie sich diese Störung behandeln lässt, wird hier praxisorientiert beschrieben.Die Reihe ¿Manuale psychische Störungen bei Kindern und Jugendlichen' verfolgt drei wesentliche Ziele:Interdisziplinärer Ansatz:Der Patient steht im Mittelpunkt - der Therapeut muss sein Bestes geben, die Störung zu diagnostizieren und adäquat zu behandeln. Psychiater und Psychologen sind hier gefordert, ihr Wissen beizutragen und über den Tellerrand zu blicken.Praxisrelevanz:Alle Theorie ist grau - diese Reihe gibt Ihnen die Tipps und Tricks an die Hand, mit denen Sie Ihren schwierigen Alltag besser meistern können.Didaktik und Struktur:Alle Bände sind gleich strukturiert und warten mit einer übersichtlichen Didaktik auf. Das Lesen soll Spaß machen, und die entscheidenden Informationen müssen schnell erfasst werden können.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Deutsch.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Bindungsstörungen und die damit verbundenen Symptome beeinträchtigen das Leben eines Kindes maßgeblich - und zwar bis ins Erwachsenenalter. Soziale Funktionen sind nicht in normalem Umfang möglich und emotionale Auffälligkeiten belasten sowohl die Kinder als auch die betroffenen Familien. Welche Kriterien erfüllt sein müssen und wie sich diese Störung behandeln lässt, wird hier praxisorientiert beschrieben.Die Reihe 'Manuale psychische Störungen bei Kindern und Jugendlichen' verfolgt drei wesentliche Ziele:Interdisziplinärer Ansatz: Der Patient steht im Mittelpunkt - der Therapeut muss sein Bestes geben, die Störung zu diagnostizieren und adäquat zu behandeln. Psychiater und Psychologen sind hier gefordert, ihr Wissen beizutragen und über den Tellerrand zu blicken.Praxisrelevanz: Alle Theorie ist grau - diese Reihe gibt Ihnen die Tipps und Tricks an die Hand, mit denen Sie Ihren schwierigen Alltag besser meistern können.Didaktik und Struktur:Alle Bände sind gleich strukturiert und warten mit einer übersichtlichen Didaktik auf. Das Lesen soll Spaß machen, und die entscheidenden Informationen müssen schnell erfasst werden können.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -his monograph on the concept of capitalism is the intellectual core of a larger work, entitled Capitalism, Its Origins and Evolution as Ta System of Governance, due for publication November 2009. The purpose of this monograph is to put forth an original concept of ca- talism as a system of governance, including a theory of how it functions at any point in time and how it evolves through time. In the larger book, I present a theory of its origins and evolution and support this theory with a set of country case studies that span both time and geography. It was, in fact, my experience in studying these case studies that led me to the c- cept presented here as well as to the theory of capitalism's origins and e- lution. In the larger book, I build on the present work, identifying and expla- ing capitalism as a system of governance for political entities such as - tion states. I then supplement these ideas with a description and expla- tion of three generic economic strategies. Taken together, my studies of economic strategies and specific capitalist systems of governance are - tended to enhance and enrich existing literature on 'varieties of capit- ism'. 84 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Data integration in the life sciences continues to be important but challe- ing. The ongoing development of new experimental methods gives rise to an increasingly wide range of data sets, which in turn must be combined to allow more integrative views of biological systems. Indeed, the growing prominence of systems biology, where mathematical models characterize behaviors observed in experiments of di erent types, emphasizes the importance of data integration to the life sciences. In this context, the representation of models of biological behavior as data in turn gives rise to challenges relating to provenance, data quality, annotation, etc., all of which are associated with signi cant research activities within computer science. The Data Integration in the Life Sciences (DILS) Workshop Series brings together data and knowledge management researchers from the computer s- ence research community with bioinformaticians and computational biologists, to improve the understanding of how emerging data integration techniques can address requirements identi ed in the life sciences. 221 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems. 372 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 13th International Conference on Financial Cryptography and Data Security, held at the Accra Beach Hotel and Resort, Barbados, February 23-26, 2009. Financial Cryptography and Data Security (FC) is a well-established int- national forum for research, advanced development, education, exploration and debate regarding information assurance in the context of nance and commerce. The conference covers all aspects of securing transactions and systems. The goal of FC is to bring security and cryptography researchers and pr- titioners together with economists, bankers, and policy makers. This year, we assembled a vibrant program featuring 21 peer-reviewed research paper pres- tations, two panels (on the economics of information security and on authen- cation), and a keynote address by David Dagon. Despite a proliferation of security and cryptography venues, FC continues to receive a large number of high-quality submissions. This year, we received 91 submissions(75full-lengthpapers,15shortpapersand1panel).Eachsubmission was reviewed by at least three reviewers. Following a rigorous selection, ranking and discussion process, the Program Committee accepted 20 full-length papers, 1 short paper and 1 panel. The overall acceptance rate was 24%. 392 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Fifth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2008, held in Vietri sul Mare, Italy, in October 2008. The 23 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from 69 submissions. The main goal of the CIBB meetings is to provide a forum open to researchers from different disciplines to present and discuss problems concerning computational techniques in bioinformatics, systems biology and medical informatics with a particular focus on neural networks, machine learning, fuzzy logic, and evolutionary computation methods. 308 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), the sixth of a series of workshops that is aimed at discussing and providing an overview of current state-of-the-art technology for programming multi-agent systems. The aim of the ProMAS workshop series is to promote research on progr- ming technologies and tools that can e ectively contribute to the development and deployment of multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, - quirements, and principles that are important for establishing multi-agent p- gramming platforms that are useful in practice and have a theoretically sound basis. Topics addressed include but are not limited to the theory and app- cations of agent programming languages, the veri cation and analysis of agent systems,aswellastheimplementationofsocialstructureinagent-basedsystems (e. g. ,roleswithin organizations,coordinationandcommunicationin multi-agent systems). In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. We were very pleased to be able to again present a range of high-quality papers at ProMAS 2008. After ve successful editions of the ProMAS workshop series, which took place during AAMAS 2003 (Melbourne, Australia), AAMAS 2004 (New York, USA), AAMAS 2005 (Utrecht, The Netherlands), AAMAS 2006 (Hakodate, Japan), and AAMAS 2007 (Honolulu, Hawai'i), the sixth edition took place on May 13 in Estoril, Portugal, in conjunction with AAMAS 2008, the main international conference on autonomous agents and MAS. 268 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th Conference on Artificial Intelligence in Medicine in Europe, AIME 2009, held in Verona, Italy in July 2009.The 24 revised long papers and 36 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 140 submissions. The papers are organized in topical sections on agent-based systems, temporal data mining, machine learning and knowledge discovery, text mining, natural language processing and generation, ontologies, decision support systems, applications of AI-based image processing techniques, protocols and guidelines, as well as workflow systems. 460 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing The disciplined study of domain-speci c languages (DSLs) is an emerging area in computer science, and is one which has the potential to revolutionize the eld, and bring us closer to answering this question. DSLs are formalisms that have four general characteristics. - They relate to a well-de ned domain of discourse, be it controlling tra c lights or space ships. - They have well-de ned notation, such as the ones that exist for prescribing music, dance routines, or strategy in a football game. - The informal or intuitive meaning of the notation is clear. This can easily be overlooked, especially since intuitive meaning can be expressed by many di erent notations that may be received very di erently by users. - The formal meaning is clear and mechanizable, as is, hopefully, the case for the instructions we give to our bank or to a merchant online. 424 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.Volume XIII constitutes a special issue on semantic data warehouses. The papers in this volume address several topics within this relatively new domain, providing different insights into the multiple benefits that can be gained by envisioning data warehouses from a semantic perspective. These papers broach many new ideas to be addressed in future work. 196 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2009, held in Milan, Italy, in July 2009.The 10 revised full papers presented together with three extended abstracts were carefully selected from 44 initial submissions. The papers are organized in topical sections on malware and SPAM, emulation-based detection, software diversity, harnessing context, and anomaly detection. 236 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CMMR is an annual event focusing on important aspects of computer music. CMMR 2008 was the fth event in this series and was co-organized by A- borg University Esbjerg, Denmark , the Laboratoire de M ecanique et d Acoustique, CNRS in Marseille, France and the Network for Cross-Disciplinary Studies of Music and Meaning, University of Southern Denmark . The conference was held in Copenhagen, May 19 23, 2008. The four previous editions of CMMR gathered a large number of notew- thy papers by researchers from the eld of computer music. The proceedings of these conferences were published in the Lecture Notes in Computer Science series (LNCS 2771, LNCS 3310, LNCS 3902 and LNCS 4969). The present e- tion follows the lineage of the previous ones, including a collection of 21 papers specially reviewed and corrected for this proceedings volume. The eld of computer music embraces a large number of research areas that span from information retrieval, programming, arti cial intelligence to aco- tics, signal processing and sound modeling. In the last CMMR gatherings an increased emphasis was placed on the role of human interaction at all levels of musicalpractice,aswellasperceptualandcognitiveaspects inorderto establish relationsbetweenthestructureofsoundsandtheirimpactonhumanbeings.The identi cation of perceptually relevant sound structures is linked to the notion of the sense of sounds, which was the title of the CMMR 2007 conference. 285 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Nano-Networks, Nano-Net, held in Boston, MS, USA, in September 2008.The 17 revised full papers presented together with 5 invited presentations were carefully reviewed and selected. The papers address the whole spectrum of Nano-Networks and spans topis like modeling, simulation, statdards, architectural aspects, novel information and graph theory aspects, device physics and interconnects, nanorobotics as well as nano-biological systems. 131 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In less than a decade, Europe has witnessed a series of large-scale natural disasters and two major terrorist attacks. Growing concern about the trans-national effects of these incidents has caused the EU Member States to seek more multilateral cooperation. As a result, a system of common arrangements for handling large-scale emergencies or disasters has emerged, which, due to its quick and ad-hoc development, may seem almost impenetrable to newcomers to the field. This book seeks to provide a much-needed overview of disaster and crisis management systems in the EU. It provides a basic understanding of how EU policy has evolved, the EU's mandate, and above all, a concise and hands-on description of the most central crisis management arrangements. Written by some of Europe's main experts and consultants in the field, this book represents a unique and comprehensive source of information for everyone involved or interested in the European Union crisis management system.'This book will quickly become an indispensable resource for two groups: Practitioners will enjoy its accessible and comprehensive style. Academics curious about this emerging field will turn to it for an introductory overview. As someone who closely studies this field, I find the book engaging, detailed, and accurate, and I read every line with great interest. The authors are to be commended for the quality of research that went into this work.'Mark Rhinard, Senior Research Fellow at the Swedish Institute of International Affairs (UI) 184 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 7th Workshop on E-Business, WEB 2008, held in Paris, France, on December 13, 2008. As a pre-ICIS workshop, it provided an open forum for e-business researchers and practitioners to share research findings, explore novel ideas, discuss success stories and lessons learned, and map out major challenges with regard to the design of e-business systems. The 17 papers presented were carefully reviewed and selected from a total of 31 full papers and 30 research-in-progress papers which were accepted for presentation at the workshop from a large number of submissions. The topics covered are electronic markets, electronic services, radio frequency identification, service-oriented architectures, virtual communities, and Web intelligence. 228 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008.The 9 revised full papers presented were carefully reviewed and selected from 14 initial submissions. The papers in this volume present original research results, as well as applications, in many aspects of constraint solving and constraint logic programming. Research topics that can be found in the papers are rst-order constraints, symmetry breaking, global constraints, constraint optimization problems, distributed constraint solving problems, soft constraints, as well as the analysis of application domains such as cumulative resource problems and hybrid systems. 160 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -FastSoftwareEncryption2009wasthe16thin a seriesofworkshopsonsymm- ric key cryptography. Starting from 2002, it is sponsored by the International Association for Cryptologic Research (IACR). FSE 2009 was held in Leuven, Belgium, after previous venues held in Cambridge, UK (1993, 1996), Leuven, Belgium (1994, 2002), Haifa, Israel (1997), Paris, France (1998, 2005), Rome, Italy (1999), New York, USA (2000), Yokohama, Japan (2001), Lund, Sweden (2003), New Delhi, India (2004), Graz, Austria (2006), Luxembourg, Lux- bourg (2007), and Lausanne, Switzerland (2008). The workshop's main topic is symmetric key cryptography, including the designoffast andsecuresymmetrickeyprimitives,suchas block ciphers,stream ciphers, hash functions, message authentication codes, modes of operation and iteration, as well as the theoretical foundations of these primitives. This year, 76 papers were submitted to FSE including a large portion of papers on hash functions, following the NIST SHA-3 competition, whose wo- shop was held just after FSE in the same location. From the 76 papers, 24 were accepted for presentation. It is my pleasure to thank all the authors of all s- missions for the high-quality research, which is the base for the scienti c value of the workshop. The review process was thorough (each submission received the attention of at least three reviewers), and at the end, besides the accepted papers, the Committee decided that the merits of the paper 'Blockcipher-Based Hashing Revisited' entitled the authors to receive the best paper award. I wish to thank all Committee members and the referees for their hard and dedicated work. 417 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Arti cial immune systems (AIS) is a diverse and maturing area of research that bridges the disciplines of immunology and engineering. The scope of AIS ranges fromimmune-inspiredalgorithmsandengineeringsolutionsinsoftwareandha- ware, to the understanding of immunology through modeling and simulation of immune system concepts. AIS algorithms have been applied to a wide variety of applications, including computer security, fault tolerance, data mining and optimization. In addition, theoretical aspects of arti cial and real immune s- tems have been the subject of mathematical and computational models and simulations. The 8th InternationalConference on AIS (ICARIS 2009)built on the success of previous years, providing a forum for a diverse group of AIS researchers to present and discuss their latest results and advances. After two years outside Europe, ICARIS 2009 returned to England, the venue for the rst ICARIS back in 2002. This year's conference was located in the historic city of York, and was held in St. William's College, the conference venue of York Minster, northern Europe's largest Gothic cathedral. 356 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become very popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to educational aids, to electronic commerce and trade, e-procurement, recommendation systems, and ambient intelligence, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various capabilities and functionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-defined and rigorous framework for implementations, envir- ments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems. 184 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumeofLNCScontainstheproceedingsofthe6thEuropeanPerformance EngineeringWorkshop,held at ImperialCollegeLondon during July 9 10,2009. Thiswasthe rstintheEPEWseriestobeheldintheUK,followingonfromthe highly successful workshops that were held in Toledo (2004), Versailles (2005), Budapest (2006), Berlin (2007) and Palma de Mallorca (2008). As with previousEPEW workshops,the event was supported by submissions from all over the world, including Asia, the Middle East, North America, as well as Europe. There were 33 submissions in total of which 13 were selected for full papers and four as short papers. I would like to commend the diligent e orts of the Programme Committee, who returned a complete set of reviews four per paper which is most unusual. This enabled and enhanced the week-long programme discussion which selected the papers presented here. The papers themselves maintained the tradition of diversity and quality that the European Performance Engineering Workshop has supported throughout. Papers representing the di erent elds of performance engineering and ana- sis, were broadly classi ed by applications, techniques and formalisms. In the applications domain, we had a signi cant contribution, I believe for the rst time, in the modelling of auctions and markets. There were also contributions on hardware modelling of RAID systems, as well as ve papers on performance aspects of cellular and xed-line networks. New techniques presented included a novel approach to mean value analysis, an application of stochastic ordering to queueingnetworksandaninterestingextensionofpassage-timeanalysis. 232 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Adaptation, for purposes of self-healing, self-protection, self-management, or self-regulation, is currently considered to be one of the most challenging pr- erties of distributed systems that operate in dynamic, unpredictable, and - tentially hostile environments. Engineering for adaptation is particularly c- plicated when the distributed system itself is composed of autonomous entities that, on one hand, may act collaboratively and with benevolence, and, on the other,maybehavesel shlywhilepursuingtheirowninterests.Still,theseentities have to coordinate themselves in order to adapt appropriately to the prevailing environmental conditions, and furthermore, to deliberate upon their own and the system's con guration, and to be transparent to their users yet consistent with any human requirements. The question, therefore, of 'how to organize the envisagedadaptationforsuchautonomousentitiesinasystematicway'becomes of paramount importance. The rst international workshop on 'Organized Adaptation in Multi-Agent Systems' (OAMAS) was a one-day event held as part of the workshop p- gram arranged by the international conference on Autonomous Agents and Multi-Agent Systems (AAMAS). It was hosted in Estoril during May, 2008, and was attended by more than 30 researchers. OAMAS was the steady convergence of a number of lines of research which suggested that such a workshop would be timely and opportune. This includes the areas of autonomic computing, swarm intelligence, agent societies, self-organizing complex systems, and 'emergence' in general. 160 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 22nd International Conference on Automated Deduction, CADE-22, held in Montreal, Canada, in August 2009.The 27 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 77 submissions. Furthermore, three invited lectures by distinguished experts in the area were included. The papers are organized in topical sections on combinations and extensions, minimal unsatisfiability and automated reasoning support, system descriptions, interpolation and predicate abstraction, resolution-based systems for non-classical logics, termination analysis and constraint solving, rewriting, termination and productivity, models, modal tableaux with global caching, arithmetic. 520 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18-20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). It brings together practitionersandresearchersfromacademia,industryandgovernmenttopresent results and to exchange ideas and experience addressing challenges in both t- oretical aspects of computing and in the exploitation of theory through me- ods and tools for system development. The series also promotes cooperation in research and education between participants and their institutions, from dev- oping and industrial countries, in accordance with the mandate of the United Nations University. The previous ICTAC colloquia were held in Guiyang, China (2004, LNCS 3407), Hanoi, Vietnam (2005, LNCS 3722), Tunis, Tunisia (2006, LNCS 4281), Macao SAR, China (2007, LNCS 4711), and Istanbul, Turkey (2008, LNCS 5160). This year, 81 submissions were received, distributed over 70 full research papers and 11 tool papers. Each submission was reviewed by at least three P- gram Committee members. We thank the members of the Program Committee and the other specialist referees for the e ort and skill that they invested in the review and selection process, which was managed using EasyChair. The C- mittee decided to accept 20 papers: 17 full research papers and 3 tool papers. 372 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 13th International Conference on Human-Computer Interaction, HCI Inter- tional 2009, was held in San Diego, California, USA, July 19-24, 2009, jointly with the Symposium on Human Interface (Japan) 2009, the 8th International Conference on Engineering Psychology and Cognitive Ergonomics, the 5th International Conference on Universal Access in Human-Computer Interaction, the Third International Conf- ence on Virtual and Mixed Reality, the Third International Conference on Internati- alization, Design and Global Development, the Third International Conference on Online Communities and Social Computing, the 5th International Conference on Augmented Cognition, the Second International Conference on Digital Human Mod- ing, and the First International Conference on Human Centered Design. A total of 4,348 individuals from academia, research institutes, industry and gove- mental agencies from 73 countries submitted contributions, and 1,397 papers that were judged to be of high scientific quality were included in the program. These papers - dress the latest research and development efforts and highlight the human aspects of the design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. 288 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Workshop on Architectures, Modeling, and Simulation, SAMOS 2009, held on Samos, Greece, on July 20-23, 2009.The 18 regular papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on architectures for multimedia, multi/many cores architectures, VLSI architectures design, architecture modeling and exploration tools.In addition there are 14 papers from three special sessions which were organized on topics of current interest: instruction-set customization, reconfigurable computing and processor architectures, and mastering cell BE and GPU execution platforms. 360 pp. Englisch.…