springer berlin heidelberg mrz 2005 (79 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci c to the satellite events), and several tutorials. We received over 550 submissions to the ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive. 460 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The RECOMB Satellite Workshop on Comparative Genomics (RECOMB-CG) is a forum on all aspects and components of Comparative Genomics ranging from new quantitative discoveries about genome structures and processes to theorems on the complexity of computational problems inspired by genome comparison. Due to the interdiciplinary nature of the workshop, papers could be submitted merely for presentation at the workshop or for presentation at the workshop and publication in the proceedings. Speakers presenting papers of the former category are listed under Selected Presentations below. The workshop was a great success scienti cally as well as socially. I want to thank all participants, the members of the program committee as well as referees and, especially, the excellent invited speakers. October 2004 Jens Lagergren Invited Speakers Mathieu Blanchette (McGill University, Canada) Daniela Delneri (University of Manchester, UK) Henrik Kaessmann (Universit e de Lausanne, Switzerland) Martin Lercher (University of Bath, UK) Bill Martin (Heinrich-Heine Universit at, Germany) Ben Raphael (UCSD, USA) Marie-France Sagot (Universit e Lyon I, France) Graziano Pesole (University of Milan, Italy) Selected Presentations Ali Bashir (UCSD, USA) Inna Dubchak (Lawrence Livermore National Laboratory, USA) Dannie Durand (Carnegie Mellon University, USA) Ron Y. 144 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Internet is subject to permanent modi cations and to continuous restr- turing. This is primarily due to the tremendous rise in demand for bandwidth by the ever increasing number of users. When compared to the early years of the Internet the quality of the services o ered had to be signi cantly improved in di erent respects (delay, network and service availability, jitter, . . )inorder to satisfy the needs of many new applications. Within the last decade two new developments have contributed to many new opportunities, as well as to a need for intensive research and development: - the increased mobility of users together with the desire for ubiquitous hi- quality access to all o ered services, at reasonable cost; - the use of wireless communication. Despite their relatively low capacity (when compared with xed backbone n- works) the use of radio links supports the ubiquitous availability of Internet services in a quasiperfect way. A considerable amount of research and development activities are currently - ing on worldwide in order to adapt Internet services to the particular needs of mobile users and of wireless communication links. These questions were - tensively discussed at the rst workshop organized by the EURO-NGI Network of Excellence ('Next Generation Internet'), which has been funded by the - ropean Union since January 2004 under their IST programme. 264 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the 2nd International Conference on Se- rityinPervasiveComputing(SPC2005)heldApril6 8,2005inBoppard,Germany.The objective of this second conference was to develop new security concepts for complex application scenarios based on systems like handhelds, phones, smartcards, RFID-chips andsmartlabelshandinhandwiththeemergingtechnologyofubiquitousandpervasive computing. In particular the conference focused on methods and technologies conce- ing the identi cation of risks, the de nition of security policies, and the development of security and privacy measures, especially cryptographic protocols that are related to speci c aspects of ubiquitous and pervasive computing like mobility, location-based services,adhocnetworking,resourceallocation/restriction,invisibility,andsecureha- ware/software platforms. We received 48 submissions. Each submission was reviewed by three independent reviewers and an electronic Program Committee meeting was held via the Internet. We are very grateful to the Program Committee members for their ef ciency in processing the work and also for the quality of their reviews and discussions. Finally the Program Committee decided to accept 14 long papers and 3 short papers. Apart from the Program Committee, we would like to thank also the other persons who contributed to the success of this conference: the additional referees for revi- ing the papers, the authors for submitting the papers, and the local organizers, and in particular Hans-Peter Wagner, for the local organization of the conference in Boppard. SPC 2005 was hosted by the Bundesakademie fur of fentlicheVerwaltung of the Federal Ministry of the Interior, and was sponsored by the DFKI and BSI. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -by Roberto Cencioni At the Lisbon Summit in March 2000, European heads of state and government set a new goal for the European Union - to become the most competitive knowled- based society in the world by 2010. As part of this objective, ICT (information and communication technologies) services should become available for every citizen, and for all schools, homes and businesses. The book you have in front of you is about Semantic Web technology and law. Law is something omnipresent; all citizens - at some points in their lives - have to deal with it. In addition, law involves a large group of professionals, and is a mul- billion business world wide. Information technology is important because it that can improve citizens' interaction with law, as well as improve legal professionals' work environment. Legal professionals dedicate a significant amount of their time to finding, reading, analyzing and synthesizing information in order to take decisions, and prepare advice and trials, among other tasks. As part of the 'Semantic-Based Knowledge and Content Systems' Strategic Objective, the European Commission is funding projects to construct technology to make the Semantic Web vision come true. 1 The articles in this book are related to two current foci of the Strategic Objective : - Knowledge acquisition and modelling, capturing knowledge from raw information and multimedia content in webs and other distributed repositories to turn poorly structured information into machi- processable knowledge. 264 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Evolutionary computation (EC) involves the study of problem-solving and op- mization techniques inspired by principles of natural evolution and genetics. EC has been able to draw the attention of an increasing number of researchers and practitioners in several elds. Evolutionary algorithms have in particular been showntobee ectivefordi cultcombinatorialoptimizationproblemsappearing in various industrial, economics, and scienti c domains. This volume contains the proceedings of EvoCOP 2005, the 5th European Conference on Evolutionary Computation in Combinatorial Optimization. It was held in Lausanne, Switzerland, on 30 March 1 April 2005, jointly with EuroGP 2005, the 8th European Conference on Genetic Programming, and the EvoWorkshops 2005, which consisted of the following six individual workshops: EvoBIO, the 3rd European Workshop on Evolutionary Bioinformatics; Evo- COMNET, the 2nd European Workshop on Evolutionary Computation in C- munication, Networks, and Connected Systems; EvoHOT, the 2nd European Workshop on Hardware Optimisation Techniques; EvoIASP, the 7th European Workshop on Evolutionary Computation in Image Analysis and Signal Proce- ing; EvoMUSART, the 3rd European Workshop on Evolutionary Music and Art; and EvoSTOC, the 2nd European Workshop on Evolutionary Algorithms in Stochastic and Dynamic Environments. 288 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -To many readers, Mozart/Oz represents a new addition to the pantheon of p- gramming systems. One way of evaluating a newcomer is through the eyes of the classics, for example Kernighan and Pike s The Practice of Programming, a bookthatconcludeswithsix lastingconcepts :simplicityandclarity,generality, evolution,interfaces,automation,andnotation.KernighanandPikeconcentrate on using standard languages such as C and Java to implement these concepts, but it is instructive to see how a multiparadigm language such as Oz changes the outlook. Oz s concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting components), g- erality, and better interfaces (because the data ow model automatically makes interfaces more lightweight). Constraint programming in Oz again yields simplicity and clarity (because theprogrammercanexpresswhatneedstobetrueratherthanthemorecomplex issue of how to make it true), and o ers a powerful mathematical notation that is di cult to implement on top of languages that do not support it natively. Mozart s distributed computing model makes for improved interfaces and eases the evolution of systems. In my own work, one of the most important concernsistobeabletoquicklyscaleupaprototypeimplementationintoalar- scale service that can run reliably on thousands of computers, serving millions of users. The eld of computer science needs more research to discover the best ways of facilitating this, but Mozart provides one powerful approach. Altogether,Mozart/Ozhelpswithallthelastingconceptsexceptautomation, and it plays a particularly strong role in notation, which Kernighan and Pike pointoutisanunderappreciatedarea.Ibelievethatprovidingtherightnotation isthemostimportantofthesixconcepts,onethatsupportsalltheothers.Mul- paradigm systems such as Oz provide more choices for notation than sing- paradigm languages. 352 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci cation and development of systems, an area that was born around the algebraic speci cation of abstract data types and encompasses today the formal design of software systems, new speci cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27 29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. The program consisted of invited talks by Luis Caires (Universidade Nova de Lisboa, Portugal) and Reiko Heckel (University of Paderborn, Germany), and 33 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci cation languages and methods, systems and techniques for reasoning about speci cations, speci cation devel- ment systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations. 288 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Testing often accounts for more than 50% of the required e ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di erent countries were selected for presentation. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 2004 VLDB workshop on Technologies on E-Services (VLDB-TES 2004) was the fth workshop in a series of annual workshops endorsed by the VLDB Conference.Itservedasaforumfortheexchangeofideas,resultsandexperiences in the area of e-services and e-business. VLDB-TES 2004 took place in Toronto, Canada. It featured the presen- tion of 12 regular papers, focused on major aspects of e-business solutions. In addition, the workshop invited 2 industrial speakers to share their vision, insight and experience with the audience. The workshop would not have been a success without help from so many people. Special thanks go to Fabio Casati, who organized the program agenda and the proceedings publication, and Chandra Srivastava, who served as the publicity chair. We also thank the members of the program committee and the additional reviewers for their thorough work, which greatly contributed to the quality of the nal program. We hope that the participants found the workshop interesting and stimul- ing, and we thank them for attending the workshop and for contributing to the discussions. 184 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The keychallengeforfuture computersystemis dealingwithcomplexity.Onone hand this involves internal system complexity which has increased exponentially over recent years. Here the main objectives are to maintain system reliability and to keep the design and maintenance e ort manageable, while at the same timecontinuingtoprovidenewfunctionalityandincreasingsystemperformance. This hasbeenthe focus ofso-calledautonomouscomputing, whichaimsto bring self-con guration and repair to a wide range of computing systems. On the other hand future computer systems are more and more becoming integrated into the fabric of everyday life and thus have to deal with the c- plexities of the real world. They will become smaller, more appropriate for their use, integrated into everyday objects, and often virtually or physically invisible to the users.They will alsobe deployedin a muchhigher quantity andpenetrate many moreapplicationareasthan traditional notionsof computer systems.This requirescomputersystemstobeadaptablewithinamuchwiderrangeofpossible tasks, subjected to much harsher conditions. To provide such features and functionality, computer devices will become tinieryetstillincreaseinsystemcomplexity;theymustconsumelesspower,while still supporting advanced computation and communications, such that they are highlyconnectedyetstilloperateasautonomousunits.Pervasiveandubiquitous computing researchaddressessuchissues by developingconcepts and technology for interweaving computers into our everyday life. The principal approach is to enhance system functionality and adaptability by recognizing context and situations in the environment. 278 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The UML 2004 conference was held in Lisbon (Portugal) from October 11 through October 15, 2004. It was the seventh conference in a series of annual events that started in 1998. UML has rapidly become one of the leading venues to present and discuss the development of object-oriented modeling. In order to re ect the changes in the eld, the UML conference series will be continued from 2005 onwards under the name MODELS (Model Driven En- neering, Languages and Systems). Inane orttomakethisyear'sconferencemoreusefulande ectiveforawider community, including academics and practitioners working in areas related to UML and modeling in general, a set of satellite events was organized, including workshopsdedicatedtospeci cresearchtopics,anindustrytrack,aposter/demo session, and a tools exhibit. This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during the rst three days of the conference(fromOctober10to12). Followingthetraditionofprevious UML conferences, UML 2004workshopsprovidedacollaborativeforumforgroups of (typically 15 to 30) participants to exchange recent or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate e orts between representatives of a technical community. Ten workshops were held, covering a variety of hot topics, which have been covered in the workshop - ports contained in this volume. Each workshop lasted for a full day. A novelty with respect to previous UML conferences was the inclusion of a Doctoral Symposium, which was well received, to provide an explicit space for young - searchers developing their thesis on some aspect related to UML. 316 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 392 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Theshipshears onthrough billowing seas Carried on tempest's wings with ease A cry of joy goes up from fore and aft: 'Our destination is within our grasp!' But the helmsman's words are lost in the throng: 'We've been sailing in circles all along.' Marie von Ebner-Eschenbach This book has been written as an aid to anyone in the print media industry, be they managers or customers, who is looking to steer their business into calmer waters in what are stormy times. New technologies offer tremendous opportunities for innovation and process improvement - but only if we understand the fundamental principles behind them. This is the goal of this book. To this end, we will be looking at how best to network the print media industry with its customers, production partners and suppliers. This networking process covers the production data that can be transferred entirely digitally as far as the press stage, i. e. the digital page to be printed (referred to below as the 'technical work ow'), but also the information, communication and interaction processes which take place before, during and after production, e. g. details of the print run or the planned delivery date (referred to below as the 'business management work ow'). Inter-company networking of the various market players using Internet technology is known as 'e-business' in commercial and management circles. Customers Print media Suppliers companies Production partners Figure 1 Persons involved in a production process Preface V 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Information systems in healthcare and public utility services depend on comp- ing infrastructures. Many research e orts are being made in related areas, such as wireless computing (e. g. , Auto-ID Laboratories, and projects at MIT), W- based computing, and information accesses by Web users. Government agencies in many countries plan to launch facilities in education, healthcare and infor- tion support as a part of e-government initiatives. In this context, information interchange management has become an active research eld. A number of new opportunities have evolved in design and modeling based on new computing needs of users. Database systems play a central role in supporting networked information systems for access and storage management aspects. The4thInternationalWorkshoponDatabasesinNetworkedInformationS- tems (DNIS 2005) was held on March 28 30, 2005 at the University of Aizu in Japan. The workshop program included research contributions, and invited c- tributions. A view of research activity in Information Interchange Management and related research issues was provided by the session on this topic. The invited contribution was contributed by Dr. Umeshwar Dayal. The workshop session on Web Data Management Systems had invited papers by Prof. Elisa Bertino, Prof. Masahito Hirakawa, and Prof. William I. Grosky. The two sessions on Networked Information Systems included invited contributions by Prof. Sushil Jajodia, Dr. Cyrus Shahabi, Prof. Divyakant Agrawal and Dr. Harumi Kuno. I would like to thank the members of the Program Committee for their support and all authors who considered DNIS 2005 in making research contributions. 332 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Peer-to-peer (P2P) computing promises to o er exciting new possibilities in d- tributed information processing and database technologies. The realization of this promise lies fundamentally in the availability of enhanced services such as structured ways for classifying and registering shared information, veri cation and certi cation of information, content-distributed schemes and quality of c- tent, security features, information discovery and accessibility, interoperation and composition of active information services, and nally market-based me- anisms to allow cooperative and non-cooperative information exchanges. The P2P paradigm lends itself to constructing large-scale complex, adaptive, - tonomous and heterogeneous database and information systems, endowed with clearly speci ed and di erential capabilities to negotiate, bargain, coordinate, and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, scienti c, or otherwise) and on the emergence and the formation of social c- munities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity, and static and mobile architectures. Wireless connectivity c- bined with the increasingly small and powerful mobile devices and sensors pose new challenges to as well as opportunities for the database community. Inf- mation becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, unstable networks with very severe constraints on the information management and processing capabilities. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005). The conference took place from 30 March to 1 April in Lausanne, Switzerland. EuroGP is a well-established conf- ence and the only one exclusively devoted to genetic programming. All previous proceedings were published by Springer in the LNCS series. From the outset, EuroGP has been co-located with the EvoWorkshops focusing on applications of evolutionary computation. Since 2004, EvoCOP, the conference on evolutionary combinatorial optimization, has also been co-located with EuroGP, making this year's combined events one of the largest dedicated to evolutionary computation in Europe. Genetic programming (GP) is evolutionary computation that solves complex problems or tasks by evolving and adapting a population of computer programs, using Darwinian evolution and Mendelian genetics as its sources of inspiration. Some of the 34 papers included in these proceedings address foundational and theoretical issues and there is also a wide variety of papers dealing with di erent application areas, such as computer science, engineering, language processing, biology and computational design, demonstrating that GP is a powerful and practical problem-solving paradigm. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci c to the satellite events), and several tutorials. We - ceived over 550 submissions to the ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 540 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Twenty years ago, informatics was introduced as a compulsory subject in A- trian secondary schools. During this period informatics has experienced drastic evolutions and even some shifts of paradigms. This applies to an even larger extent to the didactics of informatics. ISSEP-InformaticsinSecondarySchools,EvolutionandPerspectives-takes stock of how the developments in the eld are re ected in school throughout Europe. Teachersofinformaticsatsecondaryschoolsaswellaseducatorsofsuch teachers propose innovative methods of instruction, discuss the scope of overall informaticsinstruction,anddiscusshowinnovativeconceptscanbedisseminated to students in education as well as to active informatics teachers. Duetothepenetrationofinformationtechnologyintosocietyatlargeandin to schools in particular, the relationship between informatics and education leading togeneralcomputerliteracyortotheuseofIT-basedapproachesinconventional subjects, e-learning in school, is an evident focus of many contributions. According to the broad scope of the conference its proceedings are split into two volumes. This volume, From Computer Literacy to Informatics Fundam- tals, covers papers reporting on national strategies of informatics instruction and their evolution in accordance with the penetration of information proce- ing equipment in our daily life. In one way or another, these strategies strive to accommodate the needs of basic skills in information and communication te- nology (ICT) with educational principles that can be conveyed by informatics instruction in a traditional sense. Hence, the papers on national strategies are complementedintwoways: rstly,bycontributionsthatstrivetoidentifyfun- mental issues, informatics can contribute to the general education process of the youth; and, secondly, by papers presenting approaches on how to link or even to combine instruction about such informatics fundamentals with the need to introduce pupils to the productive use of ICT. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Evidence-based Medicine (EBM) is feared to become a kind of cook-book medicine that has nothing to do with the traditional skills and ethics.This volume shows the contribution EBM makes and might make to medical practice and health policy. It describesas many viewpoints as possible with a focus on the ethical issues that are at stake in this process.It shows how EBM has developed from an internal medical issue to an instrument for health policy. It is the outcome of the European Project 'Ethical Issues of Evidence Based Practice in Medicine and Health Care'and givesinsight into the ethical background of the debate on the role of EBM in various areas of medicine, including clinical practice, medical education, medical research, health policy and medical sociology. 192 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Computational Methods in Systems Biology (CMSB) workshop series was established in 2003 by Corrado Priami. The purpose of the workshop series is to help catalyze the convergence between computer scientists interested in language design, concurrency theory, software engineering or program verification, and physicists, mathematicians and biologists interested in the systems-level understanding of cellular processes. Systems biology was perceived as being increasingly in search of sophisticated modeling frameworks whether for representing and processing syst- level dynamics or for model analysis, comparison and refinement. One has here a clear-cut case of a must-explore field of application for the formal methods developed in computer science in the last decade. This proceedings consists of papers from the CMSB 2003 workshop. A good third of the 24 papers published here have a distinct formal methods origin; we take this as a confirmation that a synergy is building that will help solidify CMSB as a forum for cross-community exchange, thereby opening new theoretical avenues and making the field less of a potential application and more of a real one. Publication in Springer's new Lecture Notes in Bioinformatics (LNBI) offers particular visibility and impact, which we gratefully acknowledge. Our keynote speakers, Alfonso Valencia and Trey Ideker, gave challenging and somewhat humbling lectures: they made it clear that strong applications to systems biology are still some way ahead. We thank them all the more for accepting the invitation to speak and for the clarity and excitement they brought to the conference. 292 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -An evolving agenda of Information Technology Auditing is subject of this book. The author presents various current and future issues in the domain of IT Auditing in both scholarly as well as highly practice-driven manner so as to make those issues clear in the mind of an IT auditor. The aim of the book is not to delve deep on the technologies but the impact of these technologies on practices and procedures of IT auditors. Among the topics are complex integrated information systems, enterprise resource planning, databases, complexities of internal controls, and enterprise application integration - all seen from an auditor's perspective. The book will serve a big purpose of support reference for an auditor dealing with the high-tech environment for the first time, but also for experienced auditors. 258 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci c to the satellite events), and several tutorials. We received over 550 submissions to the ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive. 324 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Many vision problems have to deal with di erent entities (regions, lines, line junctions, etc.) and their relationships. These entities together with their re- tionships may be encoded using graphs or hypergraphs. The structural inf- mation encoded by graphs allows computer vision algorithms to address both the features of the di erent entities and the structural or topological relati- ships between them. Moreover, turning a computer vision problem into a graph problem allows one to access the full arsenal of graph algorithms developed in computer science. The Technical Committee (TC15, of the IAPR (International Association for Pattern Recognition) has been funded in order to federate and to encourage research work in these elds. Among its - tivities, TC15 encourages the organization of special graph sessions at many computer vision conferences and organizes the biennial workshop GbR. While being designed within a speci c framework, the graph algorithms developed for computer vision and pattern recognition tasks often share constraints and goals with those developed in other research elds such as data mining, robotics and discrete geometry. The TC15 community is thus not closed in its research elds but on the contrary is open to interchanges with other groups/communities. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this volume, the reader will rst nd the invited talks givenatthe conference. Then, in a second part, he/she will nd the contributions which were presented attheconferenceafterselection.Inbothcases,papersaregiveninthealphabetic order of the authors. MCU 2004 was the fourth edition of the conference in theoretical computer science,Machines, Computations and Universality,formerly,Machines etcalculs universels. The rst and the second editions, MCU 1995 and MCU 1998, were organized by Maurice Margenstern, respectively in Paris and in Metz (France). The third edition, MCU 2001, was the rst one to be organized outside France and it was held in Chi sin au (Moldova). Its co-organizers were Maurice Marg- sternandYuriiRogozhin.TheproceedingsofMCU2001werethe rstto appear in Lecture Notes in Computer Science, see LNCS 2055. From its very beginning, the MCU conference has been an international s- enti c event. For the fourth edition, Saint Petersburg was chosen to hold the meeting. The success of the meeting con rmed that the choice was appropriate. MCU 2004 also aimed at high scienti c standards. We hope that this v- ume will convince the reader that this tradition of the previous conferences was also upheld by this one. Cellular automata and molecular computing are well represented in this volume. And this is the case for quantum computing, formal languages and the theory of automata too. MCU 2004 also did not fail its tra- tion to provide our community with important results on Turing machines. Also a new feature of the Saint Petersburg edition was the contributions on analog models and the presence of unconventional models. 344 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of real-world MAS. The power of agent-based software engineering is illustrated using examples that are representative of successful applications.The 16 thoroughly reviewed and revised full papers are organized in topical sections on agent methodologies and processes, requirements engineering and software architectures, modeling languages, and dependability and coordination. Most of the papers were initially presented at the 3rd International Workshop on Software Engineering for Large-Scale Multi-agent Systems, SELMAS 2004, held in Edinburgh, UK in May 2004 in association with ICSE 2004. Other papers were invited to complete coverage of all relevant aspects. 308 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on papers presented at the5thWorkshoponM- brane Computing, WMC5, which took place in Milan, Italy, in the period June 14 16, 2004, as a satellite event of DNA10 (10th International Workshop on DNA-Based Computing). The rst three workshops were organized in Curtea de Arge s, Romania they took place in August 2000 (with the proceedings p- lished in Lecture Notes in Computer Science, volume 2235), in August 2001 (with a selection of papers published as a special issue ofFundamenta Inform- icae, volume 49, numbers 1 3, 2002), and in August 2002 (with the proceedings publishedinLectureNotesinComputerScience,volume2597).Thefourt hwo- shop took place in Tarragona, Spain, in July 2003 (the proceedings appeared as volume 2933 of Lecture Notes in Computer Science). Like the previous two meetings, also WMC5 was an o cial workshop of the Molecular Computing Network (MolCoNet) funded by the EU Commission in theFifthFrameworkprogramInformationSocietyTechnologies(projectnumber IST-2001-32008). The preproceedings of WMC5 were published as a MolCoNet report, and they were available during the workshop. This volume contains only a selection of the papers from the preproceedings. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci c to the satellite events), and several tutorials. We received over 550 submissions to the ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive. 396 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Researchers in the eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. The complex computational and data management needs of life science research make Grid technologies an attractive support solution. However, many important issues must be addressed before the Life Science Grid becomes commonplace. The 1st International Life Science Grid Workshop (LSGRID 2004) was held in Kanazawa Japan, May 31-June 1, 2004. This workshop focused on life s- ence applications of grid systems especially for bionetwork research and systems biology which require heterogeneous data integration from genome to phenome, mathematical modeling and simulation from molecular to population levels, and high-performance computing including parallel processing, special hardware and grid computing. Fruitful discussions took place through 18 oral presentations, including a keynote address and ve invited talks, and 16 poster and demonstration p- sentations in the elds of grid infrastructure for life sciences, systems biology, massive data processing, databases and data grids, grid portals and pipelines for functional annotation, parallel and distributed applications, and life science grid projects. The workshop emphasized the practical aspects of grid techno- gies in terms of improving grid-enabled data/information/knowledge sharing, high-performance computing, and collaborative projects. There was agreement among the participants that the advancement of grid technologies for life science research requires further concerted actions and promotion of grid applications. We therefore concluded the workshop with the announcement of LSGRID 2005. 200 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Constraint programming is a very successful fth-generation software techn- ogy with a wide range of applications. It has attracted a large community of researchers that is particularly strong in Europe. In particular, constraint programming is the focus of the Working Group on Constraints of the European Research Consortium for Informatics and Mat- matics (ERCIM) as well as a major interest of the European Network on C- putational Logic (CoLogNET). These groups jointly sponsored a workshop on Constraint Satisfaction and Constraint Logic Programming (CSCLP 2004) held June23 25attheEcolePolytechniqueF ed eraledeLausanne(EPFL)inSwitz- land. It was hosted by the Arti cial Intelligence Laboratory of the EPFL, which is also a member of both groups. Thisbookpresentsacollectionofpapersthatareeitherrevisedandextended versions of papers accepted at the workshop, or were submitted in response to theopencallforpapersthatfollowed.The15papersinthisvolumewereselected from 30 submissions by rigorous peer review. The editors would like to take the opportunity to thank all authors and reviewers for the hard work they contributed to producing this volume. We also thank ERCIM and CoLogNET for their support of the workshop and the eld of constraint programming in general. We hope the reader will nd this volume helpful for advancing their understanding of issues in constraint programming. December 2004 Boi Faltings Adrian Petcu Francois Fages Francesca Rossi Organization This workshopwas jointly organized as the 9th Meeting of the ERCIM Working GrouponConstraints,coordinatedbyFrancois Fages,andthe2ndAnnualWo- shop of the CoLogNET area on Constraint Logic Programming, coordinated by Francesca Rossi. OrganizingInstitutes TheorganizationwashandledbytheEPFL,INRIAandtheUniversityofPadua. 232 pp. Englisch.