springer berlin apr 2009 (128 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 - This book constitutes the refereed proceedings of the International Conference on Intelligent Computing, ICIC 2006, held in Kunming, China, in August 2006. The book presents 165 revised full papers, carefully reviewed. Topics covered include ant colony optimization, particle swarm optimization, swarm intelligence, autonomy-oriented computing, quantum and molecular computations, biological and DNA computing, intelligent computing in bioinformatics, intelligent computing in computational biology and drug design, computational genomics and proteomics, and more.

Taschenbuch. Condizione: Neu. Neuware - This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, LATIN 2006, held in March 2006. The 66 revised full papers presented together with seven invited papers were carefully reviewed and selected from 224 submissions. The papers presented are devoted to a broad range of topics in theoretical computer science with a focus on algorithmics and computations related to discrete mathematics as well as on cryptography, data compression and Web applications.

Taschenbuch. Condizione: Neu. Neuware - The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial Neural Networks, ICANN 2005, held in Warsaw, Poland in September 2005. The over 600 papers submitted to ICANN 2005 were thoroughly reviewed and carefully selected for presentation. The first volume includes 106 contributions related to Biological Inspirations; topics addressed are modeling the brain and cognitive functions, development of cognitive powers in embodied systems spiking neural networks, associative memory models, models of biological functions, projects in the area of neuroIT, evolutionary and other biological inspirations, self-organizing maps and their applications, computer vision, face recognition and detection, sound and speech recognition, bioinformatics, biomedical applications, and information- theoretic concepts in biomedical data analysis. The second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network models, supervised learning algorithms, ensemble-based learning, unsupervised learning, recurent neural networks, reinforcement learning, bayesian approaches to learning, learning theory, artificial neural networks for system modeling, decision making, optimalization and control, knowledge extraction from neural networks, temporal data analysis, prediction and forecasting, support vector machines and kernel-based methods, soft computing methods for data representation, analysis and processing, data fusion for industrial, medical and environmental applications, non-linear predictive models for speech processing, intelligent multimedia and semantics, applications to natural language processing, various applications, computational intelligence in games, and issu es in hardware implementation.

Taschenbuch. Condizione: Neu. Neuware - This is Volume I of the four-volume set LNCS 3991-3994 constituting the refereed proceedings of the 6th International Conference on Computational Science, ICCS 2006. The 98 revised full papers and 29 revised poster papers of the main track presented together with 500 accepted workshop papers were carefully reviewed and selected for inclusion in the four volumes. The coverage spans the whole range of computational science.

Buch. Condizione: Neu. Neuware - This self-contained introduction addresses the novel flow equation approach for many particle systems and provides an up-to-date review of the subject. The text first discusses the general ideas and concepts of the flow equation method, and then in a second part illustrates them with various applications in condensed matter theory. The third and last part of the book contains an outlook with current perspectives for future research.

Buch. Condizione: Neu. Neuware.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, held in Potsdam, Germany, in September 2007. The papers are organized in topical sections on enforcement, alignment, tailoring. There is focus on SME issues, improvement analysis and empirical studies, new avenues of SPI, SPI methodologies, as well as testing and reliability. 225 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 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2009, held in Cologne, Germany, in April 2009. The 33 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 148 submissions. The papers address all current foundational, theoretical and research aspects of cryptology, cryptography, and cryptanalysis as well as advanced applications. The papers are organized in topical sections on security, proofs, and models, hash cryptanalysis, group and broadcast encryption, cryptosystems, cryptanalysis, side channels, curves, and randomness. 614 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. The scope of the journal therefore covers all aspects of computer architecture, code generation and compiler optimization methods of interest to researchers and practitioners designing future embedded systems.Thissecond issue contains15 papers carefully reviewed and selected out of 31 submissions and is divided into two sections.The first section contains extended versions ofthetop five papersfrom the2nd International Conference on High-Performance Embedded Architectures and Compilers (HiPEAC 2007) held in Ghent, Belgium, in January 2007. The second section consists of tenpapers covering topics such as microarchitecture, memory systems, code generation, and performance modeling. 327 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the best papers of the 10th International Conference on Enterprise Information Systems (ICEIS 2008), held in the city of Barcelona (Spain), organized by the Institute for Systems and Technologies of Information, Control and Com- nication (INSTICC) in cooperation with AAAI and co-sponsored by WfMC. ICEIS has become a major point of contact between research scientists, engineers and practitioners in the area of business applications of information systems. This year, five simultaneous tracks were held, covering different aspects related to enterprise computing, including: 'Databases and Information Systems Integration,' 'Artificial Intelligence and Decision Support Systems,' 'Information Systems Analysis and Specification,' 'Software Agents and Internet Computing' and 'Human-Computer Interaction.' All tracks focused on real-world applications and highlighted the benefits of information systems and technology for industry and services, thus making a bridge between academia and enterprise. Following the success of 2007, ICEIS 2008 received 665 paper submissions from more than 40 countries. In all, 62 papers were published and presented as full papers, i.e., completed work (8 pages in proceedings / 30-min oral presentations), and 183 papers, reflecting work-in-progress or position papers, were accepted for short pr- entation and another 161 for poster presentation. 361 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. The23 full and4short papersincluded 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. 352 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the refereed proceedings of the 12th International Conference on Business Information Systems, BIS 2009, held in Poznan, Poland, in april 2009. The 22 revised full papers were carefully reviewed and selected from 74 submissions. Following the theme of the conference 'Information Systems for Agile Organizations', the contributions illustraterecent tendencies in making organizations more adaptive and responsive with respect to changing external conditions. They are grouped in sections on ontologies in organizations, ontologies and security, Web search, process modelling, process analysis and mining, service-oriented architecture, and enterprise resource planning. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 364 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. This item is printed on demand - it takes 3-4 days longer - 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. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. This item is printed on demand - it takes 3-4 days longer - 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. 276 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 500 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 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. 380 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 228 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 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2009, held in Tübingen, Germany, in April 2009 colocated with the Evo\* 2009 events. The 17 revised full papers were carefully reviewed and selected from 44 submissions. EvoBio is the premiere European event for experts in computer science meeting with experts in bioinformatics and the biological sciences, all interested in the interface between evolutionary computation, machine learning, data mining, bioinformatics, and computational biology. Topics addressed by the papers include biomarker discovery, cell simulation and modeling, ecological modeling, uxomics, gene networks, biotechnology, metabolomics, microarray analysis, phylogenetics, protein interactions, proteomics, sequence analysis and alignment, as well as systems biology. 203 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 356 pp. Englisch.

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science, but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods.This issue focuses on the theme of security in computing, a topic of vital importance in the increasingly connected world of today. The 14extensive papers selected for inclusion in this volumegive an in-depth coverageof a number of hot topics in the field,presenting new architectures, novel hardware implementations, cryptographic algorithms and security protocols, and new tools and applications. 284 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 264 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 192 pp. Englisch.