Bücher veröffentlicht von Springer Berlin Heidelberg

The 39th volume of Seminaire de Probabilites is a tribute to the memory of Paul Andre Meyer. His life and achievements are recalled; homages are rendered by his friends and colleagues. This volume also contains mathematical contributions to classical and quantum stochastic calculus, the theory of processes, martingales and their applications to mathematical finance, Brownian motion. They provide an overview on the current trends of stochastic calculus.

Information technology is a rapidly changing field in which researchers and developers must continuously set their vision on the next generation of technologies and the systems that they enable. Suitably, Next-Generation Information Technologies and Systems (NGITS) is an ongoing series of workshops that provides a forum for presenting and discussing the latest advances in information technology. NGITS took are international events held in Israel; previous workshops took place in 1993, 1995, 1997, 1999 and 2002. The call for papers for the 2006 workshop was answered by 138 papers on a very diverse range of subjects, thus presenting a considerable challenge to the Program Committee. Each of these papers received professional reviewing from at least three experts, and eventually 32 papers (less than 25%) were selected for presentation at the workshop and inclusion in these proceedings. Of these, 28 are full-length papers and 4 are short papers. In addition, several research works were selected to display "e;poster"e; presentations, and a number of research projects exhibited demonstrations. Finally, the workshop featured three keynote lectures by notable experts. The selected papers may be classified roughly in ten broad areas: ? Information systems development ? Distributed systems ? Semi-structured data ? Data mining and agent-oriented computing ? User-oriented design ? Frameworks, models and taxonomies ? Simulation and incremental computing ? Information integration ? Security and privacy ? Next-generation applications This event is the culmination of efforts by many talented and dedicated individuals.

CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network is to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti?c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines. Computations may be made by experimenting with any sort of physical system obeying the laws of a physical theory such as Newtonian mechanics, quantum theory or relativity. Computations may be very general, depending upon the foundations of set theory; or very speci?c, using the combinatorics of ?nite structures. CiE also works on subjects intimately related to computation, especially theories of data and information, and methods for formal reasoning about computations. The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, and computational learning. Applications are everywhere, especially, in algebra, analysis and geometry, or data types and programming. This volume, Logical Approaches to Computational Barriers, is the proce- ings of the second in a series of conferences of CiE that was held at the Depa- ment of Computer Science, Swansea University, 30 June - 5 July, 2006.

This volume of the Lecture Notes in Computer Science series publishes the set of papers accepted for the ICQT 2006 workshop, i.e., the 5th International Workshop on Internet Charging and QoS Technology (ICQT), which was collocated with ACM SIGMETRICS. These events took place in St. Malo, France and were hosted by the IUT (Institut Universitaire Technologique) of St. Malo. QoS-guaranteed services enable a huge variety of prosperous business models, and the need for viable models and pricing schemes is urgent. The resulting combination of technical and economic perspectives drives many relevant research topics for application developers, business architects, network providers, service providers, and customers. Especially the identification of novel service charging solutions, the investigation and evaluation of their technical feasibility, and the consolidation of technical and economic mechanisms for enabling a fast, guaranteed, and efficient charging of services is of fundamental importance for the future evolution of the Internet, and as such the central focus of the international ICQT workshop series. This year's ICQT constituted the 5th vivid workshop on Internet economics and charging technology, which initially took place in 2001 in Vienna, Austria within the framework of the Annual Meeting of the German Society for Computer Science (GI) and the Austrian Computer Society, and which was collocated in 2002 with the QofIS 2002 workshop in Zurich, Switzerland, in 2003 with the NGC 2003 workshop in Munich, Germany, and in 2004 again with QofIS 2004 in Barcelona, Spain.

This book constitutes the refereed proceedings of the 19th Annual Conference on Learning Theory, COLT 2006, held in Pittsburgh, Pennsylvania, USA, June 2006. The book presents 43 revised full papers together with 2 articles on open problems and 3 invited lectures. The papers cover a wide range of topics including clustering, un- and semi-supervised learning, statistical learning theory, regularized learning and kernel methods, query learning and teaching, inductive inference, and more.

This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Aspects in Information and Management, AAIM 2006, held in Hong Kong, June 2006. The book presents 34 revised full papers together with abstracts of 2 invited talks. The papers cover topics from areas such as online scheduling, game and finance, data structures and algorithms, computational geometry, optimization, graph, and string, and more.

Dedicated to the Memory of Rufus Bowen (1947-1978)

Content-oriented XML retrieval has been receiving increasing interest due to the widespread use of eXtensible Markup Language (XML), which is becoming a standard document format on the Web, in digital libraries,and publishing. By exploiting the enriched source of syntactic and semantic information that XML markup provides, XML information retrieval (IR) systems aim to implement a more focused retrieval strategy and return document components, so-called XML elements - instead of complete documents - in response to a user query. This focused retrieval approach is of particular bene?t for collections containing long documents or documents covering a wide variety of topics (e.g., books, user manuals, legal documents, etc.), where users' e?ort to locate relevant content can be reduced by directing them to the most relevant parts of the documents. Implementing this, more focused, retrieval paradigm means that an XML IR system needs not only to ?nd relevant information in the XML documents, but it also has to determine the appropriate level of granularity to be returned to the user. In addition, the relevance of a retrieved component may be dependent on meeting both content and structural query conditions.

Romanian Finnish Seminar on Complex Analysis

This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006. The book presents 16 revised full papers and 6 revised tool papers together with 4 invited papers. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.

Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have been proposed to implement the concept, from libraries of reusable assets to product lines, to generative methods. These latter techniques are mostly used in intra-organizational reuse, and require considerable formal knowledge over the evolution of technology and required functionality in a domain over several years. On the other end of the spectrum, extra-organizational reuse is based on reuse of off-the-shelf (OTS) software (both open and closed source, acquired for free or for a fee). Here, a limited investment and immediate availability of the assets have widely spread the approach. On the other hand, the reusing organization has no control on the evolution of the functionality and assumptions of the asset. Even when the assets are open source, they are seldom modified. The theme for this ninth meeting is the reuse of off-the-shelf (OTS) components and related problems: * Documentation of OTS components * Processes to identify and select OTS components * Integration and evolution problems * Reliability and security of OTS components and legal issues * Interaction with the developer community or with the vendor The proceedings you are holding cover these issues as well as development and use of product lines, variability modeling, aspect-based development, composition of components and services. June 2006 Maurizio Morisio Organization Organizing Committee General: Giancarlo Succi, Free University Bolzano/Bozen Program: Maurizio Morisio, Politecnico di Torino Workshops Peter Knauber, Mannheim University of Applied Sciences, Germany

This book constitutes the refereed proceedings of the 5th International Workshop on Experimental and Efficient Algorithms, WEA 2006, held in Menorca, Spain, May 2006. The book presents 26 revised full papers together with 3 invited talks. The application areas addressed include most fields applying advanced algorithmic techniques, such as combinatorial optimization, approximation, graph theory, discrete mathematics, scheduling, searching, sorting, string matching, coding, networking, and more.

ESAW 2005 took place at the Pine Bay Hotel in Kusadasi, Turkey at the end of the October 2005. It was organized as a stand-alone event as were ESAW 2004and ESAW 2003.Following the initial ESAW vision,which wasset in 1999, by the members of the working group on "e;Communication, Coordination and Collaboration"e; of Agentlink, ESAW 2005 continued to focus on the engineering of complex software systems in terms of multi-agent societies, especially the social and environmental aspects of such societies. The number of participants (40 researchers from 10 countries) and the highly interactive discussions held during the workshop showed the augmented importance of the initial vision as well as the e?ectiveness of ESAW as a well-established research forum. It is obvious that today's interconnected world increases the importance of approaches concerning the engineering of complex and distributed software systems. These kinds of large scale systems, made up of massive numbers of autonomous components, force us to discover new and novel approaches to model and engineer such systems as agent societies. It is very likely that such innovations will exploit lessons from a variety of di?erent scienti?c disciplines, such as sociology, economics, organizational science and biology: ESAW 2005 included presentations from these domains in addition to its traditional - search topics.

QMath9 is a meeting for young scientists to learn about the state of the art in the Mathematical Physics of Quantum Systems. This selection of outstanding articles written in pedagocical style has six sections that cover new techniques and recent results on spectral theory, statistical mechanics, Bose-Einstein condensation, random operators, magnetic Schrodinger operators and much more. For postgraduate students this book can be used as a useful introduction to the research literature. For more expert researcher this book will be a concise and modern source of reference.

This volume contains papers presented at the first joint conference of the Software Pr- ess Workshop and the International Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006) held in Shanghai, P.R. China, on May 20-21, 2006. The theme of SPW/ProSim 2006 was "e;Software Process Change - Meeting the Challenge."e; Software developers are under ever-increasing pressure to deliver their products more quickly and with higher levels of quality. These demands are set in a dynamic context of frequently changing technologies, limited resources and globally distributed development teams. At the same time, global competition is forcing - ganizations that develop software to cut costs by rationalizing processes, outsourcing part or all of their 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 or modified processes are emerging, including agile methods and plan-based product line development. Open Source, COTS and community-developed software are becoming more popular. Outsourcing coupled with 24/7 development demands well-defined processes and interfaces to support the coordination of organizationally and geographically separated teams. All of these challenges combine to increase demands on the efficiency and effectiveness of so- ware processes.

This book constitutes the refereed proceedings of the 18th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2006. The 23 revised full papers presented were carefully reviewed and selected from initially 48 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing.

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. The 35 revised full theory papers and 29 revised application papers together with 3 invited talks address all major areas in computer science are addressed. The theory track deals with algorithms, protocols, data structures and more. The application part comprises programming and languages; computer architecture and hardware design among many more topics.

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on DNA Based Computers, DNA11, held in London, ON, Canada, in June 2005. The 34 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 79 submissions. The wide-ranging topics include in vitro and in vivo biomolecular computation, algorithmic self-assembly, DNA device design, DNA coding theory, and membrane computing.