Bücher veröffentlicht von Springer Berlin Heidelberg

This book constitutes the refereed proceedings of the 8th International Conference on Electronic Commerce and Web Technologies, EC-Web 2007, held in Regensburg, Germany, September 3-7, 2007 in conjunction with Dexa 2007.The 22 revised full papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on recommender systems, business process / design aspects, mobile commerce, security and e-payment, Web services computing / semantic Web, e-negotiation and agent mediated systems, and issues in Web advertising.

This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.

This three-volume set constitutes the refereed proceedings of the International Conference on Computational Science and its Applications. These volumes feature outstanding papers that present a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in almost all sciences that use computational techniques.

The refereed post-proceedings of the International Conference on Computational Intelligence and Security are presented in this volume. The 116 papers were submitted to two rounds of careful review. Papers cover bio-inspired computing, evolutionary computation, learning systems and multi-agents, cryptography, information processing and intrusion detection, systems and security, image and signal processing, and pattern recognition.

On behalf of the program and organizing committee members of this conference, we th are pleased to present you with the proceedings of the 12 Asia-Pacific Computer Systems Architecture Conference (ACSAC 2007), which was hosted in Seoul, Korea on August 23-25, 2007. This conference has traditionally been a forum for leading researchers in the Asian, American and Oceanian regions to share recent progress and the latest results in both architectural and system issues. In the past few years the c- ference has become more international in the sense that the geographic origin of p- ticipants has become broader to include researchers from all around the world, incl- ing Europe and the Middle East. This year, we received 92 paper submissions. Each submission was reviewed by at least three primary reviewers along with up to three secondary reviewers. The total number of completed reviews reached 333, giving each submission 3.6 reviews on average. All the reviews were carefully examined during the paper selection process, and finally 26 papers were accepted, resulting in an acceptance rate of about 28%. The selected papers encompass a wide range of topics, with much emphasis on hardware and software techniques for state-of-the-art multicore and multithreaded architectures.

The refereed proceedings from the 7th International Workshop on Algorithms in Bioinformatics are provided in this volume. Papers address current issues in algorithms in bioinformatics, ranging from mathematical tools to experimental studies of approximation algorithms to significant computational analyses. Biological problems examined include genetic mapping, sequence alignment and analysis, phylogeny, comparative genomics, and protein structure.

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006), organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006. It also contains a number of invited papers written by recognized experts in the area. The papers are organized in topical sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.

This book constitutes the refereed proceedings of the 6th International Conference on Artificial Immune Systems, ICARIS 2007, held in Santos, Brazil, August 2007. The papers are organized in topical sections on search and optimization, classification and clustering, anomaly detection and negative selection, robotics, control and electronics. Modeling papers, conceptual papers, and technical papers and general applications are also included.

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, held at Dagstuhl Castle, Germany, in December 2006. The papers are organized in topical sections on methodology and seven additional tracks on ad-hoc, natural language processing, heterogeneous collection, multimedia, interactive, use case, as well as document mining.

Running to almost 400 pages, and featuring more than 40 papers, this work on combinatorial optimization and applications will be seen as an important addition to the literature. It constitutes the refereed proceedings of the first International Conference on Combinatorial Optimization and Applications, COCOA 2007, held in Xi'an, China in August of that year. The 29 revised full papers presented together with 8 invited papers and 2 invited presentations were carefully reviewed and selected from 114 submissions and cover both theoretical issues and practical applications.

The Annual International Computing and Combinatorics Conference is an annual forum for exploring research, development, and novel applications of computing and combinatorics. It brings together researchers, professionals and industrial practitioners to interact and exchange knowledge, ideas and progress. Thetopics covermost aspects oftheoreticalcomputer scienceand combinatorics related to computing. The 13th Annual International Computing and Com- natorics Conference (COCOON 2007) was held in Ban?, Alberta during July 16-19, 2007. This was the ?rst time that COCOON was held in Canada. We received 165 submissions, among which 11 were withdrawn for various reasons. The remaining 154 submissions under full consideration came from 33 countries and regions: Australia, Brazil, Canada, China, the Czech Republic, Denmark, Finland, France, Germany, Greece, Hong Kong, India, Iran, Ireland, Israel, Italy, Japan, the Netherlands, Norway, Pakistan, Poland, Romania, R- sia, Slovakia, South Korea, Spain, Sweden, Switzerland, Taiwan, Turkey, the UK, the USA, and the US minor outlying islands. Afterasixweekperiodofcarefulreviewinganddiscussions,theprogramc- mittee accepted 51 submissions for oral presentation at the conference. Based on the a?liations, 1. 08 of the accepted papers were from Australia, 7. 67 from Canada, 3. 08 from China, 1 from the Czech Republic, 2 from Denmark, 1 from France, 5. 42 from Germany, 0. 08 from Greece, 2. 18 from Hong Kong, 0. 33 from India, 0. 17 from Ireland, 1. 83 from Israel, 1. 5fromItaly,2. 9 from Japan, 0. 17 from the Netherlands, 2. 67 from Norway, 0.

Readers will find here a fascinating text that is the thoroughly refereed post-proceedings of the 9th Workshop on the Foundations of Genetic Algorithms, FOGA 2007, held in Mexico City in January 2007. The 11 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and improvement from 22 submissions. The papers address all current topics in the field of theoretical evolutionary computation and also depict the continuing growth in interactions with other fields such as mathematics, physics, and biology

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community. WoLLIC 2007 focused on foundationsof computing and programming,novel c- putation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approaches to natural language and r- soning; logics of programs, actions and resources; foundational aspects of information organization, search, ?ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invited talks and tutorials as well as contributed papers. The Program Committee received 52 complete submissions (aside from 15 preliminary abstracts which did not materialize). A thorough review process by the Program Committee, assisted by over 70 external reviewers, led to the acc- tance of 21 papers for presentation at the meeting and inclusion in these proceedings. The conference program also included 16 talks and tutorials by 10 prominent invited speakers, who graciously accepted the Program Committee's invitation.

This volume features the refereed proceedings from the 34th International Colloquium on Automata, Languages and Programming, held in Wroclaw, Poland in July 2007. Seventy-six full papers are presented, together with four invited lectures. The papers are grouped into three major tracks covering algorithms, automata, complexity, and games; logic, semantics, and theory of programming; and security and cryptography foundations.

BNCOD has, for the past 27 years, provided a forum for researchers world-wide to gather to discuss the topical issues in databaseresearch.As the researchch- lenges have evolved, so BNCOD has changed its topics of interest accordingly, now covering data management more widely. In doing so, it has evolved from a local conference mostly attended by British researchers to a truly international conference that happens to be held in Britain. This year, for instance, sign- cantly less than half of the presentations are from UK or Irish authors, other contributions coming from continental Europe, Asia and the USA. Currently, one of the most pressing challenges is to ?nd ways of evolving database technology to cope with its new role in underpinning the massively distributed and heterogeneous applications built on top of the Internet. This has a?ected both the ways in which data has been accessed and the ways in which it is represented, with XML data management becoming an important issue and, as such, heavily represented at this conference. It has also brought back issues of performance that might have been considered largely solved by the improvements in hardware, since data now has to be managed on devices of low power and small memory as well as on standard client and powerful server machines. We therefore invited papers on all aspects of data management, particularly relatedtohowdataisusedintheubiquitousenvironmentofthemodernInternet bycomplexdistributedandscienti?capplications.Ofthe56submissionsfrom14 countriesweselected15fullpapers,3shortpapersand7postersforpresentation, all of which appear in this volume along with 2 invited papers.

You hold in your hands the proceedings of ESAS 2007, the Fourth European Workshop on Security and Privacy in Ad hoc and Sensor Networks. The wo- nd rd shop took place in Cambridge, UK, on the 2 and 3 of July 2007. The workshop was European in name and location but it was de?nitely transatlantic in scope. We had a program chair from Europe and one from the USA, and membership of our program committee was almost evenly split - tween those two regions. When looking at participation, the workshop was even more global than that: the submitted papers came from 25 countries in 6 con- nents. We received 87 submissions. After quick-rejecting 5 papers deemed to be out of scope, the remaining 82 papers were each reviewed by at least three PC members. The two program chairs, who did not submit any works, had sole authoritytodecidewhichpaperstoacceptandreject,basedonlyonthedirective that quality had to be the primary criterion, in order to form a proceedings volume of high international relevance. The number of papers to be accepted was not set in advance: it was selected a posteriori so as to include only solid, innovative and insightful papers. The resulting acceptance rate of about 20%, very strict for a workshop, is a testimonial of how selective we chose to be in accepting only high quality papers.

Understanding the mechanisms involved in life (e. g. , discovering the biological functionofasetofproteins,inferringtheevolutionofasetofspecies)isbecoming increasinglydependent onprogressmade inmathematics,computer science,and molecular engineering. For the past 30 years, new high-throughput technologies have been developed generating large amounts of data, distributed across many data sources on the Web, with a high degree of semantic heterogeneity and di?erentlevelsofquality. However,onesuchdatasetisnot,byitself,su?cientfor scienti?c discovery. Instead, it must be combined with other data and processed by bioinformatics tools for patterns, similarities, and unusual occurrences to be observed. Both data integration and data mining are thus of paramount importance in life science. DILS 2007 was the fourth in a workshop series that aims at fostering d- cussion, exchange, and innovation in research and development in the areas of data integration and data management for the life sciences. Each previous DILS workshop attracted around 100 researchers from all over the world. This year, the number of submitted papers again increased. The Program Committee - lected 19 papers out of 52 full submissions. The DILS 2007 papers cover a wide spectrum of theoretical and practical issues including scienti?c work?ows, - notation in data integration, mapping and matching techniques, and modeling of life science data. Among the papers, we distinguished 13 papers presenting research on new models, methods, or algorithms and 6 papers presenting imp- mentation of systems or experience with systems in practice. In addition to the presented papers, DILS 2007 featured two keynote talks by Kenneth H. Buetow, National Cancer Institute, and Junhyong Kim, University of Pennsylvania.

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline. Previous editions of the Reliable Software Technologies conference were held in: Porto (Portugal) in 2006, York (UK) in 2005, Palma de Mallorca (Spain) in 2004,Toulouse (France) in 2003,Vienna (Austria) in 2002,Leuven (Belgium) in 2001,Potsdam(Germany)in2000,Santander(Spain)in1999,Uppsala(Sweden) in 1998, London (UK) in 1997 and Montreux (Switzerland) in 1996. The 12th International Conference on Reliable Software Technologies took place in Geneva, Switzerland, June 25-29, 2007, under the continued sponsoring ofAda-Europe,incooperationwithACMSIGAda.Itwasorganizedbymembers of the University of Applied Sciences, Western Switzerland (Engineering School of Geneva), in collaboration with colleagues from various places in Europe. The 13th conference, in 2008, will take place in Venice, Italy.

This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland. It covers all current issues on research and development in the area of Petri nets and modeling of concurrent systems including system design and verification, structure and behavior of nets, logical and algebraic calculi, and standardization of nets.

This book constitutes the refereed proceedings of the First International Workshop on the Arithmetic of Finite Fields, WAIFI 2007, held in Madrid, Spain in June 2007. It covers structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of mappings over finite fields, curve algebra, cryptography, codes, and discrete structures.

This book constitutes the thoroughly refereed post-proceedings of two joint RECOMB 2006 satellite events: the Second Annual Workshop on Systems Biology, RSB 2006, and the First Biennial Workshop on Computational Proteomics, RCP 2006, held in San Diego, CA, USA in December 2006. The papers cover various aspects of systems biology and explore the use of computational mass spectrometry in various proteomic applications.

Pravention und Versorgungsforschung beziehen sich auf alle Aspekte und Formen der gesundheitlichen Beratung und Versorgung von kranken und chronisch kranken Menschen sowie Menschen mit akuten oder dauerhaften Behinderungen. Gezielte Pravention und Gesundheitsforderung sind integrale Bestandteile eines jeden funktionierenden Gesundheitswesens. Ihre Bedeutung fur die Steigerung der Versorgungsqualitat ist unbestritten. Zur Versorgungskette zahlen nicht nur Pravention, Kuration und Rehabilitation in institutionellen Settings, sondern auch die entsprechenden Leistungen der Gesundheitsselbsthilfe. Das vorliegende Werk umfasst ausgewahlte Beitrage des 2. Nationalen Praventionskongresses, der gemeinsam mit dem 6. Deutschen Kongresses fur Versorgungsforschung durchgefuhrt wurde. Der wissenschaftliche Austausch zwischen praktisch tatigen Medizinern und Vertretern aller am Gesundheitssystem interessierten Experten verdeutlicht, welche Chancen der interdisziplinare Dialog fur die Versorgung der gesundheitlich gefahrdeten und betroffenen Menschen bietet.

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.

Globally, major network operators have incorporated network convergence into their strategy to grow service revenues and reduce capital and operating costs. Conv- gence occurs in applications (integrated messaging, voice over IP), in network control (portable numbers, SIP, mobile IP), in the transport layer, as well as in the access network. This convergence of networks means that various types of traffic flows, which have been carried by separate specialized networks, now share the resources of a single core IP-based network. In the access, the trends are towards fixed/wireless convergence as well as convergence of various wireless access technologies. Network convergence will be successful only if the quality of the individual s- vices is maintained in the new network environment without undue increased costs. The quality of service delivery is critically dependent on how network performance and availability, as experienced by the traffic flows, are managed. Managing traffic performance is a critical enabler for success. Reaching the desired performance levels requires adapting processes such as network planning, resource engineering, and network monitoring to the converged network milieu.

This book constitutes the refereed proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2007, held in Ithaca, NY, USA, in June 2007.Among the topics addressed in the 36 revised full papers are approximation algorithms, algorithmic game theory, computational biology, integer programming, polyhedral combinatorics, scheduling theory and scheduling algorithms, as well as semidefinite programs.

The optical networking field is seen to be rapidly emerging with a strong and s- tained technological and business growth. Research has led to massive development and deployment in the optical networking space leading to significant advancements in high speed network core and access networks. th The 11 International Conference on Optical Network Design and Modeling brought together scientists and researchers to meet and exchange ideas and recent work in this emerging area of networking. The conference was sponsored by IFIP and supported by the e-Photon/ONe and COST 291 projects. The conference proceedings have been published by Springer and are also available through the Springer digital library. The conference program f- tured 14 invited presentations and 41 contributed papers selected from over 90 s- missions. A series of sessions focusing on recent developments in optical networking and the related technology issues constituted the main conference program. The international workshop "e;Optical network perspectives vs. optical technologies th reality"e; was collocated with ONDM 2007 and took place on May 29 . It was org- ized by the EU COST 291 action. The objective of the workshop was to focus on cross layer issues and address various challenges with respect to the implementation of optical networking concepts based on available optical technology capabilities.

The 2007 NSF BioSurveillance Workshop (BioSurveillance 2007) was built on the success of the first NSF BioSurveillance Workshop, hosted by the University of Arizona's NSF BioPortal Center in March 2006. BioSurveillance 2007 brought - gether infectious disease informatics (IDI) researchers and practitioners to discuss selected topics directly relevant to data sharing and analysis for real-time animal and public health surveillance. These researchers and practitioners represented a wide range of backgrounds including but not limited to epidemiology, statistics, applied mathematics, information systems, computer science and machine learning/data mining. BioSurveillance 2007 aimed to achieve the following objectives: (a) review and examine various real-time data sharing approaches for animal and public health s- veillance from both technological and policy perspectives; (b) identify key technical challenges facing syndromic surveillance for both animal and human diseases, and discuss and compare related systems approaches and algorithms; and (c) provide a forum to bring together IDI researchers and practitioners to identify future research opportunities. We are pleased that we received many outstanding contributions from IDI research groups and practitioners from around the world. The one-day program included one invited presentation, 17 long papers, six short papers, and two posters. BioSurveillance 2007 was jointly hosted by: the University of Arizona; University of California, Davis; Rutgers, The State University of New Jersey; and the University of Washington.

This book constitutes the refereed proceedings of the 5th International Conference on Pervasive Computing, PERVASIVE 2007, held in Toronto, Canada in May 2007. The 21 revised full papers are organized in topical sections on reaching out, context and its application, security and privacy, understanding use, sensing, as well as finding and positioning.

The aim of the International Workshop on Databases, Information Systems and P2P Computing was to explore the promise of P2P to o?er exciting new p- sibilities in distributed 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 infor- tion, veri?cation and certi?cation of information, content distributed schemes and quality of content, security features, information discovery and accessib- ity, interoperation and composition of active information services, and ?nally market-based mechanisms to allow cooperative and noncooperative information exchanges. The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous 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, sci- ti?c or otherwise) and on the emergence and the formation of social communities, 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 combined with the increasingly small and powerful mobile devices and sensors poses new challenges as well as opp- tunities to the database community. Information becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, - stable networks with very severe constraints on the information management and processing capabilities.

This two volume set constitutes the refereed proceedings of the 8th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2007, held in Warsaw, Poland, in April 2007. Coverage in the first volume includes evolutionary computation, genetic algorithms, and particle swarm optimization. The second volume covers neural networks, support vector machines, biomedical signal and image processing, biometrics, computer vision.