springer apr 2010 (385 resultados)

Taschenbuch. Condición: Neu. Neuware -The present book illustrates the theoretical aspects of several methodologies related to the possibility of i) enhancing the poor spatial information of the electroencephalographic (EEG) activity on the scalp and giving a measure of the electrical activity on the cortical surface. ii) estimating the directional influences between any given pair of channels in a multivariate dataset. iii) modeling the brain networks as graphs. The possible applications are discussed in three different experimental designs regarding i) the study of pathological conditions during a motor task, ii) the study of memory processes during a cognitive task iii) the study of the instantaneous dynamics throughout the evolution of a motor task in physiological conditions. The main outcome from all those studies indicates clearly that the performance of cognitive and motor tasks as well as the presence of neural diseases can affect the brain network topology. This evidence gives the power of reflecting cerebral 'states' or 'traits' to the mathematical indexes derived from the graph theory. In particular, the observed structural changes could critically depend on patterns of synchronization and desynchronization - i.e. the dynamic binding of neural assemblies - as also suggested by a wide range of previous electrophysiological studies. Moreover, the fact that these patterns occur at multiple frequencies support the evidence that brain functional networks contain multiple frequency channels along which information is transmitted. The graph theoretical approach represents an effective means to evaluate the functional connectivity patterns obtained from scalp EEG signals. The possibility to describe the complex brain networks sub-serving different functions in humans by means of 'numbers' is a promising tool toward the generation of a better understanding of the brain functions. Table of Contents: Introduction / Brain Functional Connectivity / Graph Theory / High-Resolution EEG / Cortical Networks in Spinal Cord Injured Patients / Cortical Networks During a Lifelike Memory Task / Application to Time-varying Cortical Networks / ConclusionsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 96 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Many information retrieval (IR) systems suffer from a radical variance in performance when responding to users' queries. Even for systems that succeed very well on average, the quality of results returned for some of the queries is poor. Thus, it is desirable that IR systems will be able to identify 'difficult' queries so they can be handled properly. Understanding why some queries are inherently more difficult than others is essential for IR, and a good answer to this important question will help search engines to reduce the variance in performance, hence better servicing their customer needs. Estimating the query difficulty is an attempt to quantify the quality of search results retrieved for a query from a given collection of documents. This book discusses the reasons that cause search engines to fail for some of the queries, and then reviews recent approaches for estimating query difficulty in the IR field. It then describes a common methodology for evaluating the prediction quality of those estimators, and experiments with some of the predictors applied by various IR methods over several TREC benchmarks. Finally, it discusses potential applications that can utilize query difficulty estimators by handling each query individually and selectively, based upon its estimated difficulty. Table of Contents: Introduction - The Robustness Problem of Information Retrieval / Basic Concepts / Query Performance Prediction Methods / Pre-Retrieval Prediction Methods / Post-Retrieval Prediction Methods / Combining Predictors / A General Model for Query Difficulty / Applications of Query Difficulty Estimation / Summary and ConclusionsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Quantum cryptography is a rapidly developing field that draws from a number of disciplines, from quantum optics to information theory to electrical engineering. By combining some fundamental quantum mechanical principles of single photons with various aspects of information theory, quantum cryptography represents a fundamental shift in the basis for security from numerical complexity to the fundamental physical nature of the communications channel. As such, it promises the holy grail of data security: theoretically unbreakable encryption. Of course, implementing quantum cryptography in real broadband communications systems poses some unique challenges, including generating single photons, distilling random keys from the quantum key distribution process, and maintaining security at both the theoretical and practical level. Overall, quantum cryptography has a place in the history of secret keeping as a novel and potentially useful paradigm shift in the approach to broadband data encryption.Table of Contents: Introduction / Elements of Classical Cryptography / The Quantum Mechanics of Photons / Fundamentals of Quantum Key Distribution / Information Theory and Key Reconciliation / Components for Broadband QKD / A Survey of QKD Implementations / Conclusion - QKD in the MarketplaceSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 100 pp. Englisch.

Buch. Condición: Neu. Neuware -This self-contained text provides a solid introduction to global and nonlinear optimization, providing students of mathematics and interdisciplinary sciences with a strong foundation in applied optimization techniques. The book offers a unique hands-on and critical approach to applied optimization which includes the presentation of numerous algorithms, examples, and illustrations, designed to improve the reader's intuition and develop the analytical skills needed to identify optimization problems, classify the structure of a model, and determine whether a solution fulfills optimality conditions. 220 pp. Englisch.

Taschenbuch. Condición: 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.

Taschenbuch. Condición: Neu. Neuware -Increasingly our critical infrastructures are reliant on computers. We see examples of such infrastructures in several domains, including medical, power, telecommunications, and finance. Although automation has advantages, increased reliance on computers exposes our critical infrastructures to a wider variety and higher likelihood of accidental failures and malicious attacks. Disruption of services caused by such undesired events can have catastrophic effects, such as disruption of essential services and huge financial losses. The increased reliance of critical services on our cyberinfrastructure and the dire consequences of security breaches have highlighted the importance of information security. Authorization, security protocols, and software security are three central areas in security in which there have been significant advances in developing systematic foundations and analysis methods that work for practical systems. This book provides an introduction to this work, covering representative approaches, illustrated by examples, and providing pointers to additional work in the area. Table of Contents: Introduction / Foundations / Detecting Buffer Overruns Using Static Analysis / Analyzing Security Policies / Analyzing Security ProtocolsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Scopo principale di questo libro è quello di esporre i fondamenti matematici della Meccanica Quantistica (non relativistica) in modo matematicamente rigoroso. Il libro può considerarsi un testo introduttivo all¿analisi funzionale lineare sugli spazi di Hilbert, con particolare enfasi su alcuni risultati di teoria spettrale. Le idee matematiche vengono sviluppate in modo astratto e logicamente indipendente dalla trattazione fisica, che appare comunque nelle motivazioni e nelle applicazioni. Inoltre, il libro si prefigge di raccogliere in un unico testo diversi utili risultati rigorosi, ma più avanzati di quanto si trovi nei manuali di fisica quantistica, sulla struttura matematica della Meccanica Quantistica. 728 pp. Italienisch.

Taschenbuch. Condición: Neu. Neuware -Our world is being revolutionized by data-driven methods: access to large amounts of data has generated new insights and opened exciting new opportunities in commerce, science, and computing applications. Processing the enormous quantities of data necessary for these advances requires large clusters, making distributed computing paradigms more crucial than ever. MapReduce is a programming model for expressing distributed computations on massive datasets and an execution framework for large-scale data processing on clusters of commodity servers. The programming model provides an easy-to-understand abstraction for designing scalable algorithms, while the execution framework transparently handles many system-level details, ranging from scheduling to synchronization to fault tolerance. This book focuses on MapReduce algorithm design, with an emphasis on text processing algorithms common in natural language processing, information retrieval, and machine learning. We introduce the notion ofMapReduce design patterns, which represent general reusable solutions to commonly occurring problems across a variety of problem domains. This book not only intends to help the reader 'think in MapReduce', but also discusses limitations of the programming model as well. Table of Contents: Introduction / MapReduce Basics / MapReduce Algorithm Design / Inverted Indexing for Text Retrieval / Graph Algorithms / EM Algorithms for Text Processing / Closing RemarksSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Buch. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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.

Buch. Condición: Neu. Neuware -Nonlinear Optimization is an intriguing area of study where mathematical theory, algorithms and applications converge to calculate the optimal values of continuous functions. Within this subject, Global Optimization aims at finding global optima for difficult problems in which many local optima might exist.This book provides a compelling introduction to global and non-linear optimization providing interdisciplinary readers with a strong background to continue their studies into these and other related fields. The book offers insight in relevant concepts such as 'region of attraction' and 'Branch-and-Bound' by elaborating small numerical examples and exercises for the reader to follow.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: Neu. Neuware -you nd the proceedings stimulating.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condición: 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. Condición: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.