berlin springer berlin heidelberg springer apr 2009 (188 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Information Security and Cryptology, Inscrypt 2008, held in Beijing, China, in December 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 183 submissions. The papers are organized in topical sections on digital signature and signcryption schemes, privacy and anonymity, message authentication code and hash function, secure protocols, symmetric cryptography, certificateless cryptography, hardware implementation and side channel attack, wireless network security, public key and identity based cryptography, access control and network security, as well as trusted computing and applications. 456 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -BIS 2009 held in Pozna was the 12th in a series of international conferences on Business Information Systems. The BIS conference series has been recognized by professionals from its very beginning as a forum for the exchange and d- semination of topical research in the development, implementation, application and improvement of computer systems for business processes. The theme of the conference was ¿Information Systems for Agile Organi- tions.¿ The material collected in this volume covers recent tendencies in making organizations more responsive to external conditions. On the one hand, onto- gies are adopted as a tool for better data and information management. On the other hand, exible information systems based on process orientation are being developed. A set of 22 papers illustrating these trends were selected for presentation during the main event. The articles are grouped into the following conference topics: Ontologies in Organizations,Ontologies and Security, Process Modelling, Process Analysis and Mining, Service-Oriented Architecture, Web Search,SocialIssues,andERP. The Program Committee consisted of over 90 members, who carefully ev- uated all the submitted papers. The careful review process assured that each paper underwent thorough evaluation and received many valuable comments. Only the best-quality papers were selected, resulting in an acceptance rate of less than 30%. The regular program was complemented by outstanding keynote speakers. We were honored to host leading experts in business process management and information management: Wil van der Aalst (Eindhoven University of Techn- ogy, The Netherlands) and Asunción Gómez-Pérez (Universidad Politécnica de Madrid, Spain).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the proceedings of the 4th International Conference on E-Technologies, MCETECH 2009, held in Ottawa, Canada, during May 4-6, 2009.The 23 full and 4 short papers included in this volume were carefully reviewed and selected from a total of 42 submissions. They cover topics such as inter-organzational processes, service-oriented architectures, security and trust, middleware infrastructures, open source and open environments, and applications including eGovernment, eEducation, and eHealth.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed papers presented at five international workshops held in conjunction with the 6th International Conference on Service-Oriented Computing, ICSOC 2008, in Sydney, Australia, in December 2008. The volume contains 41 reviewed and improved papers presented at the 4th International Workshop on Engineering Service-Oriented Applications (WESOA 2008), the Second International Workshop on Web APIs and Services Mashups (Mashups 2008), the First International Workshop on Quality-of-Service Concerns in Service Oriented Architectures (QoSCSOA 2008), the First Workshop on Enabling Service Business Ecosystems (ESBE 2008), and the Third International Workshop on Trends in Enterprise Architecture Research (TEAR 2008). The papers offer a wide range of hot topics in service-oriented computing: management and analysis of SOA processes; development of mashups; QoS and trust models in service-oriented multi-agent systems; service ecosystems, service standardization, and evolutionary changes of Web services; governance aspects of SOA, enterprise models and architectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for the design and development of such applications. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers in the area of Agent-Oriented Software Engineering. The papers represent a state-of-the-art report of current research in this field, which is of critical importance in facilitating industry take-up of powerful agent technologies.This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Oriented Software Engineering, AOSE 2008, held in Estoril, Portugal, in May 2008 as part of AAMAS 2008. The 20 revised full papers were carefully selected from 50 initial submissions during two rounds of reviewing and improvement. The papers have been organized into four sections on: multi-agent organizations, method engineering and software development processes, testing and debugging, as well as tools and case studies. 304 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the second contribution, entitled ¿Behavioral Characterization for Network Anomaly Detection,¿ Victor P. Roche and Unai Arronategui propose a methodology for detecting abnormal traffic on the net, such as worm attacks, based on the obser- tion of the behavior of different elements at the network edges. This methodology means an advance in the detection of a new infection in the backbone of the network, but also in the identification of the infected hosts of a specific network. The authors try to detect network anomalies by tracking the behavior of different network levels. This proposed method is not based on intrinsic characteristics of the worm but on their manner of acting. This methodology has proved its effectiveness in real infections caused by viruses such as SpyBot and Agobot in accordance with experimental tests. In the third contribution, which is entitled ¿The Power of Anonymous Veto in Public Discussion,¿ Feng Hao and Piotr Zielinski propose an exceptional solution¿¿Anonymous Veto Network (or AV-net)¿¿to allow a group of participants to compute a boolean-OR function securely. This protocol is provably secure under the Decision Diffie-Hellman (DDH) and random oracle assumptions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume collects the revised versions of the invited and selected papers that were presented at the Second EPOS¿¿Epistemological Perspectives on Simulation¿¿Workshop, held in Brescia, Italy, in October 2006. EPOS is a bi-annual cross-disciplinary workshop on simulation originally established by Ulrich Frank and Klaus G. Troitzsch, with a first e- tion held in Koblenz in July 2004. EPOS aims to provide a forum for scholars from various disciplines, such as the social sciences, computer sciences, engineering and natural sciences, who are interested in discussing epistemological aspects of computer simulation across disciplinary boundaries. The common belief behind the workshop is the recognition that the time has come to seriously reflect on epistemological and methodological preconditions, processes and consequences of simulation as a research tool. During the fist edition in Koblenz 2004, a number of interesting topics were ca- fully addressed: the link between theory and simulation models, the empirical vali- tion of agent-based models in the natural and the social sciences, the relation between models and truth, as well as the role of stylized facts in evidence-based models. A good cross-disciplinary atmosphere permeated the workshop, making possible the exchange of knowledge and ideas beyond any disciplinary boundary. The first EPOS proceedings were edited by Ulrich Frank and Klaus G. Troitzsch and published in the Journal of Artificial Societies and Social Simulation, Vol. 8, No. 4, 2005.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These proceedings contain the papers presented at the 4th International S- posium on Location and Context Awareness (LoCA) during May 7¿8, 2009 in Tokyo,Japan.Locationandcontextawarenessarefundamentstonext-generation mobile and pervasive computing systems. Pervasive computing is a model of computing in which computation is everywhere and computer functions are - tegrated into everything. The ultimate aim is to make information, applications and services available anywhere and at anytime in the human environment in a uid manner appropriate to our current context. Once away from the desktop, we nd ourselves in a wide variety of contexts and hence situations. For computing to be relevant and useful in these emerging situations we must rely on a range of contextual cues. Context includes phys- logical, environmental, and computational data, whether sensed or inferred. In addition, context includes details of a user¿s activities, goals, abilities, pref- ences, a ordances, and surroundings. With location and context awareness we can expect computers to deliver information, services, and entertainment in a way that maximizes convenience and minimizes intrusion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Intelligence and Security Informatics (ISI) is concerned with the study of the dev- opment and use of advanced information technologies and systems for national, int- national, and societal security-related applications. The annual IEEE International Conference series on ISI was started in 2003 and the first four meetings were held in the United States. In 2006, the Workshop on ISI (isi. se. cuhk. edu. hk/2006/) was held in Singapore in conjunction with the Pacific Asia Conference on Knowledge Discovery and Data Mining, with over 100 contributors and participants from all over the world. PAISI 2007 (isi. se. cuhk. edu. hk/2007/) was then held in Chengdu, China and PAISI 2008 (isi. se. cuhk. edu. hk/2008/) was held in Taiwan. These ISI conferences have brought together academic researchers, law enforcement and intel- gence experts, information technology consultants and practitioners to discuss their research and practice related to various ISI topics including ISI data management, data and text mining for ISI applications, terrorism informatics, deception and intent detection, terrorist and criminal social network analysis, public health and bio-security, crime analysis, cyber-infrastructure protection, transportation infrastructure security, policy studies and evaluation, and information assurance, among others. We continued the stream of ISI conferences by organizing the 2009 Pacific Asia Workshop on ISI (PAISI 2009) in conjunction with the Pacific Asia Conference on Knowledge Disc- ery and Data Mining (PAKDD 2009).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Computer Vision/Computer Graphics Collaboration Techniques, MIRAGE 2009, held in Rocquencourt, France, in May 2009. The 41 revised full papers presented were carefully reviewed and selected from a total of 83 submissions. The papers cover a wide range of topics with focus on Computer Vision/Computer Graphics collaboration techniques involving image analysis/synthesis approaches especially concerning theoretical, computational, experimental or industrial aspects of model-based image analysis and image-based model synthesis. 456 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Calabi-Yau manifolds have been an object of extensive research during the last two decades. One of the reasons is the importance of Calabi-Yau 3-manifolds in modern physics - notably string theory. An interesting class of Calabi-Yau manifolds is given by those with complex multiplication (CM). Calabi-Yau manifolds with CM are also of interest in theoretical physics, e. g. in connection with mirror symmetry and black hole attractors. It is the main aim of this book to construct families of Calabi-Yau 3-manifolds with dense sets of bers with complex multiplication. Most - amples in this book are constructed using families of curves with dense sets of bers with CM. The contents of this book can roughly be divided into two parts. The rst six chapters deal with families of curves with dense sets of CM bers and introduce the necessary theoretical background. This includes among other things several aspects of Hodge theory and Shimura varieties. Using the rst part, families of Calabi-Yau 3-manifolds with dense sets of bers withCM are constructed in the remaining ve chapters. In the appendix one nds examples of Calabi-Yau 3-manifolds with complex mul- plication which are not necessarily bers of a family with a dense set ofCM bers. The author hopes to have succeeded in writing a readable book that can also be used by non-specialists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 9th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2009, held in Tübingen, Germany, in April 2009. The 21 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present the latest research and discuss current developments and applications in metaheuristics - a paradigm to effectively solve difficult combinatorial optimization problems appearing in various industrial, economical, and scientific domains. Prominent examples of metaheuristics are evolutionary algorithms, simulated annealing, tabu search, scatter search, memetic algorithms, variable neighborhood search, iterated local search, greedy randomized adaptive search procedures, estimation of distribution algorithms and ant colony optimization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book will support an issue as important as self-management of chronic diseases, es- cially AD, in finding its way into the daily life of patients and their caregivers as well as into treatment worldwide. It is written for healthcare professionals, aging researchers/scientists, patients with Alzheimer¿s disease and their caregivers, managers of eldercare facilities, public health authorities, umbrella organisations of Alzheimer associations, Alzheimer associations, health care administrators, health economists and government officials. It is my pleasant duty to thank Merz Pharma (Schweiz) AG in Allschwil-Switzerland to purchase 40 copies of the book. To finish this book, a long and sometimes arduous path had to be traveled. Now that it is over, I feel profoundly thankful towards all authors for participating in this project, p- ticularly Eva Krebs-Roubicek, MD for her contribution, the three models on the cover of this book; and especially to Julie and Jean-Luc for their great understanding and loving - sistance. Sabine Bährer-Kohler, Editor of the book VII Foreword Alzheimer¿s disease is one of those diseases which is steadily increasing worldwide. Treating Alzheimer¿s disease is able to modify its course but does not yet cure it. Alzheimer¿s disease is an enormous challenge not only for the afflicted person but also for the relatives.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -It is commonly assumed that computers process information. But what is inf- mation In a technical, important, but nevertheless rather narrow sense, Sh- non¿sinformationtheorygivesa rstanswertothisquestion.Thistheoryfocuses on measuring the information content of a message. Essentially this measure is the reduction of the uncertainty obtained by receiving a message. The unc- tainty of a situation of ignorance in turn is measured by entropy. This theory hashad an immense impact on the technologyof information storage,data c- pression, information transmission and coding and still is a very active domain of research. Shannon¿s theory has also attractedmuch interest in a more philosophic look at information, although it was readily remarked that it is only a ¿syntactic¿ theory of information and neglects ¿semantic¿ issues. Several attempts have been made in philosophy to give information theory a semantic avor, but still mostly based on or at least linked to Shannon¿s theory. Approaches to semantic informationtheoryalsoveryoftenmakeuseofformallogic.Thereby,in formation is linked to reasoning, deduction and inference, as well as to decision making. Further, entropy and related measure were soon found to have important connotations with regard to statistical inference. Surely, statistical data and observation represent information, information about unknown, hidden para- ters. Thus a whole branch of statistics developed around concepts of Shannon¿s information theory or derived from them. Also some proper measurements - propriate for statistics, like Fisher¿s information, were proposed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -UNISCON 2009 (United Information Systems Conference) was the third conf- ence in the series that is based on the idea to pool smaller but highly interesting scienti c events on information systems into one large conference. Here, people from di erent scienti c backgrounds can present their research results, share their ideas and discuss future trends in these various areas. UNISCON 2009 was held in Sydney, Australia in the University of Western Sydney, Campbelltown Campus. In 2009 the following scienti c events were held under the umbrella of UNISCON 2009: th ¿ 8 International Conference on Information Systems Technology and Its Applications (ISTA 2009) th ¿ 8 International Workshop on Conceptual Modelling Approaches for e- Business (eCOMO 2009) ¿ Second Workshop on Model-Based Software and Data Integration (MBSDI 2009) We received 115 papers for the three events. Papers were submitted from over 25 countries. After a rigorous review process, 39 papers were accepted as full papers and 14 papers as short papers for presentation at the conference and published in these proceedings. In addition to the above three events, we also organized a Doctoral Cons- tium to provide a forum for doctoral students to get feedback from experts in the area about their research projects. 584 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2008, held as two events at AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems in Estoril, Portugal, in May 2008 and at AAAI 2008, the 23rd AAAI Conference on Artificial Intelligence in Chicago, IL, USA, in July 2008. This volume is the 4th in a series focussing on issues in Coordination, Organizations, Institutions and Norms (COIN) in multi-agent systems. The 17 papers contained in this volume are the revised and extended versions of a selection of papers presented and discussed in these two workshops. The papers are organized in the following topical sections: from coordination to organization, from organization to coordination, formalization of norms and institutions, design of norms and institutions, as well as applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Since 1980, methods for recursive evaluation of aggregate claims distributions have received extensive attention in the actuarial literature.This book gives a unified survey of the theory and is intended to be self-contained to a large extent. As the methodology is applicable also outside the actuarial field, it is presented in a general setting, but actuarial applications are used for motivation.The book is divided into two parts. Part I is devoted to univariate distributions, whereas in Part II, the methodology is extended to multivariate settings.Primarily intended as a monograph, this book can also be used as text for courses on the graduate level. Suggested outlines for such courses are given.The book is of interest for actuaries and statisticians working within the insurance and finance industry, as well as for people in other fields like operations research and reliability theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. The 39 full papers presented together with 7 invited papers as well as 3 plenary talks were selected from 86 submissions. The papers address the three main themes of the conference which were Computability, Complexity, and Algorithms. The conference aimed to bring together researchers with interests in theoretical computer science, algorithmic mathematics, and applications to the physical sciences. 500 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Grid and Pervasive Computing (GPC) is an annual international conference devoted to the promotion and advancement of all aspects of grid and pervasive computing. The objective of this conference is to provide a forum for researchers and engineers to present their latest research in the elds of grid and pervasive computing. Previous editions of the Grid and Pervasive Computing conference were held in: Kunming (China) May 25-28, 2008, Paris (France) May 2-4, 2007, and Taichung (Taiwan) May 3-5, 2006. The fourth edition took place in Geneva, Switzerland during May 4-8, 2009. It was organized by members of the University of Applied Sciences Western Switzerland (Haute Ecole de Paysage, d¿Ing¿ enierie et d¿Architecture - hepia), in collaboration with colleagues from various places around the world. The conference spanned a full week, including a three-day technical program where the papers contained in these proceedings were presented. The conf- ence was followed by two tutorial days where attendants had the opportunity to discuss a variety of topics related to the elds covered at the conference, at both introductory and advanced levels. The technical program also included an industrial session, with contributions illustrating challenges faced and so- tions devised by industry. Furthermore, the conference o ered an opportunity for vendors and researchers to present their products and projects at an ex- bition (Grid Village) where solutions supporting the development of grid and pervasive computing were displayed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 11th European Conference on Genetic Programming, EuroGP 2009, held in Tübingen, Germany, in April 2009 colocated with the Evo\* 2009 events. The 21 revised plenary papers and 9 revised poster papers were carefully reviewed and selected from a total of 57 submissions. A great variety of topics are presented reflecting the current state of research in the field of genetic programming, including the latest work on representations, theory, operators and analysis, feature selection, generalisation, coevolution and numerous applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 10th Pacific Rim International Workshop on Multi-Agents, PRIMA 2007, held in Bankok, Thailand, in November 2007. The 22 revised full papers and 16 revised short papers presented together with 11 application papers were carefully reviewed and selected from 102 submissions. Ranging from theoretical and methodological issues to various applications in different fields, the papers address many current subjects in multi-agent research and development,Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These are the conference proceedings of the 4th Haifa Veri cation Conference, held October 27¿30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri cation, for both hardware and software systems. This year¿s conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. Wereceived49totalsubmissions, with many more high-quality papers than we had room to accept. Submissions came from 19 di erent countries, re ecting the growing international visibility of the conference. Of the 49 submissions, 43 were regular papers, 2 of which were later withdrawn, and 6 were tool papers. After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume. These numbers give acceptance rates of 29% for regular papers and 67% for tool papers (34% combined) ¿ comparable to the elite, much older, conferences in the eld. A Best Paper Award, selected on the basis of the reviews and scores from the Program Committee, was presented to Edmund Clarke, Alexandre Donz¿ e, and AxelLegayfortheirpaperentitled¿StatisticalModelCheckingofMixed-Analog Circuits with an Application to a Third-Order Delta-Sigma Modulator. ¿ The refereed program was complemented by an outstanding program of - vited talks, panels, and special sessions from prominent leaders in the eld.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The present volume contains the proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008), held in Malaga, Spain, October 9-10, 2008. FAST is an event a liated with the 13th European Sym- sium on Research in Computer Security (ESORICS 2008). FAST 2008 was held under the auspices of the IFIP WG 1.7 on Foundations of Security Analysis and Design. The 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008) aimed at continuing the successful e ort of the previous three FAST workshop editions for fostering the cooperation among researchers in the areas of security and trust. As computing and network infrastructures become increasingly pervasive, and as they carry increasing economic activity, society needs well-matched security and trust mechanisms. These interactions incre- ingly span several enterprises and involve loosely structured communities of - dividuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions - fectively determine the security goals for shared information and for access to sensitive or valuable resources. FAST sought for original papers focusing on formal aspects in: security and trust policy models; security protocol design and analysis; formal models of trustand reputation;logicsfor security andtrust;distributed trust management systems;trust-basedreasoning;digitalassetsprotection;dataprotection ;privacy and ID issues; information ow analysis; language-based security; security and trust aspects in ubiquitous computing; validation/analysis tools; Web service security/trust/privacy; GRID security; security risk assessment; case studies. 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 7th International Working Conference on Active and Programmable Networks (IWAN 2005) that was held during November 21¿23, 2005, in Sophia Antipolis, Cote d¿ Azur, France, jointly organized by Hitachi Europe and INRIA. IWAN 2005 took place against a backdrop of questions about the viability and - cessity of a conference that deals with an area perceived by many as having run its full course. The Organizing Committee, during the preparations of the conference, took these concerns seriously and reflected them in the theme of this year¿s event, entitled ¿Re-incarnating Active Networking Research,¿ and expanding the scope of past calls for papers into topics that have emerged from active and programmable networks. The result was a success because we received 72 submissions, a number that - ceeded our expectations and in fact is one of the highest in the history of the conf- ence. The distinguished Technical Program Committee set high standards for the final program; each one of the submitted papers received three peer reviews with detailed comments and suggestions for the authors. In total, 13 papers were accepted for the main program sessions with 9 papers accepted unconditionally and the remaining 4 papers being conditionally accepted with shepherding by selected Program Committee members.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Software Language Engineering, SLE 2008, held in Toulouse, France, in September 2008. The 16 revised full papers and 1 revised short paper presented together with 1 tool demonstration paper and 2 keynote lectures were carefully reviewed and selected from 106 initial submissions. The papers are organized in topical sections on language and tool analysis and evaluation, concrete and abstract syntax, language engineering techniques, language integration and transformation, language implementation and analysis, as well as language engineering pearls.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Bioinformatics Research and Applications, ISBRA 2009, held in Fort Lauderdale, FL, USA, in May 2009. The 26 revised full papers presented together four invited papers were carefully reviewed and selected from a total of 55 submissions. The papers cover a wide range of topics, including clustering and classification, gene expression analysis, gene networks, genome analysis, motif finding, pathways, protein structure prediction, protein domain interactions, phylogenetics, and software tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains papers presented at the International Conference on Software Process (ICSP 2009) held in Vancouver, Canada, during May 16-17, 2009. ICSP 2009 was the third conference of the ICSP series, continuing the software process workshops from 25 years ago. The theme of ICSP 2009 was ¿Processes to Develop Trustworthy Software.¿ Software development takes place in a dynamic context of frequently changing technologies and limited resources. Teams worldwide are under increasing pressure to deliver trustworthy software products more quickly and with higher levels of quality. At the same time, global competition is forcing software development organizations to cut costs by rationalizing processes, outsourcing part or all of their activities, re- ing existing software in new or modified applications and evolving existing systems to meet new needs, while still minimizing the risk of projects failing to deliver. To address these difficulties, new or modified processes are emerging including lean and agile methods, plan-based product line development, and increased integration with systems engineering processes. Papers present research and real-world experience in many areas of software and systems processes impacting trustworthy software including: new software devel- ment approaches; software quality; integrating software and business processes; CMMI and other process improvement initiatives; simulation and modeling of so- ware processes; techniques for software process representation and analysis; and process tools and metrics. 428 pp. Englisch.