Springer berlin heidelberg aug 2009 (147 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book contains a collection of seven thoroughly revised tutorial papers based on lectures given by leading researchers at the 5th International Summer School on the Reasoning Web, held in Brixen-Bressanone, Italy, from August 30 to September 4, 2009. The objective of the book is to provide a coherent introduction to semantic web methods and research issues with a particularemphasis on reasoning.The focus of this year's event was on the use of semantic technologies to enhance data access on the web. Topics covered include design and analysis of reasoning procedures for description logics; answer set programming basics, its modeling methodology and its principal extensions tailored for semantic web applications; languages for constraining and querying XML data; RDF database theory and efficient and scalable support for RDF/OWL data storage, loading, inferencing and querying; tractable description logics and their use for ontology-based data access; and the social semantic desktop, which defines a user's personal information environment as a source and end-point of the semantic web. 368 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware - Wilfried Martens is one of the most distinguished politicians to come from Belgium in the last ffty years. In his long poli- cal career, he has always fought for the implementation of his goals with passion and deep conviction. What has to be mentioned frst in this context is his s- cessful advocacy of federalism in his home country, Belgium. Already in his time as chair of the CVP youth league from 1967 to 1972, groundbreaking manifestos on Belgium's federali- tion were written under his auspices. Later on, as President of the CVP, he succeeded in negotiating the Egmont Pact, whose essential elements form part of today's federal Belgian C- stitution. He served as Prime Minister for more than a decade, and in this role he convinced the regions and linguistic groups of his country, which were often at odds with each other, of the necessity for cooperation and solidarity. 296 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open problems, and giving presentations about ongoing work in the field, in order to favour discussions and novel scientific collaborations.This book presents thoroughly revised versions of ten tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009, held in Bertinoro, Italy, in September 2007, August 2008, and August/September 2009. The topics covered in this book include cryptographic protocol analysis, program and resource certification, identity management and electronic voting, access and authorization control, wireless security, mobile code and communications security. 339 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -3D imaging sensors have been investigated for several decades. Recently, - provements on classical approaches such as stereo vision and structured light on the one hand, and novel time-of- ight (ToF) techniques on the other hand have emerged, leading to 3D vision systems with radically improvedcharacter- tics. Presently, these techniques make full-range 3D data available at interactive frame rates, and thus open the path toward a much broader application of 3D vision systems. The workshop on Dynamic 3D Vision (Dyn3D) was held in conjunction with the annual conference of the German Association of Pattern Recognition (DAGM) in Jena on September 9, 2009. Previous workshops in this series have focused on the same topic, i.e., the Dynamic 3D Vision workshopin conjunction with the DAGM conference in 2007 and the CVPR workshop Time of Flight Camera-Based Computer Vision (TOF-CV) in 2008. The goal of this year's workshop, as for the prior events, was to constitute a platform for researchers working in the eld of real-time range imaging, where all aspects, from sensor evaluation to application scenarios, are addressed. After a very competitive and high-quality reviewing process, 13 papers were accepted for publication in this LNCS issue. The research area on dynamic 3D vision proved to be extremely lively. Again, as for prior workshops on this eld, numerous new insights and novel approaches on time-of- ight sensors, on re- time mono- and multidimensional data processing and on various applications are presented in these workshop proceedings. 177 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the nine workshops that were organized in conjunction with the Business Information Systems Conference, BIS 2009, taking place in Poznan, Poland, on April 27-29, 2009.The 34 papers presented were carefully reviewed and selected from 72 submissions. In addition, the volume contains the BIS 2009 keynote speech and two invited speeches presented at the workshops LIT and ECONOM/Enterprise X.0.The topics covered are DeepWeb (ADW), applications and economics of knowledge-based technologies (AKTB, ECONOM), service-oriented architectures (SDS-SOA), legal IT (LIT), social Web and Web 2.0 (SAW, Enterprise X.0), e-learning (EeLT), and enterprise systems in higher education (ESHE). 412 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -After the initial enthusiastic initiatives and investments and the eventual bubble, el- tronic commerce (EC) has changed and evolved into a well-established and founded reality both from a technological point of view and from a scientific one. Nevert- less, together with its evolution, new challenges and topics have emerged as well as new questions have been raised related to many aspects of EC. Keeping in mind the experience and the tradition of the past editions of EC-Web, we tried, for its 10th edition, to introduce some meaningful innovations about the structure and the sci- tific organization of the conference. Our main target was to highlight the autonomous role of the different (sometimes heterogeneous) aspects of EC, without missing their interdisciplinary scope. This required the conference to be organized into four 'mi- conferences,' each for a relevant area of EC and equipped with a corresponding Area Chair. Both the submission and the review process took into account the organization into four tracks, namely: 'Service-Oriented E-Commerce and Business Processes,' 'Recommender Systems,' 'E-Payment, Security and Trust' and 'Electronic C- merce and Web 3. 0. ' Therefore, the focus of the conference was to cover aspects related to the theoretical foundation of EC, business processes as well as new - proaches exploiting recently emerged technologies and scenarios such as the Semantic Web, Web services, SOA architectures, mobile and ubiquitous computing, just to cite a few. 392 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book includes new material, in particular examples of 3-D models and techniques for using kinematic models to predict fault and ramp-anticline geometry. The book is geared toward the professional user concerned about the accuracy of an interpretation and the speed with which it can be obtained from incomplete data. Numerous analytical solutions are given that can be easily implemented with a pocket calculator or a spreadsheet. 420 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence.This book, which constitutes the tenth volume of the Transactions on Rough Sets series, provides evidence of further growth in the rough set landscape, both in terms of its foundations and its applications. The 8 papers presented in this volume focus on a number of research streams that were either directly or indirectly begun by the seminal work on rough sets by Zdzislaw Pawlak for a number of research areas such as entailment and approximation operators, extensions of information systems, information entropy and granulation, lattices, multicriteria attractiveness evaluation of decision and association rules, ontological systems, rough approximation, and rough geometry in image analysis. 288 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Stochastic local search (SLS) algorithms are established tools for the solution of computationally hard problems arising in computer science, business adm- istration, engineering, biology, and various other disciplines. To a large extent, their success is due to their conceptual simplicity, broad applicability and high performance for many important problems studied in academia and enco- tered in real-world applications. SLS methods include a wide spectrum of te- niques, ranging from constructive search procedures and iterative improvement algorithms to more complex SLS methods, such as ant colony optimization, evolutionary computation, iterated local search, memetic algorithms, simulated annealing, tabu search, and variable neighborhood search. Historically, the development of e ective SLS algorithms has been guided to a large extent by experience and intuition. In recent years, it has become - creasingly evident that success with SLS algorithms depends not merely on the adoption and e cient implementation of the most appropriate SLS technique for a given problem, but also on the mastery of a more complex algorithm - gineering process. Challenges in SLS algorithm development arise partly from the complexity of the problems being tackled and in part from the many - grees of freedom researchers and practitioners encounter when developing SLS algorithms. Crucial aspects in the SLS algorithm development comprise al- rithm design, empirical analysis techniques, problem-speci c background, and background knowledge in several key disciplines and areas, including computer science, operations research, arti cial intelligence, and statistics. 168 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since its first edition in 2003, the XML Database Symposium series (XSym) has been a forum for academics, practitioners, users and vendors, allowing all to discuss the use of and synergy between database management systems and XML. The previous symposia have provided opportunities for timely discussions on a broad range of topics pertaining to the theory and practice of XML data management and its applications. XSym 2009 continued this XSym tradition with a program consisting of 15 papers and a keynote shared with the 12th International Symposium on Database Programming Languages (DBPL 2009). We received 26 paper submissions, out of which eight papers were accepted as full papers, and seven as short/demo papers. Each submitted paper underwent a rigorous and careful review by four referees for long papers and three for the short ones. The contributions in these proceedings are a fine sample of the very best current - search in XML query processing, including full text, keyword and loosely structured queries, stream querying and joins, and materialized views. Among new theoretical advances we included work on a lambda-calculus model of XML and XPath, on m- ping from the enhanced entity-relationship conceptual model to the W3C XML Schema Language, on transactions, and extensions to XPath. Finally, work on data parallel algorithms, compression, and practical aspects of XQuery, including query forms and the use of Prolog are also part of this volume. 200 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The synergy and convergence of research on grid computing and peer-to-peer (P2P) computing have materialized in the meeting of the two research communities: parallel systems and distributed systems. The main common objective is to harness Internet-connected resources (e.g., CPU, memory, network bandwidth, data sources) at very large scale. In this framework, the Globe Conference tries to consolidate the bidirectional bridge between grid and P2P systems and large-scale heterogeneous distributed database systems. Today, the grid and P2P systems hold a more and more important position in the landscape of the research in large-scale distributed systems, and the applications which require an effective management of voluminous, distributed and heterogeneous data. This importance comes out of characteristics offered by these systems: autonomy and dynamicity of peers, decentralized control for scaling, and transparent sharing large-scale distributed resources. The second edition of the International Conference on Data Management in Grid and P2P Systems was held during September 1-2, 2009 in Linz, Austria. The main objective of this conference was to present the latest results in research and applications, to identify new issues, and to shape future directions. 160 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009. The 18 revised full papers presented together with 8 invited talks, 3 tutorials and 5 posters were carefully reviewed and selected from 40 submissions. The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Typical topics are: natural computing including quantum; cellular, molecular, neural and evolutionary computing; chaos and dynamical system-based computing; and various proposals for computational mechanisms that go beyond the Turing model. 316 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software systems for wireless and mobile communications are a key component in pervasive computing and are crucial for the materialization of easy-to-use and intel- gent services that people can use ubiquitously. As indicated by its acronym (MOBILe Wireless MiddleWARE, Operating Systems, and Applications), these are the type of systems that form the topic of the MOBILWARE conferencing series. In particular, the goal of MOBILWARE is to provide a forum for researchers and practitioners to disseminate and discuss recent advances in software systems for wireless and mobile communications, ranging from work on communication middleware and operating systems to networking protocols and applications. For its second edition, held in Berlin in April 2009, the MOBILWARE Organizing Committee decided to add a full day of workshops on topics related to the main c- ference. Our goals were threefold: 1. Put together a high-quality workshop program consisting of a few focused wo- shops that would provide ample time for discussion, thus enabling presenters to quickly advance their work and workshop attendees to quickly get an idea of - going work in selected research areas. 2. Provide a more complete picture of ongoing work by not only including technical workshops, but also workshops on business and user aspects. We expected that this multi-viewpoint approach would be an added value as technology, business m- els, and user experiences are usually interrelated. 3. Create a breeding ground for submissions for MOBILWARE 2010 and beyond. 151 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CHES 2009, the 11th workshop on Cryptographic Hardware and Embedded Systems, was held in Lausanne, Switzerland, September 6-9, 2009. The wo- shop was sponsored by the International Association for Cryptologic Research (IACR). The workshop attracted a record number of 148 submissions from 29 co- tries, of which the Program Committee selected 29 for publication in the wo- shop proceedings, resulting in an acceptance rate of 19.6%, the lowest in the history of CHES. The review process followed strict standards: each paper - ceived at least four reviews, and some asmanyaseightreviews.Membersofthe Program Committee were restricted to co-authoring at most two submissions, and their papers were evaluated by an extended number of reviewers. The ProgramCommittee included 53 members representing 20 countries and ve continents. These members were carefully selected to represent academia, industry, and government, as well as to include world-class experts in various research elds of interest to CHES. The Program Committee was supported by 148 external reviewers. The total number of people contributing to the - view process, including Program Committee members, external reviewers, and Program Co-chairs, exceeded 200. The papers collected in this volume represent cutting-edge worldwide - search in the rapidly growing and evolving area of cryptographic engineering. 472 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The new emergingtechnologiesput new requirementsonsecurityanddata m- agement.Asdataareaccessibleanytimeanywhere,itbecomesmucheasiertoget unauthorized data access. Furthermore, the use of new technologies has brought some privacy concerns. It becomes simpler to collect, store, and search personal information thereby endangering people's privacy. Therefore, research in secure data management is gaining importance, attracting the attention of both the data management and the security research communities. The interesting pr- lems range from traditional topics, such as, access control and general database security, via privacy protection to new research directions, such as cryptogra- ically enforced access control and encrypted databases. This year, the call for papers attracted 24 papers both from universities and industry. For presentation at the workshop,the ProgramCommittee selected 10 full papers (41% acceptance rate). These papers are collected in this volume, which we hope will serve as a useful research and reference material. The papers in the proceeding are grouped into three sections. The rst s- tion focuses on database security which remains an important research area. The papers in this section address several interesting topics including query optimization in encrypted databases, database provenance, database intrusion detection, and con dence policy compliant query evaluation. The second section changes the focal point to the topic of access control. The papers in this s- tion deal with provenance access control, access control model for collaborative editors, self-modifying access control policies, and enforcing access control on XML documents. The third section focuses on privacy protection addressing the privacy issues around location-based services and anonymity/diversity for the micro-data release problem. 184 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC 2009, held in Kobe, Japan, in September 2009. The 28 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from numerous submissions. The topics addressed are all basic areas of scientific computing as they benefit from the application of computer algebra methods and software. The papers cover computer algebra methods and algorithms, application of symbolic and algebraic manipulation, and CA methods and results for the numerical integration of the partial differential equations of the mathematical physics. 408 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings contain the papers presented at VoteID 2009, the Second - ternationalConferenceonE-votingandIdentity.TheconferencewasheldinL- embourgduring September 7 8,2009,hostedbythe Universityof Luxembourg. VoteID 2009 built on the success of the 2007 edition held in Bochum. Events have moved on dramatically in the intervening two years: at the time of writing, people are in the streets of Tehran protesting against the claimed outcome of the June12thpresidentialelectionin Iran.Banners bearingthe words Whereis my vote bear testimony to the strength of feeling and the need for elections to be trusted. These events show that the search for high-assurance voting is not a purely academic pursuit but one of very real importance. We hope that VoteID 2009 will help contribute to our understanding of the foundations of democracy. TheProgramCommitteeselected11papersforpresentationattheconference out of a total of 24 submissions. Each submission was reviewed by at least four Program Committee members. The EasyChair conference management system proved instrumental in the reviewing process as well as in the preparation of these proceedings. The selected papers cover a wide range of aspects of voting: proposals for high-assurancevotingsystems,evaluationofexistingsystems,assessmentofp- lic response to electronic voting and legal aspects. The program also included a keynote by Mark Ryan. 204 pp. Englisch.…

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second International Conference on the Theory of Information Retrieval, ICTIR 2009, held in Cambridge, UK, in September 2009. The 18 revised full papers, 14 short papers, and 11 posters presented together with one invited talk were carefully reviewed and selected from 82 submissions. The papers are categorized into four main themes: novel IR models, evaluation, efficiency, and new perspectives in IR. Twenty-one papers fall into the general theme of novel IR models, ranging from various retrieval models, query and term selection models, Web IR models, developments in novelty and diversity, to the modeling of user aspects. There are four papers on new evaluation methodologies, e.g., modeling score distributions, evaluation over sessions, and an axiomatic framework for XML retrieval evaluation. Three papers focus on the issue of efficiency and offer solutions to improve the tractability of PageRank, data cleansing practices for training classifiers, and approximate search for distributed IR. Finally, four papers look into new perspectives of IR and shed light on some new emerging areas of interest, such as the application and adoption of quantum theory in IR. 404 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 13th IMA International Conference on the Mathematics of Surfaces held in York, UK in September 2009. The papers in the present volume include seven invited papers, as well as 16 submitted papers. The topics covered include subdivision schemes and their continuity, polar patchworks, compressive algorithms for PDEs, surface invariant functions, swept volume parameterization, Willmore flow, computational conformal geometry, heat kernel embeddings, and self-organizing maps on manifolds, mesh and manifold construction, editing, flattening, morphing and interrogation, dissection of planar shapes, symmetry processing, morphable models, computation of isophotes, point membership classification and vertex blends. Surface types considered encompass polygon meshes as well as parametric and implicit surfaces. 420 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th Interntaional Workshop, IWDW 2009, held in Guildford, Surrey, UK, August 24-26, 2009.The 25 revised full papers, including 4 poster presentations,presented together with 3 invited papers were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on robust watermarking, video watermarking, steganography and steganalysis, multimedia watermarking and security protocols, as well as image forensics and authentication. 352 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CALCO, the Conference on Algebra and Coalgebra in Computer Science, is a high-level, bi-annual conference formed by joining CMCS (the International WorkshoponCoalgebraicMethodsinComputerScience)andWADT(theWo- shoponAlgebraicDevelopmentTechniques).CALCObringstogetherresearchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer s- ence. The study of algebra and coalgebra relates to the data, process and str- tural aspects of software systems. CALCO is supervised by the Steering C- mittee, co-chaired by Jos e Luiz Fiadeiro and Jan Rutten. The rst two CALCO conferences took place in 2005 in Swansea, Wales, and in 2007 in Bergen, Norway. CALCO 2009, the third event in the series, took place in Udine, Italy, during September 7 10, 2009. CALCO 2009 received 42 submissions, out of which 23 were selected for presentationattheconference.Inspiteofarelativelylownumberofsubmissions, their standard was generally very high. The selection process was carried out by the Program Committee, taking into account the originality, quality and relevance of the material presented in each submission, based on the opinions of expert reviewers, four for each submission. The selected and revised papers are included in this volume, together with the contributions from the invited speakersMaiGehrke,ConorMcBride,PrakashPanangadenandGordonPlotkin. 457 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -th This volume is an edition of the papers selected from the 12 FIRA RoboWorld C- gress, held in Incheon, Korea, August 16-18, 2009. The Federation of International Robosoccer Association (FIRA - fira. net) is a non-profit organization, which organizes robotic competitions and meetings around the globe annually. The RoboSoccer competitions started in 1996 and FIRA was - tablished on June 5, 1997. The Robot Soccer competitions are aimed at promoting the spirit of science and technology to the younger generation. The congress is a forum in which to share ideas and future directions of technologies, and to enlarge the human networks in robotics area. The objectives of the FIRA Cup and Congress are to explore the technical dev- opment and achievement in the field of robotics, and provide participants with a robot festival including technical presentations, robot soccer competitions and exhibits - der the theme 'Where Theory and Practice Meet. ' th Under the umbrella of the 12 FIRA RoboWorld Congress Incheon 2009, six int- national conferences were held for greater impact and scientific exchange: th - 6 International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS) th - 5 International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE) - International Conference on Social Robotics (ICSR) - International Conference on Advanced Humanoid Robotics Research (ICAHRR) - International Conference on Entertainment Robotics (ICER) - International Robotics Education Forum (IREF) This volume consists of selected quality papers from the six conferences. 340 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 12th International Symposium on Database Programming Languages (DBPL 2009), held in Lyon, France on - gust 24, 2009,and co-locatedwith VLDB (the International Conference on Very Large Data Bases). DBPL continues to present high-quality work at the intersection of database and programming language research. This proceedings volume contains the six papersacceptedforDBPL2009,whichwereselectedbytheProgramCommittee. Every submission was reviewed by at least three members of the committee. In addition, we sought the opinions of external referees, chosen because of their expertise in a particular topic. We would like to thank all the authorswho submitted papers to DBPL 2009. We also thank the members of the Program Committee for their excellent work during the electronic selection meeting. We are grateful to Andrei Voronkov for his EasyChair system, which made these discussions comparatively straightf- ward. WewouldliketothankMarceloArenasandMichaelI.Schwartzbachfortheir assistanceandsoundcouncilasProgramChairsofDBPL2007.We nallythank Mohand-Said Hacid and Jean-Marc Petit for their superb local organization of DBPL 2009. 112 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, EuroPVM/MPI 2009, held in Espoo, Finland, September 7-10, 2009. The 27 papers presented were carefully reviewed and selected from 48 submissions. The volume also includes 6 invited talks, one tutorial, 5 poster abstracts and 4 papers from the special session on current trends in numerical simulation for parallel engineering environments. The main topics of the meeting were Message Passing Interface (MPI)performance issues in very large systems, MPI program verification and MPI on multi-core architectures. 348 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -th Ten years ago, the 5 edition of the EUNICE Summer School took place in Barcelona with the motto 'Broadband for all.' This year, with the broadband promise already ful lled in the city, the international workshop returned to th Barcelona in its 15 edition and focused on a polyhedrical approach to the Internet of the future. The Internet is shaping the twenty- rst century information society. It has deeply transformed the way we learn, work and interact. All kinds of insti- tions, from universities to businesses, have been shaken by the wave of digital innovation.Leisureandsocialnetworksalsohavetheirplaceinthevirtualworld, and the younger generations cannot imagine a time when they could not be in permanent contact with friends around the globe, interchanging messages and multimedia content. The challengeof classifying,ranking andinterpreting the massive amounts of information that are being generated is breathtaking. Furthermore, the Internet is moving beyond the computer to reach mobile phones, smart gadgets and s- sor networks. The pervasiveness of the Internet fundamentally changed existing business models, and the business models themselves are driving the evolution of the Internet. In this scenario of relentless change, our aim is to foresee and design the networks and applications of the future. 248 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics. The presentations - given on a symposium in his honor in Udine, Italy, on September 10, 2009 - were on subjects related to Peter's many technical contributions and they were a tribute to his lasting impact on the field. Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics. 420 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The general theme of the Intelligent Data Analysis (IDA) Symposia is the - telligent use of computers in complex data analysis problems. The eld has matured su ciently that some re-considerationof our objectives was required in order to retain the distinctiveness of IDA. Thus, in addition to the more tra- tional algorithm- and application-oriented submissions, we sought submissions that speci cally focus on aspects of the data analysis process. For example, - teractive tools to guide and support data analysis in complex scenarios. With the increasingavailabilityofautomaticallycollecteddata,toolsthatintelligently support and assist human analysts are becoming important. IDA-09, the 8th International Symposium on Intelligent Data Analysis, took place in Lyon from August 31 to September 2, 2009. The invited speakers were PaulCohen(UniversityofArizona,USA)andPabloJensen(ENSLyon,France). The meeting received more than 80 submissions. The Programme Committee selected 33 submissions for publication: 18 for full oral presentation, and 15 for poster and short oralpresentation. Eachcontribution was evaluated by three expertsandhas beenallocated12pagesintheproceedings.Theacceptedpapers cover a broad range of topics and applications, and include contributions on the re ned focus of IDA. 436 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Web-Based Learning, ICWL 2009, held in Aachen, Germany, in August 2009.The 38 revised full papers and 14 short papers are presented together with three invited papers and were carefully reviewed and selected from 106 submissions. They deal with topics such as technology enhanced learning, web-based learning for oriental languages, mobile learning, social software and Web 2.0 for technology enhanced learning, learning resource deployment, organization and management, design, model and framework of E-learning systems, e-learning metadata and standards, educational gaming and multimedia storytelling for learning, as well as practice and experience sharing and pedagogical Issues. 496 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The PaCT-2009 (Parallel Computing Technologies) conference was a four-day eventheld in Novosibirsk. This was the tenth internationalconference to be held in the PaCT series. The conferences are held in Russia every odd year. The rst conference, PaCT 1991, was held in Novosibirsk (Academgorodok), September 7-11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 to September 4, 1993; in St. Petersburg, September 12-15, 1995; in Yaroslavl, September 9-12, 1997; in Pushkin (near St. Petersburg), September 6-10, 1999; in Academgorodok (Novosibirsk), September 3-7, 2001; in Nizhni Novgorod, September 15-19, 2003; in Krasnoyarsk, September 5-9, 2005; in Pereslavl-Zalessky, September 3-7, 2007. Since 1995 all the PaCT Proceedings have been published by Springer in the LNCS series. PaCT-2009 was jointly organized by the Institute of Computational Mathematics and Mathematical Geophysics of the Russian Academy of Sciences (RAS) and the State University of Novosibirsk. The purpose of the conference was to bring together scientists working on theory, architecture, software, hardware and the solution of lar- scale problems in order to provide integrated discussions on parallel computing technologies. The conference attracted about 100 participants from around the world. Authors from 17 countries submitted 72 papers. Of those submitted, 34 were selected for the conference as regular papers; there were also 2 invited - pers. In addition there were a number of posters presented. All the papers were internationallyreviewedby at leastthree referees. A demo sessionwasorganized for the participants. 492 pp. Englisch.…