springer berlin heidelberg mai 2008 (248 résultats)

Taschenbuch. Etat : Neu. Neuware -In this volume the author further develops his philosophy of quantum interpolation between the real numbers and the p-adic numbers. The p-adic numbers contain the p-adic integers Zp which are the inverse limit of the finite rings Z/pn. This gives rise to a tree, and probability measures w on Zp correspond to Markov chains on this tree. From the tree structure one obtains special basis for the Hilbert space L2(Zp,w). The real analogue of the p-adic integers is the interval [-1,1], and a probability measure w on it gives rise to a special basis for L2([-1,1],w) - the orthogonal polynomials, and to a Markov chain on 'finite approximations' of [-1,1]. For special (gamma and beta) measures there is a 'quantum' or 'q-analogue' Markov chain, and a special basis, that within certain limits yield the real and the p-adic theories. This idea can be generalized variously. In representation theory, it is the quantum general linear group GLn(q)that interpolates between the p-adic group GLn(Zp), and between its real (and complex) analogue -the orthogonal On (and unitary Un )groups. There is a similar quantum interpolation between the real and p-adic Fourier transform and between the real and p-adic (local unramified part of) Tate thesis, and Weil explicit sums.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Feynman path integrals, suggested heuristically by Feynman in the 40s, have become the basis of much of contemporary physics, from non-relativistic quantum mechanics to quantum fields, including gauge fields, gravitation, cosmology. Recently ideas based on Feynman path integrals have also played an important role in areas of mathematics like low-dimensional topology and differential geometry, algebraic geometry, infinite-dimensional analysis and geometry, and number theory.The 2nd edition of LNM 523 is based on the two first authors' mathematical approach of this theory presented in its 1st edition in 1976. To take care of the many developments since then, an entire new chapter on the current forefront of research has been added. Except for this new chapter and the correction of a few misprints, the basic material and presentation of the first edition has been maintained. At the end of each chapter the reader will also find notes with further bibliographical information.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -With the growingubiquity of computing systems it is essentialthat we canplace reliance on the services they deliver. This is particularly obvious and important in areas like aircraft avionics, global nancial transaction processing, or nuclear power plant control where human lives or large nancial values are at stake. But also the worldwide daily nuisances of computer viruses or data corruptions caused by crashing operating systems collectively impose high costs on society, which are beginning to become economically relevant. Within computer science, the termdependability has been introduced as a general term to cover all critical quality aspects of computing systems. Foll- ing the terminology of Laprie [26, 293], a system is dependable if trust can justi ably be placed in the service it delivers (we will de ne dependability and related terms more precisely later in this book). In the early days of computer science, researchers thought thatprogram correctness was the key to depe- ability meaning that a programalways terminates and satis es its postcondition if it is started in a state where its precondition holds. Today we knowthat many other factors in uence the well-functioning of a computer system. Examples of these factors are: ¿ Hardware reliability: The occurrence of hardware faults, which cannot be neglected in critical systems. ¿ Non-functional properties: The growingimportance of properties which c- not be expressed so easily as pre- and postconditions. As an example, c- sider the performance requirement that the averageresponse time should be below some value. 324 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The Workshop on Experimental Algorithms, WEA, is intended to be an int- national forum for research on the experimental evaluation and engineering of algorithms, as well as in various aspects of computational optimization and its applications. The emphasis of the workshop is the use of experimental me- ods to guide the design, analysis, implementation, and evaluation of algorithms, heuristics, and optimization programs. WEA 2008 was held at the Provincetown Inn, Provincetown, MA, USA, on May 30 ¿ June 1, 2008. This was the seventh workshop of the series, after Rome (2007),Menorca(2006),Santorini(2005),RiodeJaniero(2004),Asconia(2003), and Riga (2001). This volume contains all contributed papers accepted for presentation at the workshop. The 26 contributed papers were selected by the Program Committee onthebasisofatleastthreerefereereports,somecontributedbytrustedexternal referees. In addition to the 26 contributed papers, the program contained two invited talks. Camil Demetrescu, of the University of Rome ¿La Sapienza,¿ spoke on ¿Visualization in Algorithm Engineering.¿ David S. Johnson of AT & T Labs ¿ Research, gave a talk on ¿Bin Packing: From Theory to Experiment and Back Again.¿ We would like to thank the authors who responded to the call for papers, our invited speakers, the members of the ProgramCommittee, the external referees, and the Organizing Committee members for making this workshop possible.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference on Cryptology hosted in Africa, held in Casablanca, Morocco, in June 2008. The 25 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from 82 submissions. The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, public-key cryptography, pseudorandomness, analysis of stream ciphers, hash functions, broadcast encryption, and implementation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication. Data hiding and cryptographic techniques are often combined to complement each other, thus triggering the development of a new research field of multimedia security. Besides, two related disciplines, steganalysis and data forensics, are increasingly attracting researchers and becoming another new research field of multimedia security. This journal, LNCS Transactions on Data Hiding and Multimedia Security, aims to be a forum for all researchers in these emerging fields, publishing both original and archival research results. This third issue contains five contributions in the areas of steganography and digital watermarking. The first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic scheme. Finally, this volume includes two papers that focus on digital watermarking and data hiding. The fourth paper introduces and analyzes a new covert channel and the fifth contribution analyzes the performance of additive attacks against quantization-based data hiding methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 108 pp. Englisch.

Buch. Etat : Neu. Neuware -Trade in counterfeit goods has developed into a substantial threat to many industries. The problem is no longer confined to prestigious, easy-to-manufacture products which consumers all too often knowingly purchase as cheap imitations. Today counterfeiting affects pharmaceuticals, mechanical spare parts, fast-moving consumer goods and electronic components as well as fashion accessories, clo- ing, cigarettes, and digital media. Even within the different product categories counterfeit supply is extremely diverse. While some goods pose a severe risk to the health and safety of consumers, others have a decent level of quality and s- isfy the needs of most of their users; manufacturing sites exist where people work under almost inhuman conditions whereas other facilities resemble modern, highly automated plants; and counterfeit producers may act like small-time criminals, but may also manage their businesses like multinational companies. On the dema- side consumers sometimes invest considerable effort in searching for low-cost imitations or may become actively engaged in a company¿s anti-counterfeiting program. The implications for brand owners are as manifold as the market itself. Effects include losses of revenue due to substitution and constraints to product pricing, erosion of brand value when corresponding goods appear to become less exclusive or of lower quality, liability claims and product recalls if substandard imitations end up in products or on the shelves of licit companies, and increased competition resulting from learning effects among illicit actors who may eventually turn into licit manufacturers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon gurable and heterogeneous components. New models, architectures, languages, and veri cation techniques are necessary to cope with thecomplexityinducedbythedemandsoftoday¿ssoftwaredevelopment. COOR- DINATIONaimstoexplorethespectrumoflanguages,middleware,services,and algorithms that separate behavior from interaction, therefore increasing mo- larity, simplifying reasoning, and ultimately enhancing software development. This volume contains the proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway in June 2008, as part of the federated DisCoTec conference. COORDI- NATIONitselfispartofaserieswhoseproceedingshavebeenpublishedinLNCS volumes 1061, 1282, 1594, 1906, 2315, 2949, 3454, 4038, and 4467. From the 61 submissions received from around the world, the Program Committee selected 21 papers for presentation and publication in this volume on the basis of or- inality, quality, and relevance to the topics of the conference. Each submission received at least three reviews. As with previous editions, the paper submission and selection processes were managed entirely electronically. This was acc- plished using EasyChair, a free Web-based conference management system. In addition to the technical paper presentations, COORDINATION 2008 hosted an invited presentation by Matt Welsh from Harvard University. We are grateful to all the Program Committee members who devoted much e ort and time to read and discuss the papers. Moreover, we acknowledge the help of additional external reviewers who evaluated submissions in their area of expertise. Finally,wewouldliketothanktheauthorsofallthesubmittedpapersandthec onferenceattendees, for keeping this researchcommunity lively and interactive, and ultimately ensuring the success of this conference series. 360 pp. Englisch.

Buch. Etat : Neu. Neuware -Software testing is traditionally seen as a difficult and time consuming activity that is hard to embed in the software development process. This book provides a different view. It explains to stakeholders how testing can add value to software development and doing business, and provides the tester with practical information.TestGoal is not just another methodology. Several good testing methodologies exist. But, like any other profession, also testing encompasses more than the simple application of a methodology. After all, strict adherence to a specific methodology is no guarantee for success. Success stems from the mindset, enthusiasm, knowledge and skill of the tester. These factors determine whether a methodology is applied successfully and whether testing takes on a result-driven character. And that¿s what TestGoal is about: a result-driven attitude, testing principles and expertise as fundament, and a hands-on six step plan to enable result driven testing.Derk-Jan de Grood and his colleagues from Collis, an international software testing company, know about the main pitfalls in test projects from their extensive professional experience. TestGoal has emerged from the office floor and captures over a decade of best practice. TestGoal is made by professionals for professionals, and it combines the mindset, knowledge, and skills required to add value with testing and make software development more successful.This book explains in a clear language how you can make testing result-driven. It explains why testing is important and describes all of the activities involved in testing. It is enriched with recognizable examples, practical tips and useful checklists. This makes it a 'GO kit' that enables testers to immediately get started and add value to their organization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Buch. Etat : Neu. Neuware -Tis book, already translated into ten languages, may at frst sight appear to be just about honeybees and their biology. It c- tains, however, a number of deeper messages related to some of the most basic and important principles of modern biology. Te bees are merely the actors that take us into the realm of phys- ology, genetics, reproduction, biophysics and learning, and that introduce us to the principles of natural selection underlying the evolution of simple to complex life forms. Te book destroys the cute notion of bees as anthropomorphic icons of busy self-sacr -i fcing individuals and presents us with the reality of the colony as an integrated and independent being¿a ¿superorganism¿¿with its own, almost eerie, emergent group intelligence. We are s- prised to learn that no single bee, from queen through drone to sterile worker, has the oversight or control over the colony. - stead, through a network of integrated control systems and fee- backs, and communication between individuals, the colony - rives at consensus decisions from the bottom up through a type of ¿swarm intelligence¿. Indeed, there are remarkable parallels between the functional organization of a swarming honeybee colony and vertebrate brains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The book constitutes the refereed proceedings of the 4th International Conference on Distributed Computing in Sensor Systems, DCOSS 2008, held on Santorini Island, Greece, in June 2008.The 29 revised full papers and 12 revised short papers presented were carefully reviewed and selected from 116 submissions. The papers propose a multitude of novel algorithmic design and analysis techniques, systematic approaches and application development methodologies for distributed sensor networking. The papers cover aspects including energy management, communication, coverage and tracking, time synchronization and scheduling, key establishment and authentication, compression, medium access control, code update, and mobility.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.

Buch. Etat : Neu. Neuware -The 2007 ESO Instrument Calibration workshop brought together more than 120 participants with the objective to a) foster the sharing of information, experience and techniques between observers, instrument developers and instrument operation teams, b) review the actual precision and limitations of the applied instrument calibration plans, and c) collect the current and future requirements by the ESO users.These present proceedings include the majority of the workshop¿s contributions and document the status quo of instrument calibration at ESO in large detail. Topics covered are: Optical Spectro-Imagers, Optical Multi-Object Spectrographs, NIR and MIR Spectro-Imagers, High-Resolution Spectrographs, Integral Field Spectrographs, Adaptive Optics Instruments, Polarimetric Instruments, Wide Field Imagers, Interferometric Instruments as well as other crucial aspects such as data flow, quality control, data reduction software and atmospheric effects.It was stated in the workshop that ¿calibration is a life-long learning process¿'. In this sense, this book will be a reference point for all future efforts to improve instrument calibration procedures in astronomy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008) was held in Paris, France May 20¿23, 2008. The purpose of this conference series is to bring together researchers in the elds of constraint programming, arti cial intelligence, and operations research to explore ways of solving large-scale, practical optimization problems through integration and hybridization of the elds¿ di erent techniques. Through the years, this research community is discovering that the elds have much in c- mon, and there has been tremendous richness in the resulting cross-fertilization of elds. This year, we allowed submissions of both long (15 page) and short (5 page) papers, with short papers either being original work, a reduced version of a long paper, or an extended abstract of work published elsewhere. We were not s- prised by the 69 submissions in the long paper category: this is an active eld with many researchers. We were surprised by the 61 short paper submissions. This was far more than predicted. With 130 high-quality submissions, compe- tion for acceptance in this year¿s program was particularly erce. In the end, we accepted 18 long papers and 22 short papers for presentation and publication in this volume. 412 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Thisvolumecontainstheproceedingsofthe rstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4¿5, 2008. While there are several venues that cover computational methods in systems biology,there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci cation, development and veri cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways that can signi cantly advance our understanding of biological systems. As a forum for this discussion we invited key scientists in the area of formal methods to this unique meeting. Although this was a one-o meeting, we are exploring the possibility of this forming the rst of what might become an annual conference. Presentations at the meeting were by invitation only; future meetings are expected to operate on a submission and review basis. The Steering Committee and additional referees reviewed the invited papers. Each submission was evaluated by at least two referees. The volume includes nine invited contributions. Formal Methods in Systems Biology 2008 was made possible by the cont- bution and dedication ofmany people. First of all,we wouldlike to thank allthe authors who submitted papers. Secondly, we would like to thank our additional invited speakers and participants. We would also like to thank the members of the Steering Committee for their valuable comments. Finally, we ackno- edge the help of the administrative and technical sta at the MicrosoftResearch Cambridge lab.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Most of the existing portfolio selection models are based on the probability theory. Though they often deal with the uncertainty via probabilistic - proaches, we have to mention that the probabilistic approaches only partly capture the reality. Some other techniques have also been applied to handle the uncertainty of the nancial markets, for instance, the fuzzy set theory [Zadeh (1965)]. In reality, many events with fuzziness are characterized by probabilistic approaches, although they are not random events. The fuzzy set theory has been widely used to solve many practical problems, including nancial risk management. By using fuzzy mathematical approaches, quan- tative analysis, qualitative analysis, the experts¿ knowledge and the investors¿ subjective opinions can be better integrated into a portfolio selection model. The contents of this book mainly comprise of the authors¿ research results for fuzzy portfolio selection problems in recent years. In addition, in the book, the authors will also introduce some other important progress in the eld of fuzzy portfolio optimization. Some fundamental issues and problems of po- folioselectionhavebeenstudiedsystematicallyandextensivelybytheauthors to apply fuzzy systems theory and optimization methods. A new framework for investment analysis is presented in this book. A series of portfolio sel- tion models are given and some of them might be more e cient for practical applications. Some application examples are given to illustrate these models by using real data from the Chinese securities markets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the First and the Second International Workshop on OpenMP, IWOMP 2005 and IWOMP 2006, held in Eugene, OR, USA, and in Reims, France, in June 2005 and 2006 respectively. The first part of the book presents 16 revised full papers carefully reviewed and selected from the IWOMP 2005 program and organized in topical sections on performance tools, compiler technology, run-time environment, applications, as well as the OpenMP language and its evaluation. In the second part there are 19 papers of IWOMP 2006, fully revised and grouped thematically in sections on advanced performance tuning aspects of code development applications, and proposed extensions to OpenMP. 468 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication,and software systems. The main aim of the SFM series is to o er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the eld. SFM 2008 was devoted to formal techniques for computational systems - ology and covered several aspects of the eld, including computational models, calculi and logics for biological systems, and veri cation and simulation me- ods. Theschoolfeatured not onlyregularlectures, but also talksgivenby people involvedinthe ItalianresearchprojectonBio-InspiredSystems andCalculiwith Applications (BISCA). The rst partof this volume comprises nine papers basedon regularlectures. The paper by Degasperi and Gilmore describes the application of sensitivity analysistechniques to stochastic simulation algorithms. Talcott¿s paper presents pathway logic, an approach to modeling and analysis of biological processes based on rewriting logic. Fages and Soliman study reaction graphs and acti- tion/inhibition graphs used by biologists through formal methods originating from programming theory. The paper by Maus, John, R¿ ohl, and Uhrmacher d- cusses categories, abstraction hierarchies, and composition hierarchies playing a role in modeling and simulation for computational biology. Gillespie¿s paper - views the theory of stochastic chemical kinetics and several simulation methods that are based on that theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the Third International Workshop on Mining Complex Data, MCD 2007, held in Warsaw, Poland, in September 2007, co-located with ECML and PKDD 2007. The 20 revised full papers presented were carefully reviewed and selected; they present original results on knowledge discovery from complex data. In contrast to the typical tabular data, complex data can consist of heterogenous data types, can come from different sources, or live in high dimensional spaces. All these specificities call for new data mining strategies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2008, held in Montpellier, France, in June 2008. The 17 revised full papers presented together with an introduction of the editors and the keynote lecture were carefully reviewed and selected from 50 submissions. The papers are organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative systems, maturing research, and empirical studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, held in Windsor, Canada, in May 2008. The 30 revised full papers presented together with 5 revised short papers were carefully reviewed and selected from 75 submissions. The papers present original high-quality research in all areas of Artificial Intelligence and apply historical AI techniques to modern problem domains as well as recent techniques to historical problem settings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Buch. Etat : Neu. Neuware -Publication of this book is a special event. This valuable title lls a se- ous gap in domestic science and technical literature. At the same time it introduces a reader to the most recent achievements in the quickly dev- oping branch of knowledge which the computational intelligence has been for several years. The eld, which is a subject of this book, is one of those important elds of science which enable to process information included in data and give their reasonable interpretation programmed by a user. Recent decades have brought a stormy development of computer te- niquesandrelatedcomputationalmethods.Togetherwiththeirappearance and quick progress, theoretical and applied sciences developed as well, - ablingtheusertofullyutilizenewlycreatedcomputationalpotentialandto getknowledgeoutofincreasingwealthofdata.Thedevelopmentofcom- tational intelligence is then strictly connected with the increase of available data as well as capabilities of their processing, mutually supportive factors. Without them the development of this eld would be almost impossible, and its application practically marginal. That is why these techniques have especially developed in recent years. The development of computational intelligence systems was inspired by observable and imitable aspects of intelligent activity of human being and nature. Nature when undertakes intelligent actions processes data in p- allel regulating and adjusting these actions through feedback mechanisms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Welcome to the proceedings of the 8th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2008). ICA3PP 2008 consist of two keynote addresses, seven technical sessions, and one tutorial. Included in these proceedings are papers whose authors are from Australia, Brazil, Canada, China, Cyprus, France, India, Iran, Israel, Italy, Japan, Korea, Germany, Greece, Mexico, Poland, Portugal, Romania, Spain, Switzerland, Taiwan, Tunisia, UAE, UK, and USA. Each paper was rigorously reviewed by at least three Program Committee members and/or external revi- ers, and the acceptance ratio is 35%. These papers were presented over seven technical sessions. Based on the paper review results, three papers were selected as the best papers. We would like to thank the many people who helped make this conference a successful event. We thank all authors who submitted their work to ICA3PP 2008, and all Program Committee members and additional reviewers for their diligent work in the paper review process ensuring a collection of high-quality papers. We are grateful to Hong Shen University of Adelaide, Australia and Kleanthis Psarris University of Texas at San Antonio, United States, for their willingness to be the keynote speakers. Our thanks go to Hai Jin and George Papapodoulos, the conference General Co-chairs, and Andrzej Goscinski, W- lei Zhou and Yi Pan, the conference Steering Committee Co-chairs for help in many aspects of organizing this conference. Finally, we thank all the conference participants for traveling to Cyprus. 340 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Ada 2005 is the latest version of the International Standard for the programming language Ada. Formally, it is an Amendment of ISO/IEC 8652:1995 (E) rather than a completely new standard. The primary goals for the new version were to enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Accordingly, a number of intriguing and attractive ideas have been included and implemented in a coherent manner as appropriate to the level of perfection necessary for the diligent maintenance of a language standard.The Ada 2005 Rationale describes not only the changes from Ada 95 but also the reason for the changes. It starts with an introduction providing a general overview and this is followed by seven chapters focusing on OOP; access types; structure and visibility; tasking and real time; exceptions, generics, etc.; the predefined library; and containers. The book concludes with an epilogue largely concerned with compatibility issues.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10¿13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), Taipei(2005), Paris(2006), and Tallinn(2007). As in the previous year, FORTE 2008 was collocated with TESTCOM/ FATES 2008: the 20th IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES). The co-location of FORTE and TESTCOM/FATES fostered the collaboration between their communities. The commonspiritofboth conferenceswasunderpinnedby jointopening andclosing sessions, invited talks, as well as joint social events.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Buch. Etat : Neu. Neuware -The significance of product lifecycle management (PLM ¿ Product Lifecycle Management, formerly referred to, in a narrower frame of reference, as PDM ¿ Product Data Management) is increasing, especially for companies in the manufacturing, high technology, and service industries. Product and component lifecycles are shortening while, at the same time, new products must be delivered to market more quickly than before. Many manufacturing and service companies are also trying to grow out of a bulk provider role. In the future they will be p- viding configurable and flexible solutions rather than just individual products. This leads companies to form networks in which each actor specializes in the planning, manufacture or integration of products in a certain field. Information concerning common products must pass quickly, faultlessly, and automatically between companies so that they can compete effectively in international markets. In today¿s industrial production, therefore, PLM is an essential tool for coping with the challenges of more demanding global competition and ever-shortening product and component lifecycles and growing customer needs. New, better and more flexible products must be introduced into markets more quickly, with more profit and less labor, and the lifecycle of each product must be better controlled, for example, from financial and environmental perspectives. Fierce competition in global markets drives companies to perform better. In order to perform well financially, companies must be able to make informed decisions concerning the lifecycle of each product in their portfolio.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Buch. Etat : Neu. Neuware -Risk management has become a critical part of doing business in the twenty-first century. This book is a collection of material about enterprise risk management, and the role of risk in decision making. Part I introduces the topic of enterprise risk management. Part II presents enterprise risk management from perspectives of finance, accounting, insurance, supply chain operations, and project management. Technology tools are addressed in Part III, including financial models of risk as well as accounting aspects, using data envelopment analysis, neural network tools for credit risk evaluation, and real option analysis applied to information techn- ogy outsourcing. In Part IV, three chapters present enterprise risk management experience in China, including banking, chemical plant operations, and information technology. Lincoln, USA David L. Olson Toronto, Canada Desheng Wu February 2008 v Contents Part I Preliminary 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 David L. Olson & Desheng Wu 2 The Human Reaction to Risk and Opportunity . . . . . . . . . . . . . . . . . . . 7 David R. Koenig Part II ERM Perspectives 3 Enterprise Risk Management: Financial and Accounting Perspectives . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Desheng Wu & David L. Olson 4 An Empirical Study on Enterprise Risk Management in Insurance . . 39 Madhusudan Acharyya 5 Supply Chain Risk Management . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 David L. Olson & Desheng Wu 6 Two Polar Concept of Project Risk Management. . . . . . . . . . . . . . . . . . 69 Seyed Mohammad Seyedhoseini, Siamak Noori & Mohammed AliHatefi Part III ERM Technologies 7 The Mathematics of Risk Transfer. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 Marcos Escobar & Luis Seco 8 Stable Models in Risk Management. . . . . . . . . . . . . . . . . . . . . . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Etat : Neu. Neuware -Preface This book contains the proceedings of the International Tax Conference on the c- th th mon consolidated corporate tax base (CCCTB) that was held in Berlin on 15 ¿ 16 may 2007. The conference was jointly organised by the German Federal Ministry of Finance, the Centre for European Economic Research (ZEW), Mannheim, and the Max Planck Institute (MPI) for Intellectual Property, Competition and Tax Law, Munich. More than 250 participants from all over Europe and other regions, scholars, politicians, business people and tax administrators, discussed the Eu- pean Commission¿s proposal to establish a CCCTB. Three panels of tax experts evaluated the common tax base with respect to structural elements, consolidation, allocation, international aspects and administration. The conference made clear that the CCCTB has the potential to overcome some of the most intriguing problems of corporate income taxation within the Common Market. Common tax accounting rules substantially reduce compliance and administrative costs. Consolidation of a group¿s profits and losses effects cro- border loss compensation which removes a major tax obstacle for European cro- border investment. At the same time, tax planning with respect to financing and transfer pricing is pushed back within the European Union. Moreover, as far as the CCCTB applies, member states are able to remove tax provisions that are targeted at cross border tax evasion and that might be challenged by the jurisdiction of the Eu- pean Court of Justice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.