Search

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Membrane Computing, CMC 2011, held in Fontainebleau, France, in August 2011. The 19 revised selected papers presented were carefully reviewed and selected from 27 papers and 5 posters presented at the conference. The book also contains full papers or extended abstracts of the 5 invited presentations. The papers address all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues.

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Circuit and System Design, PATMOS 2010, held in Grenoble, France, in September 2010. The 24 revised full papers presented and the 9 extended abstracts were carefully reviewed and are organized in topical sections on design flows; circuit techniques; low power circuits; self-timed circuits; process variation; high-level modeling of poweraware heterogeneous designs in SystemC-AMS; and minalogic.

We are proud to present the TAMODIA 2006 proceedings. In 2006, the TA- MODIA workshop celebrated its?fth anniversary. TAMODIA is an obscure acronym that stands for TAsk MOdels and DIAgrams for user interface - sign. The?rst edition of TAMODIA was organized in Bucharest (Romania) by Costin Pribeanu and Jean Vanderdonckt. The fact that?ve years later the TAMODIAseriesofworkshopsstillcontinuessuccessfullyprovestheimportance of this research area for the human–computer interaction community! The?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality of user interface design. This is still the scope of the current edition; we tried to assemble papers that discuss how the complexity of HCI design and development can be managed with tasks, models and diagrams. Much like the previous editions, the selection of papers from the 2006 edition re?ects the broad scope of this?eld, which cannot be labeled with a single title or term. The invited paper is by Jo¨ elle Coutaz and discusses meta-user interfaces for ambient spaces. Finding appropriate ways to design and develop user interfaces for interactive spaces is becoming an important challenge for the creation of future usable applications. This exciting work gives a good feel of the new type of user interfaces and the required new approaches we are evolving toward when we want to realize the vision of ambient intelligent environments and create systems that can be used and controlled by the end-users.

This book constitutes the refereed proceedings of the 4th International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR 2014, held in Bergamo, Italy, in October 2014. The 49 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on simulation, modeling, programming, architectures, methods and tools, and systems and applications.

This book constitutes the refereed proceedings of the 8th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2012, held in Hongkong, China, in March 2012. The 35 revised papers presented, consisting of 25 full papers and 10 poster papers were carefully reviewed and selected from 44 submissions. The topics covered are applied RC design methods and tools, applied RC architectures, applied RC applications and critical issues in applied RC.

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The fifth volume of ToPNoC contains revised versions of selected papers from workshops and tutorials held in conjunction with the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, as well as a contributed paper selected through the regular submission track of ToPNoC. The 12 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus, this volume gives a good view of ongoing concurrent systems and Petri nets research.

This book constitutes the refereed proceedings of the 7th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2011, held in Belfast, UK, in March 2011. The 40 revised papers presented, consisting of 24 full papers, 14 poster papers, and the abstracts of 2 plenary talks, were carefully reviewed and selected from 88 submissions. The topics covered are reconfigurable accelerators, design tools, reconfigurable processors, applications, device architecture, methodology and simulation, and system architecture.

While today's game engines and multi-agent platforms cross-fertilize each other to some extent, the technologies used in these areas are not readily compatible due to some differences in their primary concerns. Where game engines prioritize efficiency and central control, multi-agent platforms focus on agent autonomy and sophisticated communication capabilities. This volume gives an overview of the current state of the art for people wishing to combine agent technology with (serious) games. This state-of-the-art survey contains a collection of papers presented at AGS 2010; the Second International Workshop on Agents for Games and Simulations, held on May 10, 2010, in Toronto, as well as extended versions of papers from other workshops and from the AAMAS conference. The 14 papers are organized in three topical sections focusing on architectures combining agents and game engines, on the training aspects of the games, on social and organizational aspects of games and agents, respectively.

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences; Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series); Other papers invited for publication in ToPNoC; Papers submitted directly to ToPNoC by their authors. The fourth volume of ToPNoC contains revised and extended versions of a selection of the best papers from the workshops held at the 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. The nine papers provide good coverage of a diverse range of topics including workflow systems, model checking, agent-based software systems, the state explosion problem, structure theory for Petri nets, and modal logics. ‘The volume presents a good mixture of theory, tools, and practical applications related to concurrency and gives a useful snapshot of current research.

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008. The 167 revised papers of the main conference track presented together with the abstracts of 7 keynote talks and the 100 revised papers from 14 workshops were carefully reviewed and selected for inclusion in the three volumes. The main conference track was divided into approximately 20 parallel sessions addressing topics such as e-science applications and systems, scheduling and load balancing, software services and tools, new hardware and its applications, computer networks, simulation of complex systems, image processing and visualization, optimization techniques, numerical linear algebra, and numerical algorithms. The second volume contains workshop papers related to various computational research areas, e.g.: computer graphics and geometric modeling, simulation of multiphysics multiscale systems, computational chemistry and its applications, computational finance and business intelligence, physical, biological and social networks, geocomputation, and teaching computational science. The third volume is mostly related to computer science topics such as bioinformatics'challenges to computer science, tools for program development and analysis in computational science, software engineering for large-scale computing, collaborative and cooperative environments, applications of workflows in computational science, as well as intelligent agents and evolvable systems.

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008. The 167 revised papers of the main conference track presented together with the abstracts of 7 keynote talks and the 100 revised papers from 14 workshops were carefully reviewed and selected for inclusion in the three volumes. The main conference track was divided into approximately 20 parallel sessions addressing topics such as e-science applications and systems, scheduling and load balancing, software services and tools, new hardware and its applications, computer networks, simulation of complex systems, image processing and visualization, optimization techniques, numerical linear algebra, and numerical algorithms. The second volume contains workshop papers related to various computational research areas, e.g.: computer graphics and geometric modeling, simulation of multiphysics multiscale systems, computational chemistry and its applications, computational finance and business intelligence, physical, biological and social networks, geocomputation, and teaching computational science. The third volume is mostly related to computer science topics such as bioinformatics'challenges to computer science, tools for program development and analysis in computational science, software engineering for large-scale computing, collaborative and cooperative environments, applications of workflows in computational science, as well as intelligent agents and evolvable systems.

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008. The 167 revised papers of the main conference track presented together with the abstracts of 7 keynote talks and the 100 revised papers from 14 workshops were carefully reviewed and selected for inclusion in the three volumes. The main conference track was divided into approximately 20 parallel sessions addressing topics such as e-science applications and systems, scheduling and load balancing, software services and tools, new hardware and its applications, computer networks, simulation of complex systems, image processing and visualization, optimization techniques, numerical linear algebra, and numerical algorithms. The second volume contains workshop papers related to various computational research areas, e.g.: computer graphics and geometric modeling, simulation of multiphysics multiscale systems, computational chemistry and its applications, computational finance and business intelligence, physical, biological and social networks, geocomputation, and teaching computational science. The third volume is mostly related to computer science topics such as bioinformatics'challenges to computer science, tools for program development and analysis in computational science, software engineering for large-scale computing, collaborative and cooperative environments, applications of workflows in computational science, as well as intelligent agents and evolvable systems.

This two-volume set is assembled following the 2008 International Conference on Computational Science and Its Applications, ICCSA 2008, a premium int- national event held in Perugia, Italy, from June 30 to July 3, 2008. The collection of fully refereed high-quality original works accepted as theme papers for presentation at ICCSA 2008 are published in this LNCS proceedings set. This outstanding collection complements the volume of workshop papers, traditionally published by IEEE Computer Society. The continuous support of computational science researchers has helped ICCSA to become a?rmly established forum in the area of scienti?c computing and the conference itself become a recurring scienti?c and professional meeting that cannot be given up. The computational science?eld, based on fundamental disciplines such as mathematics, physics, and chemistry, is?nding new computational approaches to foster the human progress in heterogeneous and fundamental areas such as aerospace and automotive industries, bioinformatics and nanotechnology studies, networks and grid computing, computational geometry and biometrics, computer education, virtual reality, and art. Due to the growing complexity of many ch- lenges in computational science, the use of sophisticated algorithms and eme- ing technologies is inevitable. Together, these far-reaching scienti?c areas help to shape this conference in the areas of state-of-the-art computational science research and applications, encompassing the facilitating theoretical foundations and the innovative applications of such results in other areas.

This two-volume set is assembled following the 2008 International Conference on Computational Science and Its Applications, ICCSA 2008, a premium int- national event held in Perugia, Italy, from June 30 to July 3, 2008. The collection of fully refereed high-quality original works accepted as theme papers for presentation at ICCSA 2008 are published in this LNCS proceedings set. This outstanding collection complements the volume of workshop papers, traditionally published by IEEE Computer Society. The continuous support of computational science researchers has helped ICCSA to become a?rmly established forum in the area of scienti?c computing and the conference itself become a recurring scienti?c and professional meeting that cannot be given up. The computational science?eld, based on fundamental disciplines such as mathematics, physics, and chemistry, is?nding new computational approaches to foster the human progress in heterogeneous and fundamental areas such as aerospace and automotive industries, bioinformatics and nanotechnology studies, networks and grid computing, computational geometry and biometrics, computer education, virtual reality, and art. Due to the growing complexity of many ch- lenges in computational science, the use of sophisticated algorithms and eme- ing technologies is inevitable. Together, these far-reaching scienti?c areas help to shape this conference in the areas of state-of-the-art computational science research and applications, encompassing the facilitating theoretical foundations and the innovative applications of such results in other areas.

This is Volume II 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.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This twenty-seventh issue is a special issue with 13 selected papers from the Second Seminar on Quantitative Methods of Group Decision Making.

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

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

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

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. The papers cover a large volume of topics in computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. The papers cover a large volume of topics in computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. The papers cover a large volume of topics in computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007. The papers cover a large volume of topics in computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.

This?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006, held in Glasgow, UK, during May 8–11, 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental theore- cal research as well as endeavors in emerging?elds. Together, these far-reaching scienti?c areas contributed to shaping this conference in the realms of state-- the-art computational science researchand applications, encompassing the fac- itating theoretical foundations and the innovative applications of such results in other areas.

The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging?elds. Together, these far reaching scienti?c areas contribute to shape this Conference in the realms of state-of-the-art computational science research and applications, encompassing the facilitating theoretical foundations and the innovative applications of such results in other areas.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This twentieth issue contains 11 carefully selected and revised contributions.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This eighteenth issue contains 9 carefully selected and revised contributions.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This nineteenth issue contains 11 carefully selected and revised contributions.

“There is something fascinating about science. One gets such wholesale returns of conjecture out of such a tri?ing investment of fact. ” Mark Twain, Life on the Mississippi The challenges in succeeding with computational science are numerous and deeply a?ect all disciplines. NSF's 2006 Blue Ribbon Panel of Simulation-Based 1 Engineering Science (SBES) states ‘researchers and educators [agree]: com- tational and simulation engineering sciences are fundamental to the security and welfare of the United States... We must overcome di?culties inherent in multiscale modeling, the development of next-generation algorithms, and the design... of dynamic data-driven application systems... We must determine better ways to integrate data-intensive computing, visualization, and simulation. - portantly,wemustoverhauloureducationalsystemtofostertheinterdisciplinary study... The payo?sformeeting these challengesareprofound.'The International Conference on Computational Science 2009 (ICCS 2009)explored how com- tational sciences are not only advancing the traditional hard science disciplines, but also stretching beyond, with applications in the arts, humanities, media and all aspects of research. This interdisciplinary conference drew academic and industry leaders from a variety of?elds, including physics, astronomy, mat- matics,music,digitalmedia,biologyandengineering. Theconferencealsohosted computer and computational scientists who are designing and building the - ber infrastructure necessary for next-generation computing. Discussions focused on innovative ways to collaborate and how computational science is changing the future of research. ICCS 2009: ‘Compute. Discover. Innovate.'was hosted by the Center for Computation and Technology at Louisiana State University in Baton Rouge.

“There is something fascinating about science. One gets such wholesale returns of conjecture out of such a tri?ing investment of fact. ” Mark Twain, Life on the Mississippi The challenges in succeeding with computational science are numerous and deeply a?ect all disciplines. NSF's 2006 Blue Ribbon Panel of Simulation-Based 1 Engineering Science (SBES) states ‘researchers and educators [agree]: com- tational and simulation engineering sciences are fundamental to the security and welfare of the United States... We must overcome di?culties inherent in multiscale modeling, the development of next-generation algorithms, and the design... of dynamic data-driven application systems... We must determine better ways to integrate data-intensive computing, visualization, and simulation. - portantly,wemustoverhauloureducationalsystemtofostertheinterdisciplinary study... The payo?sformeeting these challengesareprofound.'The International Conference on Computational Science 2009 (ICCS 2009)explored how com- tational sciences are not only advancing the traditional hard science disciplines, but also stretching beyond, with applications in the arts, humanities, media and all aspects of research. This interdisciplinary conference drew academic and industry leaders from a variety of?elds, including physics, astronomy, mat- matics,music,digitalmedia,biologyandengineering. Theconferencealsohosted computer and computational scientists who are designing and building the - ber infrastructure necessary for next-generation computing. Discussions focused on innovative ways to collaborate and how computational science is changing the future of research. ICCS 2009: ‘Compute. Discover. Innovate.'was hosted by the Center for Computation and Technology at Louisiana State University in Baton Rouge.