Bücher veröffentlicht von Springer Berlin Heidelberg

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2007), organized at the 2007 International Conference on Dependable Systems and Networks (DSN 2007), held in Edinburgh, UK in June 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2007) organized as part of a federated conference on Component-Based Software Engineering and Software Architecture (CompArch 2007), held in Medford, MA, USA in July 2007. It also contains a number of invited papers written by recognized experts in the area. The 14 papers are organized in topical sections on critical infrastructures, rigorous design/fault tolerance, and verification and validation.

Information technology has now pervaded the legal sector, and the very modern concepts of e-law and e-justice show that automation processes are ubiquitous. European policies on transparency and information society, in particular, require the use of technology and its steady improvement.Some of the revised papers presented in this book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop was devoted to the discussion of the different ways of understanding and explaining contemporary law, for the purpose of building computable models of it -- especially models enabling the development of computer applications for the legal domain. During the course of the following year, several new contributions, provided by a number of ongoing (or recently finished) European projects on computation and law, were received, discussed and reviewed to complete the survey.This book presents 20 thoroughly refereed revised papers on the hot topics under research in different EU projects: legislative XML, legal ontologies, semantic web, search and meta-search engines, web services, system architecture, dialectic systems, dialogue games, multi-agent systems (MAS), legal argumentation, legal reasoning, e-justice, and online dispute resolution. The papers are organized in topical sections on knowledge representation, ontologies and XML legislative drafting; knowledge representation, legal ontologies and information retrieval; argumentation and legal reasoning; normative and multi-agent systems; and online dispute resolution.

The Grid computing concept, which allows users to integrate administratively and g- graphically dispersed computing resources, has been gaining traction in a number of application areas during the past few years. By interconnecting many - heterogeneous, though usually virtualized - computing resources, virtual computer centers or superc- puters can be created, providing a seamless supply of computing resources. Grid comp- ing provides benefits not only for scientific computing (e.g., SETI@home, which interconnects one million computers across 226 countries with a total processing power of 711 TFLOPS) but also in a commercial environment. It is projected that computing Grids can lower the total IT costs of businesses by 30%. The report "e;Grid Computing: A Vertical Market Perspective 2005-2010"e; (by The Insight Research Corporation) estimates an increase of worldwide Grid spending from $714.9 million in 2005 to approximately $19.2 billion in 2010. One of the most prominent activities in academia is the EGEE project being funded with 30 MEuro by the European Commission. EGEE brings together researchers from over 27 countries with the common aim of developing a service Grid infrastructure, which is suited for scientific computing with very high demand for processing power.

This year, we received about 170 submissions to ICWL 2008. There were a total of 52 full papers, representing an acceptance rate of about 30%, plus one invited paper accepted for inclusion in this LNCS proceedings. The authors of these accepted papers came from many different countries. We would like to thank all the reviewers for spending their precious time reviewing the papers and for providing valuable c- ments that aided significantly in the paper selection process. Authors of the best papers presented in this conference will be invited to submit extended versions of their papers for possible publication in a special issue of IEEE Internet Computing. This was the second time that the ICWL conference was organized in China. It was particularly special this year to hold ICWL 2008 in China, as the Beijing 2008 Olympic Games were co-located in the same country during the conference period. We would like to especially thank our Organization Co-chair, Lanfang Miao, for spending an enormous amount of effort in coordinating the local arrangements. In fact, we would like to thank the entire conference Organizing Committee for their hard work in putting together the conference. In particular, we would like to express our appreciation to our Registration Chairs, Jiying (Jean) Wang and Lanfang Miao, and Treasurer Howard Leung for their tremendous efforts in communicating with the authors regarding registration matters and maintaining the registration lists up-to-date.

This volume serves as the post-conference proceedings for the Second GeoSensor Networks Conference that was held in Boston, Massachusetts in October 2006. The conference addressed issues related to the collection, management, processing, ana- sis, and delivery of real-time geospatial data using distributed geosensor networks. This represents an evolution of the traditional static and centralized geocomputational paradigm, to support the collection of both temporally and spatially high-resolution, up-to-date data over a broad geographic area, and to use sensor networks as actuators in geographic space. Sensors in these environments can be static or mobile, and can be used to passively collect information about the environment or, eventually, to actively influence it. The research challenges behind this novel paradigm extend the frontiers of tra- tional GIS research further into computer science, addressing issues like data stream processing, mobile computing, location-based services, temporal-spatial queries over geosensor networks, adaptable middleware, sensor data integration and mining, au- mated updating of geospatial databases, VR modeling, and computer vision. In order to address these topics, the GSN 2006 conference brought together leading experts in these fields, and provided a three-day forum to present papers and exchange ideas.

Clusterrechner und Grid-Computing bieten eine Basistechnologie fur Computational Science. Mit starker Betonung der Anwenderseite haben die Autoren das Buch in drei Teile gegliedert: Grundlagen, Middleware, Simulationsexperimente. Im ersten Abschnitt werden relevante Grundlagen in den Disziplinen Mathematik / Informatik / Naturwissenschaften vermittelt. Der Zusammenhang Paralleles Rechnen, Middleware und Grid-Rechnerstrukturen wird detailliert dargestellt. Es folgt die Verbindung der Blcke Grundlagen und Middleware durch Aufzeigen von in Grids und Clustern durchgefhrten Simulationsexperimenten. Der besondere Nutzen des Buches liegt in der Darstellung interdisziplinrer Zusammenhnge im Bereich des Computational Science. Ein Ingenieur oder Naturwissenschaftler erfhrt von Mglichkeiten der Cluster- und Grid-Rechentechnologie. Umgekehrt lernt ein Informatiker von den Bedrfnissen und Anforderungen der Ingenieur- und Naturwissenschaftler. Beide Seiten knnen somit ihre eigene Arbeitsweise besser planen.

This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, during May 10-11, 2008. ICSP 2008 was the second conference of the ICSP series. The theme of ICSP 2008 was "e;Making Globally Distributed Software Development a Success Story. "e; Software developers work in a dynamic context of frequently changing technologies and with limited resources. Globally distributed development teams are under ev- increasing pressure to deliver their products more quickly and with higher levels of qu- ity. At the same time, global competition is forcing software development organizations to cut costs by rationalizing processes, outsourcing part of or all development activities, reusing existing software in new or modified applications, and evolving existing systems to meet new needs, while still minimizing the risk of projects failing to deliver. To address these difficulties, new and modified processes are emerging, including agile methods and plan-based product line development. Open Source, COTS, and com- nity-developed software are becoming more and more popular. Outsourcing coupled with 24/7 development demands well-defined processes to support the coordination of organizationally-and geographically-separated teams. The accepted papers present completed research or advanced work-in-progress in all areas of software and systems development process including: agile software pr- esses, CMMI, novel techniques for software process representation and analysis; process tools and metrics; and the simulation and modeling of software processes. Contributions reflecting real-world experience, or derived directly from industrial or open-source software development and evolution, were particularly welcome.

On behalf of the Organizing Committee for Pervasive 2008, welcome to the proceedings of the 6th International Conference on Pervasive Computing. The year2008wasthesecondtimeinasmanyyearsthatthePervasiveconferencehas attempted to "e;globalize"e;: For the second year in a row the conference was held outside of Europe. The conference is seen as one of the most respected venues for publishing researchon pervasive and ubiquitous computing and captures the state of the art in pervasive computing research. In 2008, as in previous years, the proceedings present solutions for challenging research problems and help to identify upcoming research opportunities. Pervasive 2008 attracted 114 high-quality submissions, from which the Te- nical Program Committee accepted 18 papers, resulting in a competitive 15. 8% acceptance rate. There were over 335 individual authors from 27 countries,c- ing from a wide range of disciplines and from both academic and industrial organizations. Papers were selected solely on the quality of their peer reviews using a double-blind review process. The review process was carried out by 38 members of the international Technical ProgramCommittee (TPC) who are - perts of international standing. The TPC members were aided by 104 external reviewers. It wasa rigorousreviewprocess,in whicheachpaper had atleastfour reviews: three reviews provided by by the Committee members and one review written by an external reviewer. The reviews were followed by a substantive - liberation on each paper during an electronic discussion phase before the start of the Committee meeting.

This book constitutes the refereed proceedings of the 30th annual European Conference on Information Retrieval Research, ECIR 2008, held in Glasgow, UK, in March/April 2008.The 33 revised full papers and 19 revised short papers presented together with the abstracts of 3 invited lectures and 32 poster papers were carefully reviewed and selected from 139 full article submissions. The papers are organized in topical sections on evaluation, Web IR, social media, cross-lingual information retrieval, theory, video, representation, wikipedia and e-books, as well as expert search.

Parallelanddistributedprocessing,althoughwithinthefocusofcomputerscience researchforalongtime,isgainingmoreandmoreimportanceinawidespectrum of applications. These proceedings aim to demonstrate the use of parallel and distributed processing concepts in di?erent application ?elds, and attempt to spark interest in novel research directions to advance the embracing model of high-performance computing research in general. The objective of these workshops is to speci?cally address researchers c- ing from university, industry and governmental research organizations and application-oriented companies, in order to close the gap between purely s- enti?c research and the applicability of the research ideas to real-life problems. Euro-Par is an annual series of international conferences dedicated to the promotionandadvancementofallaspectsofparallelanddistributedcomputing. The 2007 event was the 13th issue of the conference. Euro-Par has for a long time been eager to attract colocated events sharing the same goal of promoting the development of parallel and distributed computing, both as an industrial technique and an academic discipline, extending the frontier of both the state of the art and the state of the practice. Since 2006, Euro-Par o?ers researchersthe chance to colocate advanced technical workshops back-to-back with the main conference. This is for a mutual bene?t: the workshops can take advantage of all technical and social facilities which are set up for the conference, so that the organizational tasks are kept to a minimal level; the conference can rely on workshopstoexperimentwithspeci?careasofresearchwhicharenotyetmature enough, or too speci?c, to lead to an o?cial, full-?edged topic at the conference.

This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008.The 19 revised full papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers cover a wide spectrum reaching from pre-fabrication adaptation of architectural templates to dynamic run-time adaptation of deployed systems with special focus on adaptivity and adaptive system architectures. The papers are organized in topical sections on hardware design, pervasive computing, network processors and memory management, reconfigurable hardware, real-time architectures, organic computing, and computer architecture.

Biomolecular/DNA computing is now well established as an interdisciplinary field where chemistry, computer science, molecular biology, physics, and mathematics come together with the common purpose of fundamental scientific understanding of biology and chemistry and its applications. This international meeting has been the premier forum where scientists with different backgrounds and a common focus meet to present their latest results and entertain visions of the future. In this tradition, about 100 participants converged in Memphis, Tennessee to hold the 13th International Meeting on DNA Computing during June 4-8, 2007, under the auspices of the International Society for Nanoscale Science, Computation and Engineering (ISNSCE) and The University of Memphis. The call for papers encouraged submissions of original, recent, and promising experimental and theoretical results in the field. The Call for Papers elicited some 62 submissions, almost perfectly balanced among the major theoretical and experimental categories. It is evidence of how well the interdisciplinary nature of the conference has truly matured that the major criterion of quality, agreed upon in advance by the Program Committee (PC), produced a nearly balanced program as well across the two major categories, full papers and talks with an abstract only. The program with the greatest perceived impact consisted of 24 papers for plenary oral talks; in addition, 15 full-paper posters and 10 poster abstracts were accepted, of which 5 authors were invited to give five short demos in a new submission category this year. The conference program retained the structure now customary for this meeting.

Stochastic processes are as usual the main subject of the Seminaire, with contributions on Brownian motion (fractional or other), Levy processes, martingales and probabilistic finance. Other probabilistic themes are also present: large random matrices, statistical mechanics. The contributions in this volume provide a sampling of recent results on these topics. All contributions with the exception of two are written in English language.

This is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First International Workshop on Advanced Low Power Systems 2006 (ALPS2006). The post-proceedings also contain the papers presented at the Second HPF International Workshop: - periences and Progress (HiWEP2005) and the Workshop on Applications for PetaFLOPS Computing (APC2005), which are workshops of ISHPC-VI. ISHPC-VI, HiWEP2005 and APC2005 were held in Nara, Japan during September 7-9, 2005. Fifty-eight papers from 11 countries were submitted to ISHPC-VI. After the reviews of the submitted papers, the ISHPC-VI Program Committee selected 15 regular (12-page) papers for oral presentation. In ad- tion, several other papers with favorable reviews were recommended for poster presentation, and 14 short (8-page) papers were also selected. Twenty-eight papers out of 29 ISHPC-VI papers are contained in the post-proceedings. Hi- WEP2005 and APC2005 received eight and ten submissions, with six and eight papers being accepted for oral presentation after reviews, respectively. All the HiWEP2005 and APC2005 papers are included in the post-proceedings. ALPS2006 was held in Cairns, Australia on July 1, 2006 in conjunction with the ACM 20th International Conference on Supercomputing. The number of submitted papers was 15, and eight papers were accepted for oral presentation. The post-proceedings contain six of the eight papers.

This volume is a collection of papers presented during the first International ACM-L Workshop, which was held in Tucson, Arizona, during the 25th International Conference on Conceptual Modeling, ER 2006. Included in this state-of-the-art survey are 11 revised full papers, carefully reviewed and selected from the workshop presentations. These are rounded off with four invited lectures and an introductory overview, and represent the current thinking in conceptual modeling research.

The advent of the Internet has opened up a wealth of applications, but also given rise to a host of new problems. Many of those problems have led to - citing new research directions in mathematics and theoretical computer science, especially in the areas of combinatorics and algorithms. The Fourth Workshop on Combinatorial and Algorithmic Aspects of Networking (CAAN 2007) was organized to be a place where the latest research developments on all aspects of networking could be presented. The topics covered were diverse, with talks on strategies for searching in networks, for cleaning networks of unwanted - truders, on di?erent routing strategies, and on scheduling and load balancing. The workshop started with an invited lecture by Peter Winkler of Dartmouth College, who gave a general talk on a topic related to probability, a concept central to network modeling and managing. The afternoon opened with a short invited talk by Alejandro Lop ' ez-Ortiz, who gave an overview of various issues in designing resilient backbone networks. CAAN 2007 took place on August 14, 2007, at Dalhousie University in Halifax, Nova Scotia, Canada, co-located with the Workshop on Algorithms and Data Structures (WADS 2007). Three previous CAAN workshops were held in Chester, UK (CAAN 2006), Waterloo, Ontario, Canada (CAAN 2005), and in Ban?, Alberta, Canada (CAAN 2004), respectively.

This book constitutes the refereed proceedings of the 14th International Conference on High-Performance Computing, HiPC 2007, held in Goa, India, in December 2007. The 53 revised full papers presented together with the abstracts of five keynote talks were carefully reviewed and selected from 253 submissions. The papers are organized in topical sections on a broad range of applications including I/O and FPGAs, and microarchitecture and multiprocessor architecture.

This book constitutes the refereed proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC 2007, held in Sendai, Japan, in December 2007. The 77 revised full papers presented together with two invited talks were carefully reviewed and selected from 220 submissions. The papers included topical sections on graph algorithms, computational geometry, complexity, graph drawing, distributed algorithms, optimization, data structure, and game theory.

This book constitutes the refereed proceedings of the Third International Workshop on Internet and Network Economics, WINE 2007, held in San Diego, CA, USA, in December 2007. The contents were carefully reviewed and selected. The papers are organized in topical sections on equilibrium, information market, sponsored auction, network economics, mechanism design, social networks, advertisement pricing, computational general equilibrium, network games, and algorithmic issues.

This book constitutes the joint refereed proceedings of six workshops held in conjunction with the 8th International Conference on Web Information Systems Engineering, WISE 2007 in Nancy, France, in December 2007. The 44 revised full papers presented were carefully reviewed and selected from numerous submissions for presentation in the six workshops. The workshops discuss a broad range of subjects.

This book constitutes the proceedings of the 8th International Conference on Web Information Systems Engineering, WISE 2007, held in Nancy, France, in December 2007. The papers are organized in topical sections on querying, trust, caching and distribution, interfaces, events and information filtering, data extraction, transformation, and matching, ontologies, rewriting, routing, and personalisation, agents and mining, QOS and management, modeling, and topics.

These proceedings contain the papers selected for presentation at the Seventh International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2007). The symposium was organized locally by the University of Glamorgan (UK) and held in Cardiff (UK) in November 2007. It was the latest in a series of annual events that started in Kyoto 2001 and now alternate locations each year between East Asia and Europe. As in previous years, the aim of the symposium was to provide an up-to-date review of advances and recent developments in theoretical and technical issues relating to Web and wireless GIS technologies. The symposium organizers received 45 full papers in response to the call for papers. These papers went through a thorough review process, with each paper being assessed by at least three reviewers. The quality of papers was high, and 21 were selected for presentation and inclusion in these proceedings. It was particularly pleasing to note that 19 different countries are represented by the authors of selected papers. The keynote address was delivered by Jonathan Raper of City University, London, in which he talked about his research work in the areas of location-based services and mobile information needs. We wish to thank all the authors that submitted papers to this symposium. Our special thanks go to all those who attended, and particularly those who presented.

Essstorungen und Adipositas: Beide Storungsbilder haben eine zunehmende Pravalenz und fuhren zu schwerwiegenden gesundheitlichen Problemen, wenn nicht gar zum Tod.Beiden Krankheitsbildern ist gemein, dass Sie generell als schwer therapierbar gelten, Rckflle, wenig Krankheitseinsicht und eine oft langwierige Therapie sind die Folgen.Das Herausgeber- und Autorenteam hat es sich zur Aufgabe gemacht, alle Aspekte der Strungen wissenschaftlich kompetent und auf Grundlage der aktuellsten Datenlage zu erlutern und gleichzeitig Wege fr die Behandlung auf zu zeigen. Besonderer Wert wurde auf ein schulenunabhngiges Konzept und auf Therapierichtlinien gelegt, die pharmakologische und psychotherapeutische Elemente verknpfen. Als Nachschlagewerk und Behandlungsleitlinie ist das Buch wertvoll sowohl fr angehende Psychiater, Psychotherapeuten, Psychosomatiker und klinische Psychologen als auch fr erfahrene Kollegen in Klinik und Praxis.