springer berlin heidelberg springer nov 2012 (Oltre 1.200 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the workshop on Usable Security, USEC 2012, and the third Workshop on Ethics in Computer Security Research, WECSR 2012, held in conjunction with the 16th International Conference on Financial Cryptology and Data Security, FC 2012, in Kralendijk, Bonaire. The 13 revised full papers presented were carefully selected from numerous submissions and cover all aspects of data security. The goal of the USEC workshop was to engage on all aspects of human factors and usability in the context of security. The goal of the WECSR workshop was to continue searching for a new path in computer security that is Institutional review boards at academic institutions, as well as compatible with ethical guidelines for societies at government institutions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Advances in New Technologies, Interactive Interfaces, and Communicability, held in Huerta Grande, Argentina, in December 2011. The 24 papers presented were carefully reviewed and selected from numerous submissions. The topics addressed span the entire spectrum of interactive design, e-commerce, e-learning, e-health, e-tourism, Web 2.0 and Web 3.0.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Symposium on Quantum Interaction, QI 2012, held in Paris in June 2012. The 21 revised full papers presented were carefully reviewed and selected from 32 submissions. The papers cover various topics on quantum interaction.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the two workshops held at the 14th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2011, held in Wollongong, Australia, in November. The workshops were, Workshop on Agent Based Simulation for a Sustainable Society (ABSSS 2011) and International Workshop on Multi-Agent Smart Computing (MASmart 2011). The 8 papers presented were carefully reviewed and selected from various submissions. The papers cover topics from agent based simulation for a sustainable society and on multi-agent smart computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference on Big Data Analytics, BDA 2012, held in New Delhi, India, in December 2012.The 5 regular papers and 5 short papers presented were carefully reviewed and selected from 42 submissions. The volume also contains two tutorial papers in the section perspectives on big data analytics. The regular contributions are organized in topical sections on: data analytics applications; knowledge discovery through information extraction; and data models in analytics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Brain imaging brings together the technology, methodology, research questions and approaches of a wide range of scientific fields including physics, statistics, computer science, neuroscience, biology, and engineering. Thus, methodological and technological advances that enable us to obtain measurements, examine relationships across observations, and link these data to neuroscientific hypotheses happen in a highly interdisciplinary environment. The dynamic field of machine learning with its modern approach to data mining provides many relevant approaches for neuroscience and enables the exploration of open questions. This state-of-the-art survey offers a collection of papers from the Workshop on Machine Learning and Interpretation in Neuroimaging, MLINI 2011, held at the 25th Annual Conference on Neural Information Processing, NIPS 2011, in the Sierra Nevada, Spain, in December 2011. Additionally, invited speakers agreed to contribute reviews on various aspects of the field, adding breadth and perspective to the volume. The 32 revised papers were carefully selected from 48 submissions. At the interface between machine learning and neuroimaging the papers aim at shedding some light on the state of the art in this interdisciplinary field. They are organized in topical sections on coding and decoding, neuroscience, dynamcis, connectivity, and probabilistic models and machine learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 20th International Workshop on Security Protocols, held in Cambridge, UK, in April 2012.Following the tradition of this workshop series, each paper war revised by the authors to incorporate ideas from the workshop, and is followed in these proceedings by an edited transcription of the presentation and ensuing discussion. The volume contains 14 papers with their transcriptions as well as an introduction, i.e. 29 contributions in total. The theme of the workshop was 'Bringing protocols to life'.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This Festschrift volume is published in honor of Ferran Hurtado on the occasion of his 60th birthday; it contains extended versions of selected communications presented at the XIV Spanish Meeting on Computational Geometry, held at the University of Alcalá, Spain, in June 2011.Ferran Hurtado has played a central role in the Spanish community of Computational Geometry since its very beginning, and the quantity and quality of the international participants in the conference is an indisputable proof of his relevance in the international level.The 26 revised full papers were carefully reviewed and selected from numerous submissions. The papers present original research in computational geometry, in its broadest sense. Topics included are discrete and combinatorial geometry, linear programming applied to geometric problems, geometric algorithms and data structures, theoretical foundations of computational geometry, questions of interest in the implementation of geometric algorithms, and applications of computational geometry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes selected best papers from the 10th International Conference on Artificial Evolution, EA 2011, held in Angers, France, in October 2011.Initially, 33 full papers and 10 post papers were carefully reviewed and selected from 64 submissions. This book presents the 19 best papers selected from these contributions. The papers are organized in topical sections on ant colony optimization; multi-objective optimization; analysis; implementation and robotics; combinatorial optimization; learning and parameter tuning; new nature inspired models; probabilistic algorithms; theory and evolutionary search; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Workshop on Machine Learning in Medical Imaging, MLMI 2012, held in conjunction with MICCAI 2012, in Nice, France, in October 2012.The 33 revised full papers presented were carefully reviewed and selected from 67 submissions. The main aim of this workshop is to help advance the scientific research within the broad field of machine learning in medical imaging. It focuses on major trends and challenges in this area, and it presents work aimed to identify new cutting-edge techniques and their use in medical imaging.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book reports cutting-edge cases of emerging health technologies.Some health care fields are experiencing paradigmatic shifts because of robotic technologies and the new relationships that they create in r-Health (r-Curing and r-Caring) activities.The book explores emerging health care technologies such as image-guided surgical robotics, pharmacy robots, new visualisation methods (3D, 4D & ¿5D¿) and home telehealth management systems and their acceptance in the workplace but also, more generally, their special role in business and society. These technologies allow health care professionals to effectively reach far beyond the current service offerings, providing new methods for communication, diagnosis, and treatment. The relocation of certain knowledge areas from physicians to patients in self-care management or the reconfiguration of health care expertise from one health profession to another are examples of topics developed in this book. The book describes the emerging relocation of innovative visual knowledge and expertise within health care organisations and beyond, such as in the patient¿s home environment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Buch. Condizione: Neu. Neuware -Activities performed in organizations are coordinated via communicationbetween the people involved. The sentences used to communicate are naturally structured by subject, verb, and object. The subject describes the actor, the verb the action and the object what is affected by the action. Subject-oriented Business Process Management (S-BPM) as presented in this book is based on this simple structure which enables process-oriented thinking and process modeling.S-BPM puts the subject of a process at the center of attention and thusdeals with business processes and their organizational environment from a new perspective, meeting organizational requirements in a much better way than traditional approaches. Subjects represent agents of an action in a process, which can be either technical or human (e.g. a thread in an IT system or a clerk). A process structures the actions of each subject and coordinates the required communication among the subjects. S-BPM provides a coherent procedural framework to model and analyze business processes: its focus is the cooperation of all stakeholders involved in the strategic, tactical, and operational issues, sharing their knowledge in a networked structure.The authors illustrate how each modeling activity through the whole development lifecycle can be supported through the use of appropriate software tools. The presentation style focuses on professionals in industry, and on students specializing in process management or organizational modeling. Each chapter begins with a summary of key findings and is full of examples, hints, and possible pitfalls. An interpreter model, a toolbox, and a glossary summarizing the main terms complete the book. The web site i2pm.net provides additional software tools and further material.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This is the second part of a trilogy published in the Springer Briefs on Pioneers in Science and Practice on the occasion of the 80th birthday of Rodolfo Stavenhagen, a distinguished Mexican sociologist and professor emeritus of El Colegio de Mexico. Rodolfo Stavenhagen wrote this collection of six essays on The Emergence of Indigenous Peoples between 1965 and 2009. These widely discussed classic texts address: Classes, Colonialism and Acculturation (1965); Indigenous Peoples: An Introduction (2009); The Return of the Native: The Indigenous Challenge in Latin America (2002); Indigenous Peoples in Comparative Perspective (2004); Mexicös Unfinished Symphony: The Zapatista Movement (2000); and Struggle and Resistance: Mexicös Indians in Transition (2006). This volume discusses the emergence of indigenous peoples as new social and political actors at the national and international level. These texts deal with human rights, especially during the years he the author served as United Nations special rapporteur on the rights of indigenous peoples.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book traces the political history of the concept of social policy. ¿Social policy¿ originated in Germany in the mid 19th century as a scholarly term that made a career in politics. The term became more prominent only after World War II. Kaufmann, the doyen of the sociology of social policy in Germany, argues that ¿social policy¿ responds to the modern disjunction between ¿state¿ and ¿society¿ diagnosed by the German philosopher Hegel. Hegel¿s disciple Lorenz von Stein saw social policy as a means to pacify the capitalist class conflict. After World War II, social policy expanded in an unprecedented way, changing its character in the process. Social policy turned from class politics into a policy for the whole population, with new concepts ¿ like 'social security', 'redistribution' and 'quality of life' - and new overarching formulas, 'social market economy' and 'social state' (the German version of ¿welfare state¿). Both formulas have remained indeterminate and contested, indicating the inherent openness of the idea of the ¿social¿.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In order to survive as a social institution a firm needs a constitutional social contract, even though implicit, among its stakeholders. This social contract must exist if an institution is to be justified. The book focuses on two main issues: To find out the terms of the hypothetical agreement among the firm's stakeholders in an ex ante perspective and to understand the endogenous mechanism generating appropriate incentives that induce to comply with the social contract itself, as seen in the ex post perspective.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Budgets have a big influence on the economy and society. With many countries, about 50 percent of total expenditures and income pass through the budget via taxes, charges and expenditures. In recent years many countries, e. g. in the OECD and the EU, have tended to use this influence in an environmentally rational way. Tradi tional environmental policy has relied on command-and-control and cnd-olpipc technologies that have proven to be insufficient in coping with the challenge of glo bal change. Hence, many countries have started to investigate the environmental impacts of their budgets by looking at existing taxes and charges, as well as tax allowances and exemptions and other relevant regulations and expenditures -even to have a special impact on the environment. The implementation of those not meant such findings is now broadly discussed in these countries. This publication will contribute to the debate. It is a result of a wider project called Green Budget Reform -Prospects in Central and Eastern Europe. initiated by Vida Ogorelec Wagner, managing Director of Umanotera, The Sloven ian Founda tion for Sustainable Development, and then jointly developed. proposed to the EC and carried out in partnership with Kai Schlegelmich of the Wuppertal Institute in Germany. The project comprised an international seminar on Green Budget Reform in April 1997 at Lake Bled, Slovenia, and the Case Study of Sloveilla.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This last volume in a trilogy published on the occasion of the 80th birthday of Rodolfo Stavenhagen, professor emeritus of El Colegio de Mexico, includes eight essays on Peasants, Culture and Indigenous Peoples: Critical Issues; Basic Needs, Peasants and the Strategy for Rural Development (1976); Cultural Rights: a Social Science Perspective (1998); The Structure of Injustice: Poverty, Marginality, Exclusion and Human Rights (2000); What Kind of Yarn From Color Line to Multicolored Hammock: Reflections on Racism and Public Policy (2001); The United Nations Special Rapporteur on the Rights of Indigenous Peoples (2012); A Report on the Human Rights Situation of Indigenous Peoples in Asia (2007); Report on the Impact of Megaprojects on the Rights of Indigenous Peoples (2003); and Study Regarding the Best Practices to Implement the Recommendations of the Special Rapporteur (2007). These texts address human rights issues, especially those that arose when Stavenhagen was servinged as United Nations special rapporteur on the rights of indigenous peoples.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -One of the recently emerging techniques of fibrous materials production, melt blowing, consists of forming fibers from substances heated above their melting (crystalline) or glass transition (glass-like) point with further blowing by gas flow. The sprayed fibrous mass is then cooled to solidification either in a gas flow or upon deposition on the forming substrate. Realized from polymers and then ceramics, the melt blowing technique has enriched materials science, engineering, and all commodity products by novel types of fibrous materials and products made from them with a unique combination of properties. The reasons for the popularity of melt blowing are the following. The shape stability and strength of melt-blown materials and products are controllable technological parameters that depend on the diameter and the intensity of the adhesive interaction between fibers and the number of contacts between them. The greater area of fiber surface in contrast to negligible clearances in between is the source of the uniqueness of melt-blown materials as systems whose properties are governed to a great degree by surface phenomena. Dielectric materials manufactured by melt blowing are subjected to the rigorous effects of heat, deformation, and friction during processing which is accompanied by natural electrical polarization of fibers. The fibers are transferred into an electret state (an electret is a dielectric that preserves its electrical polarization for a long time), which makes melt-blown materials the source of a permanent electrical field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Science used to be experiments and theory, now it is experiments, theory and computations. The computational approach to understanding nature and technology is currently flowering in many fields such as physics, geophysics, astrophysics, chemistry, biology, and most engineering disciplines. This book is a gentle introduction to such computational methods where the techniques are explained through examples. It is our goal to teach principles and ideas that carry over from field to field. You will learn basic methods and how to implement them. In order to gain the most from this text, you will need prior knowledge of calculus, basic linear algebra and elementary programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems. We propose a different way to program such systems, centered on inter object scenario-based behavior. The book describes a language, two tech niques, and a supporting tool. The language is a rather broad extension of live sequence charts (LSCs), the original version of which was proposed in 1998 by W. Damm and the first-listed author of this book. The first of the two techniques, called play-in, is a convenient way to 'play in' scenario based behavior directly from the system's graphical user interface (QUI). The second technique, play-out, makes it possible to execute, or 'play out', the behavior on the QUI as if it were programmed in a conventional intra object state-based fashion. All this is implemented in full in our tool, the Play-Engine. The book can be viewed as offering improvements in some ofthe phases of known system development life cycles, e.g., requirements capture and anal ysis, prototyping, and testing. However, there is a more radical way to view the book, namely, as proposing an alternative way to program reactivity, which, being based on inter-object scenarios, is a lot closer to how people think about systems and their behavior.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. If! the early 1970s, when the book Formal Languages by the second quite feasible to write a comprehensive mentioned editor appeared, it was still book with that title and include also topics of current research interest. This would not be possible anymore. A standard-sized book on formal languages would either have to stay on a fairly low level or else be specialized and restricted to some narrow sector of the field. The setup becomes drastically different in a collection of contributions, where the best authorities in the world join forces, each of them concentrat ing on their own areas of specialization. The present three-volume Handbook constitutes such a unique collection. In these three volumes we present the current state of the art in formal language theory. We were most satisfied with the enthusiastic response given to our request for contributions by specialists representing various subfields. The need for a Handbook of Formal Languages was in many answers expressed in different ways: as an easily accessible his torical reference, a general source of information, an overall course-aid, and a compact collection of material for self-study. We are convinced that the final result will satisfy such various needs. The theory of formal languages constitutes the stem or backbone of the field of science now generally known as theoretical computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 900 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Game Theory for Networks (GameNets 2012) held in Vancouver, Canada, May 24-26, 2012. The 13 revised full papers were carefully selected from 24 submissions and are presented together with 7 invited papers. The papers focus on topics such as mechanism design, physical layer games, network mechanisms, stochastic and dynamic games, game-theoretic network models, cooperative games in networks, security games, spectrum sharing games, P2P and social networks and economics of network QoS.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Since the publication of the first edition of Radiotherapy of Intraocular and Orbital Tumors in 1993 the treatment programs for cure have changed from the dominance of surgical resection to the utilization of radiation therapy with preservation of the eye intact and preservation of vision. In 2002 about 2,300 primary eye tumors will be diagnosed in the United states, 75% of which will be choroidal melanomas, 20% retinoblastomas, and the remainder a wide variety of tumors - malignant lymphoma, rhabdomyosarcomas, liposarcomas, meningiomas, malignant fibrous histiocytomas, etc. Even so, the majority of malignant tumors of the eye are metastatic, primarily from cancers of the lung or breast. The impact of newer imaging studies, including computed tomography, magnetic resonance imaging, and ultrasound with and without contrast medium, have allowed for better tumor definition, more precise treatment techniques, and major improvement in local control, with preservation of the eye intact and excellent survival. The better histologic definition of the tumor has selected more appropriately the cases suitable for adjuvant chemotherapy particularly demonstrated by the combined integrated multimodal treatment of rhabdomyosarcoma without enucleation. Surgical techniques are now being reserved for biopsy and for treatment failures, a dramatic change in treatment approaches since 1993. The second edition by Sagerman and Alberti clearly demonstrates this major change in treatment. The volume explores the impact of diagnostic workup, the role of surgery, the role of external beam radiation therapy, the use of radioactive plaques, photocoagulation, cryotherapy, and other less major surgical procedures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Earth system science is traditionally split into various disciplines (Geology, Physics, Meteorology, Oceanography, Biology etc.) and several sub-disciplines. Overall, the diversity of expertise provides a solid base for interdisciplinary research. However, gaining holistic insights into the Earth system requires the integration of observations, paleoclimate data, analysis tools and modeling. These different approaches of Earth system science are rooted in various disciplines that cut across a broad range of timescales. It is, therefore, necessary to link these disciplines at a relatively early stage in PhD programs. The linking of ¿data and modeling¿, as it is the special emphasis in our graduate school, enables graduate students from a variety of disciplines to cooperate and exchange views on the common theme of Earth system science, which leads to a better understanding of processes within a global context.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Ernst Schering Research Foundation sponsored its 15th workshop in Berlin on October 19-21, 1994. Leading scientists from Europe and North America were invited to discuss computer-aided drug design in industrial research. Computer-aided drug design is a very exciting field and an intellec tual challenge, like playing chess. But these reasons are no longer suf ficient to justify using this method in industry, if they ever were. Fig. 1. The participants of the workshop VI Preface Therefore, when we, together with Prof. Hoyer, started to think about this workshop, our intentions quickly became clear. We were not so much interested in the very latest developments of methods or in computer-aided drug design itself - enough conferences have dealt with these topics. However, we were very interested in the usefulness and limitations of computer-aided drug design in the indu strial research process. A lot has changed in the pharmaceutical industry recently. These changes are gaining momentum, so it is the right time to think about the role of computer-aided drug design in this changing environment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Metabolic research and especially that which focuses on the monooxygenase cytochrome P450 system has gone through dramatic progressive changes within the last decade. Availability of highly sophisticated analytical techniques has contributed to increased molecular understanding of biotransformation pathways. Nowadays designer drugs are computer composable focussing on metabolic stability. The rapid development of recombinant enzymes has, in many cases, replaced the intensive work on P450 isolation from naturally occurring sources. Recombinant P450s can be expressed in cell lines and thus made available for reproducible and constant use addressig a large number of scientific questions. This book describes the present position of such research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena.This, the 14th Transactions on Computational Systems Biology volume, guest edited by Ion Petre and Erik de Vink, focuses on Computational Models for Cell Processes and features a number of carefully selected and enhanced contributions, initially presented at the CompMod workshop, which took place in Aachen, Germany, in September 2011. The papers, written from different points of view and following various approaches, cover a wide range of topics within the field of modeling and analysis of biological systems. In addition, two regular submissions deal with models of self-assembling systems and metabolic constraints on the evolution of genetic codes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the IFIP WG 8.2 Working Conference 'Shaping the Future of ICT Research', held in Tampa, FL, USA, in December 2012. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: new methods in design science research; recent developments in inductive research methods; emerging themes in interpretive case study research; new ideas in positivist research; and innovative trends in information systems research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011.The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services, formal and rigorous approaches to software adaptation and self-adaptive systems, and components for real-time, safety-critical, secure, and/or embedded systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.