springer berlin heidelberg springer berlin heidelberg apr 2010 (179 résultats)

Taschenbuch. Etat : Neu. Neuware -The idea for the Operation Primer series originated in a scienti c study entitled ¿ Mental Training in Surgical Education¿ that formed part of a collaborative project between the surgical department of the University of Cologne, the Institute of Sports and Sports Sciences of the University of Heidelberg and the European Surgical Institute (ESI) in Norderstedt. The aim of the study was to evaluate the effect of mental training, which has been used successfully in top-class sports for decades, on surgical training. However, in order for mental training to be applied to surgery, it rst had to undergo modi cation. In the course of this modi cation, the rst Operation Primer was produced, the layout of which was largely adopted for the nal version presented here. In the last two years ve Operation Primers have been published in this series: Laparo scopic Sigmoidectomy for Cancer, Laparoscopic Sigmoidectomy for Diverticulitis, ® Thyroidectomy with Harmonic FOCUS , Laparoscopic Cholecystectomy and Stapled ® TM Transanal Rectal Resection with Contour Transtar Curved Cutter Stapler Procedure Set. Now you hold the sixth Operation Primer in your hand: Laparoscopic Total Mesorectal Excision for Cancer. The feedback has been overwhelming so far. We have received encouraging and motivating messages from all over the world. Operation Primers have been translated into other languages and we have had requests for specialities other than general and visceral surgery as well.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 100 pp. Englisch.

Buch. Etat : Neu. Neuware -This book contains extended and revised versions of the best papers that were p- sented during the 16th edition of the IFIP/IEEE WG10.5 International Conference on Very Large Scale Integration, a global System-on-a-Chip Design & CAD conference. The 16th conference was held at the Grand Hotel of Rhodes Island, Greece (October 13¿15, 2008). Previous conferences have taken place in Edinburgh, Trondheim, V- couver, Munich, Grenoble, Tokyo, Gramado, Lisbon, Montpellier, Darmstadt, Perth, Nice and Atlanta. VLSI-SoC 2008 was the 16th in a series of international conferences sponsored by IFIP TC 10 Working Group 10.5 and IEEE CEDA that explores the state of the art and the new developments in the field of VLSI systems and their designs. The purpose of the conference was to provide a forum to exchange ideas and to present industrial and research results in the fields of VLSI/ULSI systems, embedded systems and - croelectronic design and test. 304 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -book (CRC Press, ISBN-9781420082326, 2008), and a special issue in the Intelligent Data Analysis journal (Volume 13, Number 3, 2009).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -It is indeed a great pleasure to welcome you to the proceedings of the Inter- tional Symposium ¿Computational Modeling of Objects Represented in Images. Fundamentals,MethodsandApplications¿(CompIMAGE2010)heldinBu alo, NY, May 5-7, 2010. This was the second issue of CompIMAGE symposia, the rst one being held in Coimbra, Portugal. The purpose of CompIMAGE 2010 was to provide a common forum for - searchers, scientists, engineers, and practitioners around the world to present their latest research ndings, ideas, developments, and applications in the area of computational modeling of objects represented in images. In particular, the symposium aimed to attract scientists who use various approaches ¿ such as nite element method, optimization methods, modal analysis, stochastic me- ods, principal components analysis, independent components analysis, distri- tion models, geometrical modeling, digital geometry, grammars,fuzzy logic, and others ¿ to solve problems that appear in a wide range of areas as diverse as medicine, robotics, defense, security, astronomy,materialscience, and manuf- turing. CompIMAGE 2010 was highly international. Its Program Committee m- bersarerenownedexpertscomingfrom25di erentcountries.Submissionstothe symposium came from 22 countries from Africa, Asia, Europe, North and South America. Overall, representatives of 32 countries contributed to the symposium in di erent capacities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Search computing, which has evolved from service computing, focuses on building the answers to complex search queries by interacting with a constellation of cooperating search services, using ranking and joining of results as the dominant factors for service composition. The field is multi-disciplinary in nature, and takes advantage of contributions from other research areas such as knowledge representation, human-computer interfaces, psychology, sociology, economics and legal sciences.The book is divided into three parts. The first part includes some visionary contributions on the latest trends in search, which is becoming increasingly task-oriented and is starting to use ontological knowledge in order to manage complex queries. The second part explores background and related technologies, which can be considered as parallel fields of research, useful both for setting the theoretical premises for search computing and for providing a technological framework for building search computing systems and applications. The third part delves into the conceptual and technological problems and issues arising when dealing with search computing as a new search paradigm. It provides a unified view of the results of the Search Computing project as achieved exactly one year after its starting date.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the 8th International Heinz Nixdorf Symposium, IHNS 2010, held in Paderborn, Germany, April 21-22, 2010, under the title 'Changing Paradigms: Advanced Manufacturing and Sustainable Logistics'.The 27 full and two short papers presented in this book were carefully reviewed and selected from a total of 63 submissions. They are grouped in five parts on Supply Chain Management, Production Logistics and Industrial Engineering, Operations Research Techniques, Humanitarian Logistics, and Simulation. The presentation is completed by nine invited keynote papers from renowned international experts in these fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The International Gesture Workshops (GW) are interdisciplinary events for those researching gesture-based communication across the disciplines. The focus of these events is a shared interest in understanding gestures and sign language in their many facets, and using them for advancing human¿machine interaction. Since 1996, International Gesture Workshops have been held roughly every second year, with fully reviewed proceedings published by Springer. The International Gesture Workshop GW 2009 was hosted by Bielefeld University¿s Center for Interdisciplinary Research (ZiF ¿ Zentrum für interdisziplinäre Forschung) during February 25¿27, 2009. Like its predecessors, GW 2009 aimed to provide a platform for participants to share, discuss, and criticize recent and novel research with a multidisciplinary audience. More than 70 computer scientists, linguistics, psychologists, neuroscientists as well as dance and music scientists from 16 countries met to present and exchange their newest results under the umbrella theme ¿Gesture in Embodied Communication and Human¿Computer Interaction. ¿ Consistent with the steady growth of research activity in this area, a large number of high-quality submissions were received, which made GW 2009 an exciting and important event for anyone interested in gesture-related technological research relevant to human¿computer interaction. In line with the practice of previous gesture workshops, presenters were invited to submit theirs papers for publication in a subsequent peer-reviewed publication of high quality. The present book is the outcome of this effort. Representing the research work from eight countries, it contains a selection of 28 thoroughly reviewed articles.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -For many years Esko Ukkonen has played a major role in the advancement of computer science in Finland. He was the key person in the development of the school of algorithmic research and has contributed considerably to post-graduate education in his country.Esko Ukkonen has over the years worked within many areas of computer science, including numerical methods, complexity theory, theoretical aspects of compiler construction, and logic programming. However, the main focus of his research has been on algorithms and their applications.This Festschrift volume, published to honor Esko Ukkonen on his 60th birthday, includes 18 refereed contributions by his former PhD students and colleagues, with whom he has cooperated closely during the course of his career.The Festschrift was presented to Esko during a festive symposium organized at the University of Helsinki to celebrate his birthday. The essays primarily present research on computational pattern matching and string algorithms, two areas that have benefited significantly from the work of Esko Ukonen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 9th IFIP-TC6 Networking Conference, Networking 2010. Papers were solicited in three broad topic areas: applications and services, network technologies, and internet design. All papers were considered on their merits by a uni ed Technical ProgramCommittee (TPC); there was no attempt to enforce a quota among topic areas. We believe the resulting program is an excellentrepresentationofthebreadthofrecentadvancesinnetworkingresearch. This year, the conference received 101 full paper submissions from 23 co- trieson vecontinents,re ectingastrongdiversityinthenetworkingcommunity. Similarly, the 92 members of the TPC are from 21 countries and include a mix of academic, industry, and governmental a liations. The TPC members, aided by some 50 external reviewers, provided a total of 470 reviews and follow-up discussions totaling more than 200 messages. The nal selections were made at a TPC meeting hosted by Columbia University in New York City, with both in-person and remote participation. In total, authors of accepted papers have academic and industry a liations in 15 countries. We nally selected 24papers for presentationduring the conference technical sessions. A small number of papers were assigned a shepherd from the TPC to assist in paper revision. These statistics represent an acceptance rate of just under 24%, comparable to that of previous years. The TPC also identi ed several papers that re ect particularly promising early results; these papers were selected for presentation as work-in-progress papers and are identi ed as such in the proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Arti cial intelligence (AI) is a dynamic eld that is constantly expanding into new application areas, discovering new research challenges, and facilitating the development of innovative products. Today¿s AI tools might not pass the Turing test, but they are invaluable aids in organizing and sorting the ever-increasing volume,complexity,andheterogeneityofknowledgeavailabletousinourrapidly changing technological, economic, cultural, and social environment. This volumeaimsatbringing to the readerallthe latest developmentsin this exciting and challenging eld, and contains papers selected for presentation at the 6th Hellenic Conference on Arti cial Intelligence (SETN 2010), the o cial meeting of the Hellenic Society for Arti cial Intelligence (EETN). SETN 2010 was organized by the Hellenic Society of Arti cial Intelligence and the Institute of Informatics and Telecommunications, NCSR ¿Demokritos¿ and took place in Athens during May 4¿7.Previousconferences were held at the University of Piraeus (1996), at the Aristotle University of Thessaloniki (2002), attheUniversityoftheAegean(Samos,2004,andSyros,2008),andjointlyatth e Foundation for Research and Technology¿Hellas (FORTH) and the University of Crete (2006). SETN conferences play an important role in disseminating innovative and high-qualityscienti c results by AI researchers,attractingnot only EETNm- bers but also scientists advancing and applying AI in many and diverse domains and from various Greek and international institutes. However, the most imp- tant aspect of SETN conferences is that they provide the context in which AI researchers meet and discuss their work, as well as an excellect opportunity for students to attend high-quality tutorials and get closer to AI results. 448 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -These proceedings contain the papers selected for presentation at the 4th Wo- shop on Information Security Theory and Practice (WISTP 2010), held during April 12¿14, 2010 in Passau, Germany. In response to the call for papers, 69 papers were submitted to the wo- shop. These papers were evaluated on the basis of their signi cance, novelty, and technicalquality. Eachpaper was reviewedby four members of the Program Committee. Reviewing was double-blind meaning that the Program Committee was not able to see the names and a liations of the authors, and the authors were not told which committee members reviewed which papers. The Program Committee meeting was held electronically, holding intensive discussions over a periodoftwo weeks.Of the papers submitted, 20 full papersand 10shortpapers were selected for presentation at the workshop. This workshop was sponsored by Vodaphone, who also provided a best - per award. We would like to thank this organization for their support, which helped make this workshop possible. Their continued support helps to reduce registration fees and make WISTP a continuing success. WISTP 2010 was also organized in cooperation with the International - sociation for Cryptologic Research (IACR), the IFIP WG 11.2 Pervasive S- tems Security, and ACM SIGSAC. Their support has signi cantly contributed to raising the pro le of WISTP, which is re ected in the number of high-quality submissions that we received.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The past decade has seen tremendous growth in the demand for biometrics and data security technologies in applications ranging from law enforcement and immigration control to online security. The benefits of biometrics technologies are apparent as they become important technologies for information security of governments, business enterprises, and individuals. At the same time, however, the use of biometrics has raised concerns as to issues of ethics, privacy, and the policy implications of its wi- spread use. The large-scale deployment of biometrics technologies in e-governance, e-security, and e-commerce has required that we launch an international dialogue on these issues, a dialogue that must involve key stakeholders and that must consider the legal, poli- cal, philosophical and cultural aspects of the deployment of biometrics technologies. The Third International Conference on Ethics and Policy of Biometrics and Inter- tional Data Sharing was highly successful in facilitating suchinteraction among - searchers, policymakers, consumers, and privacy groups. This conference was supported and funded as part of the RISE project in its ongoing effort to develop wide consensus and policy recommendations on ethical, medical, legal, social, cultural, and political concerns in the usage of biometrics and data security technologies. The - tential concerns over the deployment of biometrics systems can be jointly addressed by developing smart biometrics technologies and by developing policies for the - ployment of biometrics technologies that clearly demarcate conflicts of interest - tween stakeholders. 184 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The present book includes a set of selected papers from the First International Conf- ence on Agents and Artificial Intelligence (ICAART 2009), held in Porto, Portugal, during January 19¿21, 2009. The conference was organized in two simultaneous tracks: ¿Artificial Intelligence and Agents.¿ The book is based on the same structure. ICAART 2009 received 161 paper submissions, from more than 37 different co- tries in all continents. After a blind review process, only 26 where accepted as full papers, of which 21 were selected for inclusion in this book, based on the classifi- tions provided by the Program Committee. The selected papers reflect the interdis- plinary nature of the conference. The diversity of topics is an important feature of this conference, enabling an overall perception of several important scientific and tech- logical trends. These high-quality standards will be maintained and reinforced at ICAART 2010, to be held in Valencia, Spain, and in future editions of this conf- ence. Furthermore, ICAART 2009 included five plenary keynote lectures given by Juan Carlos Augusto (University of Ulster), Marco Dorigo (IRIDIA, Free University of Brussels), Timo Honkela (Helsinki University of Technology), Edward H. Shortliffe (Arizona State University) and Paulo Urbano (University of Lisbon). We would like to express our appreciation to all of them and in particular to those who took the time to contribute with a paper to this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -BIS 2010 held on 3¿5 May 2010 in Berlin, Germany was the 13th in a series of international conferences on Business Information Systems. The BIS conference series has been recognised by professionals from its very beginning as a forum for the exchange and dissemination of topical research in the development, - plementation, application and improvement of computer systems for business processes. The theme ofthe conferencewas¿Future InternetBusiness Services.¿ A n- ber of new initiatives are already underway to address the challenges related to explosive development of Internet applications, hence the conference topics: Searchand KnowledgeSharing,Data and InformationSecurity,Web Experience Modelling. Although many people announced that SOA was dead there is - doubtedly a strong need for service-orientation. This was addressed by a topic: Services and Repositories. More and more e ort is put on explaining and und- standing complex processes as could be seen in topics: Business Processes and Rules, Data Mining for Processes, Visualisation in BPM. Finally, the classical business aspects were covered in session: ERP and SCM. Altogether, a set of 25 papers illustrating these trends were selected for the presentation during the main event, grouped in 8 sessions. The Program C- mittee consisted of almost 100 members who carefully evaluated all the subm- ted papers. Each submission was reviewed on the average by 3.1 programme committee members. Only the best quality papers were selected, resulting in an acceptance rate of less than 30%.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The Second International Workshop on Traffic Monitoring and Analysis (TMA 2010) was an initiative of the COST Action IC0703 'Data Traffic Monitoring and Analysis: Theory, Techniques, Tools and Applications for the Future Networks' ( tma-portal.eu/cost-tma-action). The COST program is an intergovernmental framework for European cooperation in science and technology, promoting the coordination of nationally funded research on a European level. Each COST Action aims at reducing the fragmentation in - search and opening the European research area to cooperation worldwide. Traffic monitoring and analysis (TMA) is nowadays an important research topic within the field of computer networks. It involves many research groups worldwide that are collectively advancing our understanding of the Internet. The importance of TMA research is motivated by the fact that modern packet n- works are highly complex and ever-evolving objects. Understanding, developing and managing such environments is difficult and expensive in practice. Traffic monitoring is a key methodology for understanding telecommunication technology and improving its operation, and the recent advances in this field suggest that evolved TMA-based techniques can play a key role in the operation of real networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the papers presented at NLDB 2009, the 14th Inter- tional Conference on Applications of Natural Language to Information Systems held June 24¿26, 2009, at the University of the Saarland and the German - search Center for Arti cial Intelligence in Saarbruc ¿ ken, Germany. In addition to reviewed submissions, the program also included contributions to the doctoral symposiumheldduring NLDB2009aswellastwoinvitedtalks.Thesetalksc- ered some of the currently hot topics in the use of natural languagefor accessing information systems. Wereceived51submissionsasregularpapersforthemainconference,2extra submissions as posters, and 3 short papers for the doctoral symposium. Each paper for the main conference was assigned four reviewers, taking into account preferences expressed by the ProgramCommittee members as much as possible. Within the review deadline, we received at least three reviews for almost all submissions. After the review deadline, the Conference Organizing Committee members and the Program Committee Chair acted as meta-reviewers. This task included studying the reviews and the papers, speci cally those whose assessment made them borderline cases, and discussing con icting opinions and their impact on theassessmentofindividualpapers.Finally,themeta-reviewerswroteadditio nal reviews for the few papers which received less than three reviews, as well as for papers which received reviews with considerably con icting assessments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Africacrypt 2010, the Third International Conference on Cryptology in Africa, took place May 3¿6, 2010 in Stellenbosch, South Africa. The General Chairs, Riaal Domingues from the South African Communications and Security Agency and Christine Swart from the University of Cape Town, were always a pleasure to work with and did an outstanding job with the local arrangements. We are deeplythankfulthat theyagreedto hostAfricacrypt2010with onlyfour months notice after unanticipated events forced a change of location. The Africacrypt 2010 submission deadline was split into two. Authors s- mitting paperswererequiredto registertitles andabstractsby the rstdeadline, January 5. A total of 121 submissions had been received by this deadline, - though some were withdrawn before review. Authors were allowed to continue working on their papers until the second deadline, January 10. Submissions were evaluated in three phases over a period of nearly two months. The selection phase started on January 5: Program Committee m- bers began evaluating abstracts and volunteering to handle various papers. We assigned a team of people to each paper. The review phase started on January 11: Program Committee members were given access to the full papers and - gan in-depth reviews of 82 submissions. Most of the reviews were completed by February7,thebeginningofthediscussionphase.ProgramCommitteemembers were given access to other reviews and built consensus in their evaluations of the submissions. In the end the discussions included 285 full reports and 203 - ditional comments. The submissions, reviews, and subsequent discussions were handled smoothly by iChair.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The present volume contains the proceedings of the 6th International workshop on Formal Aspects of Security and Trust (fast 2009), held in Eindhoven, The Netherlands, 5¿6 November 2009, as part of Formal Methods Week 2009. fast is sponsored by IFIP WG 1.7 on Foundations of Security Analysis and Design. The previous ve fast workshop editions have fostered cooperation among researchers in the areas of security and trust, and we aimed to continue this tradition. As computing and networkinfrastructures become increasingly per- sive, and as they carry increasing economic activity, society needs well-matched security and trust mechanisms. These interactions increasingly span several - terprises and involve loosely structured communities of individuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions e ectively determine the se- ritygoalsforsharedinformationandfor accessto sensitiveorvaluableresources. fast sought original papers focusing of formal aspects of: security and trust policy models; security protocol design and analysis; formal models of trust and reputation; logics for security and trust; distributed trust management s- tems; trust-based reasoning; digital assets protection; data protection; privacy and id issues; information ow analysis; language-based security; security and trust aspects in ubiquitous computing; validation/analysis tools; Web service security/trust/privacy; grid security; security risk assessment; and case studies. The fast proceedings contain¿in addition to an abstract of the invited talk by Anindya Banerjee¿revisionsoffull papersacceptedforpresentationat fast.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains revised and expanded versions of the papers presented at th the 15 Monterey Workshop, held during September 24¿26, 2008 in Budapest, Hungary. The Monterey Workshops series was initiated in 1993 by Dr. David Hislop, a longtime program manager at the U. S. Army Research O ce, with the purpose of exploring the critical problems associated with cost-e ective development of high-qualitysoftwaresystems. During their 15-yearhistory,the MontereyWo- shops have brought together scientists that share a common interest in software development research serving practical advances in next-generation softwa- intensive systems. Each year is dedicated to a particular topic of critical - portance. In recent years, workshop topics were ¿Innovations for Requirement Analysis: From Stakeholders Needs to Formal Designs¿ (2007 in Monterey, C- ifornia), ¿Composition of Embedded Systems, Scienti c and Industrial Issues¿ (2008inParis,France),¿NetworkedSystems:RealizationofReliableSystemson Unreliable NetworkedPlatforms¿ (2005in Laguna Beach,California), ¿Software Engineering Tools: Compatibility and Integration¿(2004 in Vienna, Austria), ¿Engineering for Embedded Systems: From Requirements to Implementation¿ (2003 in Chicago, Illinois), ¿Radical Innovations of Software and Systems En- neering in the Future¿ (2002 in Venice, Italy). The topic of the 2008 workshop was ¿Foundations of Computer Software, Future Trends and Techniques for Development. ¿ Modern computer systems manage very large amounts of information, performing complex computations in a distributed way. At the same time, there is a need to display information in a way that aids human actors in the interpretation of this information and in decision making.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The 6th International Conference on Information Security Practice and Expe- ence (ISPEC 2010) was held in Seoul, Korea, May 12¿13, 2010. The ISPEC conference series is an established forum that brings together - searchers and practitioners to provide a con uence of new information security technologies, including their applications and their integration with IT systems invariousverticalsectors.Inpreviousyears,ISPEChastakenplaceinSingapore (2005), Hangzhou, China (2006), Hong Kong, China (2007), Sydney, Australia (2008),andXi¿an, China (2009).For all sessions,as this one,the conferencep- ceedings were published by Springer in the Lecture Notes in Computer Science series. In total, 91 papers from 18 countries were submitted to ISPEC 2010, and 28 were selected for inclusion in the proceedings (acceptance rate 30%). The accepted papers cover multiple topics of information security and applied cr- tography. Each submission was anonymously reviewed by at least three revi- ers. We are grateful to the Program Committee, which was composed of more than 56 well-known security experts from 16 countries; we heartily thank them as well as all external reviewers for their time and valued contributions to the tough and time-consuming reviewing process. The conference was hosted by Soonchunhyang University, Korea, supported by Korea Internet & Security Agency (KISA), Korea; Electronics and Telec- munications Research Institute (ETRI), Korea, in Corporation with Korea - stitute of Information Security & Cryptography (KIISC), Korea, and sponsored by Korea Communications Commission (KCC), Korea. We sincerely thank the HonoraryChair and the General Chairs of ISPEC 2010 for their strong support.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven approaches inthedevelopmentofsoftware-basedsystems.Followingthetraditionofprevious conferences,MODELS2009hostedseveralsatelliteeventsinDenver.Therewe re ten workshops and two symposia. The selection of the workshops was performed by a Workshop Committee, which consisted of the following experts: ¿ James M. Bieman, Colorado State University, USA (Chair) ¿ Peter Clarke, Florida International University, USA ¿ Holger Giese, University of Paderborn, Germany ¿ Frank Weil, Hengsoft, USA The workshops and symposia were held during the rst three days of the conference. They provided a collaborative forum for groups of participants to exchange recent and preliminary results, conduct intensive discussions on a p- ticular topic, and to coordinate e orts between representatives of a technical community. They discussions were lively and the attendance was high. The focus of the Educators¿Symposium was on sharing experience related to teaching modeling techniques and on developing resources to support e ective training of future practitioners of model-driven development. The DoctoralSymposiumprovideda forumin whichPhDstudents presented their work in progress. The symposium fostered the role of MODELS as a p- mier venue for research in model-driven engineering. The symposium provided the students with independent and constructive feedback about their already completed work, and more importantly, their planned research work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The portable device and mobile phone market has witnessed rapid growth in the last few years with the emergence of several revolutionary products such as mobile TV, converging iPhone and digital cameras that combine music, phone and video functionalities into one device. The proliferation of this market has further bene ted from the competition in software and applications for smart phones such as Google¿s Android operating system and Apple¿s iPhone App- Store, stimulating tens of thousands of mobile applications that are made ava- able by individual and enterprise developers. Whereas the mobile device has become ubiquitous in people¿s daily life not only as a cellular phone but also as a media player, a mobile computing device, and a personal assistant, it is p- ticularly important to address challenges timely in applying advanced pattern recognition, signal, information and multimedia processing techniques, and new emerging networking technologies to such mobile systems. The primary objective of this book is to foster interdisciplinary discussions and research in mobile multimedia processing techniques, applications and s- tems, as well as to provide stimulus to researchers on pushing the frontier of emerging new technologies and applications. One attempt on such discussions was the organization of the First Int- national Workshop of Mobile Multimedia Processing (WMMP 2008), held in Tampa, Florida, USA, on December 7, 2008. About 30 papers were submitted from10countriesacrosstheUSA,Asia andEurope.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -you nd the proceedings stimulating.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The 2010 edition of the Passive and Active Measurement Conference was the 11th of a series of successful events. Since 2000, the Passive and Active M- surement (PAM) conference has provided a forum for presenting and discussing innovative and early work in the area of Internet measurements. PAM has a tradition of being a workshop-like conference with lively discussion and active participation from all attendees. This event focuses on research and practical applications of network measurement and analysis techniques. This year¿s c- ference was held at ETH Zurich, Switzerland. PAM 2010 attracted 79 submissions. Each paper was carefully reviewed by at leastthreemembersoftheTechnicalProgramCommittee.Thereviewingprocess ledtotheacceptanceof23papers.Thepaperswerearrangedinninesessionsc- ering the following areas: routing, transport protocols, mobile devices, topology, measurement infrastructure, characterizing network usage, analysis techniques, tra c analysis, and the Web. We are very grateful to Endace Ltd. (New Zealand), Cisco Systems Inc. (USA), armasuisse (Switzerland) and the COST Action TMA whose sponsoring allowedustokeepregistrationcostslowandto o erseveraltravelgrantsto PhD students. We are also grateful to ETH Zurich for sponsoring PAM as a host.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010),held in Sendai, Japan, April 19¿21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including functional programming and logic programming, and aims to promotecross-fertilizationand integrationbetween the two paradigms.The p- vious FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). Since its 1999 edition, FLOPS proceedings have been published by Springer in its Lecture Notes in Computer Science series, as volumes 1722, 2024, 2441, 2998, 3945, and 4989, respectively. In response to the call for papers, 49 papers were submitted. Each paper was reviewed by at least three Program Committee members, with the help of expert external reviewers. The Program Committee meeting was conducted electronically, for a period of two weeks, in December 2009. After careful and thoroughdiscussion,theProgramCommitteeselected21papersforpresentation at the conference. In addition to the 21 contributed papers, the symposium included talks by three invited speakers: Brigitte Pientka (McGill University, Canada), Kostis Sagonas (National Technical University of Athens, Greece), and Naoyuki Tamura (Kobe University, Japan). 368 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Inductive programming is concerned with the automated construction of decl- ative¿often functional ¿recursiveprogramsfromincompletespeci cationssuch as input/output examples. The inferred program must be correct with respect to the provided examples in a generalizing sense: it should be neither equivalent to it, nor inconsistent. Inductive programming algorithms are guided explicitly or implicitly by a language bias (the class of programs that can be induced) and a search bias (determining which generalized program is constructed rst). Induction strategiesare either generate-and-testor example-driven.In genera- and-test approaches, hypotheses about candidate programs are generated in- pendently from the given speci cations. Program candidates are tested against the given speci cation and one or more of the best evaluated candidates are - veloped further. In analytical approaches, candidate programs are constructed in an example-driven way. While generate-and-test approaches can ¿ in prin- ple ¿ construct any kind of program, analytical approaches have a more limited scope. On the other hand, e ciency of induction is much higher in analytical approaches. Inductive programming is still mainly a topic of basic research, exploring how the intellectual ability of humans to infer generalized recursive procedures from incomplete evidence can be captured in the form of synthesis methods. Intended applications are mainly in the domain of programming assistance ¿ either to relieve professional programmers from routine tasks or to enable n- programmers to some limited form of end-user programming. Furthermore, in future,inductiveprogrammingtechniquesmightbe appliedtofurtherareassuch as support inference of lemmata in theorem proving or learning grammar rules.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -real-time programming. ¿ Applications: declarative programming in education and industry, doma- speci c languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, - ductive databases, advanced programming environments and tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Das Internet als Eckpfeiler der modernen Informationsgesellschaft hat sowohl neue, digitale Märkte geschaffen als auch bestehende Märkte grundlegend verändert. Nachdem viele substanzlose Geschäftsideen mit dem Platzen der Dotcom-Blase ihr jähes Ende fanden, sind Unternehmen wie Amazon, eBay und Google heute Marktführer.In diesem Buch werden die besonderen Merkmale der Internet-Ökonomie systematisch dargestellt. Dazu werden sowohl bekannte, klassische ökonomische Modelle auf das Internet angewendet als auch neue Modelle vorgestellt. Das Buch deckt die Gesetzmäßigkeiten der Internet-Ökonomie auf, erklärt damit den Erfolg etablierter Anbieter und entwickelt Handlungsempfehlungen für die Akteure der Internet-Ökonomie. Die Ergebnisse werden anhand vieler praktischer Beispiele diskutiert.Das Buch richtet sich an Studenten, Wissenschaftler und Entscheider, die die Internet-Ökonomie verstehen und gestalten wollen. Zahlreiche Übungsaufgaben am Ende jedes Kapitels vertiefen dieInhalte.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Mit diesem Buch wollen wir verschiedene Teilgebiete der Mathematik aus algorithmischer Perspektive vorstellen und dabei auch Implementierungs- und Laufzeitaspekte diskutieren. Gleichzeitig möchten wir, bei einer verkürzten Grundausbildung in Mathematik in naturwissenschaftlichen und informatischen Studiengängen, möglichst viele Teilaspekte der Mathematik vorstellen und vielleicht zu einer vertiefenden Beschäftigung mit dem einen oder anderen Aspekt anregen.Unser Ziel ist es dabei nicht, den Leser zu einem versierten Anwender der besprochenen Algorithmen auszubilden, sondern wir wollen, immer ausgehend von konkreten Problemen, Analyse- und Lösungsstrategien in den Mittelpunkt stellen. Hierbei spielen insbesondere Beweise und Beweistechniken eine zentrale Rolle.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Deutsch.