Search

This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015. The 5 revised full papers presented together with one short tool paper and one invited lecture were carefully reviewed and selected from 13 submissions. The workshop contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage, thus providing an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures.

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Context-Aware Systems and Applications, ICCASA 2015, held in Vung Tau, Vietnam, in November 2015. The 44 revised full papers presented were carefully selected and reviewed from over 100 submissions. The papers cover a wide spectrum of issues in the area of context-aware systems (CAS) and context-based recommendation systems. CAS is characterized by its self- facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection and so on whose context awareness used to dynamically control computing and networking functions. The overall goal of CAS is to realize nature-inspired autonomic systems that can manage themselves without direct human interventions.

This book presents two main sets of paper-based analytical systems. The first set is a platform for the analysis of glucose, cholesterol and uric acid in biological samples, and the second set is a cutting-edge electronic tongue system for the analysis of beverages (mineral water, beer, wine). This thesis also provides an extensive review of 33 methods of enzyme immobilization on paper which have been evaluated to enhance the storage stability of the proposed system for biomarker detection. From a practical perspective, this thesis covers a diverse set of topics related to paper-based sensing, including colorimetric and electrochemical detection methods, different sets of architecture (spot-tests, lateral and tangential flow assays), methods of fabrication (wax printing, cutting, impregnation with polymers), measurements in stationary and flow conditions as well computer modeling of proposed systems and sophisticated data analysis using chemometric techniques. This book is useful for PhD students working in this or a related field who require detailed information about methodology and background to this research.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Information Security and Cryptology, ICISC 2015, held in Seoul, South Korea, in November 2015. The 23 revised full papers presented were carefully selected from 84 submissions during two rounds of reviewing and improvement. The papers provide the latest results in research, development and applications in the field of information security and cryptology. They are grouped around the following topics: digital signatures; public-key cryptography; block cipher cryptanalysis; elliptic curve cryptography; protocols; security; side-channel attacks.

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Information and Communications Security, ICISC 2015, held in Beijing, China, in December 2015. The 24 revised full papers and 19 short papers presented were carefully selected from 148 submissions. The papers provide the latest results in research and development in the field of information security and applied cryptology.

This book constitutes the revised selected papers of the 10th International Workshop on Data Privacy Management, DPM 2015, and the 4th International Workshop on Quantitative Aspects in Security Assurance, QASA 2015, held in Vienna, Austria, in September 2015, co-located with the 20th European Symposium on Research in Computer Security, ESORICS 2015. In the DPM 2015 workshop edition, 39 submissions were received. In the end, 8 full papers, accompanied by 6 short papers, 2 position papers and 1 keynote were presented in this volume. The QASA workshop series responds to the increasing demand for techniques to deal with quantitative aspects of security assurance at several levels of the development life-cycle of systems and services, from requirements elicitation to run-time operation and maintenance. QASA 2015 received 11 submissions, of which 4 papers are presented in this volume as well.

The book provides a collection of selected papers presented to the third International Conference on Photonics, Optics and Laser Technology PHOTOPTICS 2015, covering the three main conference scientific areas of "Optics", "Photonics" and "Lasers". The selected papers, in two classes full and short, result from a double blind review carried out by the conference program committee members which are highly qualified experts in conference topic areas.

The present book includes a set of selected extended papers from the sixth International Joint Conference on Computational Intelligence (IJCCI 2014), held in Rome, Italy, from 22 to 24 October 2014. The conference was composed by three co-located conferences: The International Conference on Evolutionary Computation Theory and Applications (ECTA), the International Conference on Fuzzy Computation Theory and Applications (FCTA), and the International Conference on Neural Computation Theory and Applications (NCTA). Recent progresses in scientific developments and applications in these three areas are reported in this book. IJCCI received 210 submissions, from 51 countries, in all continents. After a double blind paper review performed by the Program Committee, 15% were accepted as full papers and thus selected for oral presentation. Additional papers were accepted as short papers and posters. A further selection was made after the Conference, based also on the assessment of presentation quality and audience interest, so that this book includes the extended and revised versions of the very best papers of IJCCI 2014. Commitment to high quality standards is a major concern of IJCCI that will be maintained in the next editions, considering not only the stringent paper acceptance ratios but also the quality of the program committee, keynote lectures, participation level and logistics.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2015, held in Patras, Greece, in September 2015 in conjunction with ALGO 2015. The 13 revised full papers presented together with 2 tutorial papers were carefully reviewed and selected from 37 initial submissions. They cover a wide range of topics in two main tracks: algorithmic aspects of large-scale data stores, and software tools and distributed architectures for cloud-based data management.

The present book includes a set of selected extended papers from the 11th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2014), held in Vienna, Austria, from 1 to 3 September 2014. The conference brought together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics. Four simultaneous tracks will be held, covering Intelligent Control Systems, Optimization, Robotics, Automation, Signal Processing, Sensors, Systems Modelling and Control, and Industrial Engineering, Production and Management. Informatics applications are pervasive in many areas of Control, Automation and Robotics. ICINCO 2014 received 301 submissions, from 49 countries, in all continents. After a double blind paper review performed by the Program Committee, 20% were accepted as full papers and thus selected for oral presentation. Additional papers were accepted as short papers and posters. A further selection was made after the Conference, based also on the assessment of presentation quality and audience interest, so that this book includes the extended and revised versions of the very best papers of ICINCO 2014. Commitment to high quality standards is a major concern of ICINCO that will be maintained in the next editions, considering not only the stringent paper acceptance ratios but also the quality of the program committee, keynote lectures, participation level and logistics.

This volume presents some of the most influential papers published by Rabi N. Bhattacharya, along with commentaries from international experts, demonstrating his knowledge, insight, and influence in the field of probability and its applications. For more than three decades, Bhattacharya has made significant contributions in areas ranging from theoretical statistics via analytical probability theory, Markov processes, and random dynamics to applied topics in statistics, economics, and geophysics. Selected reprints of Bhattacharya's papers are divided into three sections: Modes of Approximation, Large Times for Markov Processes, and Stochastic Foundations in Applied Sciences. The accompanying articles by the contributing authors not only help to position his work in the context of other achievements, but also provide a unique assessment of the state of their individual fields, both historically and for the next generation of researchers. Rabi N. Bhattacharya: Selected Papers will be a valuable resource for young researchers entering the diverse areas of study to which Bhattacharya has contributed. Established researchers will also appreciate this work as an account of both past and present developments and challenges for the future.

The 9 papers presented in this book are revised and significantly extended versions of papers submitted to three related workshops: The 5th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2014, and the First International Workshop on Machine Learning for Urban Sensor Data, SenseML 2014, which were held on September 15, 2014, in conjunction with the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2014) in Nancy, France; and the 5th International Workshop on Modeling Social Media (MSM 2014) that was held on April 8, 2014 in conjunction with ACM WWW in Seoul, Korea.

The present book includes a set of selected extended papers from the fifth International Joint Conference on Computational Intelligence (IJCCI 2013), held in Vilamoura, Algarve, Portugal, from 20 to 22 September 2013. The conference was composed by three co-located conferences: The International Conference on Evolutionary Computation Theory and Applications (ECTA), the International Conference on Fuzzy Computation Theory and Applications (FCTA), and the International Conference on Neural Computation Theory and Applications (NCTA). Recent progresses in scientific developments and applications in these three areas are reported in this book. IJCCI received 111 submissions, from 30 countries, in all continents. After a double blind paper review performed by the Program Committee, only 24 submissions were accepted as full papers and thus selected for oral presentation, leading to a full paper acceptance ratio of 22%. Additional papers were accepted as short papers and posters. A further selection was made after the Conference, based also on the assessment of presentation quality and audience interest, so that this book includes the extended and revised versions of the very best papers of IJCCI 2013. Commitment to high quality standards is a major concern of IJCCI that will be maintained in the next editions, considering not only the stringent paper acceptance ratios but also the quality of the program committee, keynote lectures, participation level and logistics.

This book constitutes the thoroughly revised selected papers of the 6th workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware, BPOE 2015, held in Kohala Coast, HI, USA, in August/September 2015 as satellite event of VLDB 2015, the 41st International Conference on Very Large Data Bases. The 8 papers presented were carefully reviewed and selected from 10 submissions. The workshop focuses on architecture and system support for big data systems, aiming at bringing researchers and practitioners from data management, architecture, and systems research communities together to discuss the research issues at the intersection of these areas. This book also invites three papers from several industrial partners, including two papers describing tools used in system benchmarking and monitoring and one paper discussing principles and methodologies in existing big data benchmarks.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th Pacific Rim Symposium on Image and Video Technology, PSIVT 2015, held in Auckland, New Zealand, in November 2015. The total of 61 revised papers was carefully reviewed and selected from 133 submissions. The papers are organized in topical sections on color and motion, image/video coding and transmission, computational photography and arts, computer vision and applications, image segmentation and classification, video surveillance, biomedical image processing and analysis, object and pattern recognition, computer vision and pattern recognition, image/video processing and analysis, and pattern recognition.

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.

This collection of the selected papers presented to the Second International Conference on Photonics, Optics and laser technology PHOTOPTICS 2014 covers the three main conference scientific areas of "Optics", "Photonics" and "Lasers". The selected papers, in two classes full and short, result from a double blind review carried out by conference Program Committee members who are highly qualified experts in the conference topic areas.

This volume consists of a number of selected papers that were presented at the 9th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2014) in Limassol, Cyprus, after they were substantially revised and extended. The 27 regular papers and 19 short papers included in this proceedings cover all aspects of knowledge management, knowledge engineering, intelligent information systems, and creativity in an information technology context, including computational creativity and its cognitive and collaborative aspects.

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015. The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and industrial applications, and formal frameworks.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Foundations and Practice of Security, FPS 2015, held in Clermont-Ferrand, France, in October 2015. The 12 revised full papers presented together with 8 short papers and 2 keynote talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on RFID, sensors and secure computation; security policies and biometrics; evaluation of protocols and obfuscation security; spam emails, botnets and malware.

This book presents two main sets of paper-based analytical systems. The first set is a platform for the analysis of glucose, cholesterol and uric acid in biological samples, and the second set is a cutting-edge electronic tongue system for the analysis of beverages (mineral water, beer, wine). This thesis also provides an extensive review of 33 methods of enzyme immobilization on paper which have been evaluated to enhance the storage stability of the proposed system for biomarker detection. From a practical perspective, this thesis covers a diverse set of topics related to paper-based sensing, including colorimetric and electrochemical detection methods, different sets of architecture (spot-tests, lateral and tangential flow assays), methods of fabrication (wax printing, cutting, impregnation with polymers), measurements in stationary and flow conditions as well computer modeling of proposed systems and sophisticated data analysis using chemometric techniques. This book is useful for PhD students working in this or a related field who require detailed information about methodology and background to this research.

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Context-Aware Systems and Applications, ICCASA 2015, held in Vung Tau, Vietnam, in November 2015. The 44 revised full papers presented were carefully selected and reviewed from over 100 submissions. The papers cover a wide spectrum of issues in the area of context-aware systems (CAS) and context-based recommendation systems. CAS is characterized by its self- facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection and so on whose context awareness used to dynamically control computing and networking functions. The overall goal of CAS is to realize nature-inspired autonomic systems that can manage themselves without direct human interventions.

This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015. The 5 revised full papers presented together with one short tool paper and one invited lecture were carefully reviewed and selected from 13 submissions. The workshop contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage, thus providing an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures.

This book constitutes the thoroughly refereed proceedings of the Fourth International Conference on Data Technologies and Applications, DATA 2015, held in Colmar, France, in July 2015. The 9 revised full papers were carefully reviewed and selected from 70 submissions. The papers deal with the following topics: databases, data warehousing, data mining, data management, data security, knowledge and information systems and technologies; advanced application of data.

This book constitutes the revised selected papers of the 10th International Workshop on Data Privacy Management, DPM 2015, and the 4th International Workshop on Quantitative Aspects in Security Assurance, QASA 2015, held in Vienna, Austria, in September 2015, co-located with the 20th European Symposium on Research in Computer Security, ESORICS 2015. In the DPM 2015 workshop edition, 39 submissions were received. In the end, 8 full papers, accompanied by 6 short papers, 2 position papers and 1 keynote were presented in this volume. The QASA workshop series responds to the increasing demand for techniques to deal with quantitative aspects of security assurance at several levels of the development life-cycle of systems and services, from requirements elicitation to run-time operation and maintenance. QASA 2015 received 11 submissions, of which 4 papers are presented in this volume as well.

This book constitutes the refereed proceedings of the 12th International Joint Conference on E-Business and Telecommunications, ICETE 2015, held in Colmar, France, in July 2015. ICETE is a joint international conference integrating four major areas of knowledge that are divided into six corresponding conferences: International Conference on Data Communication Networking, DCNET; International Conference on E-Business, ICE-B; International Conference on Optical Communication Systems, OPTICS; International Conference on Security and Cryptography, SECRYPT; International Conference on Wireless Information Systems, WINSYS; and International Conference on Signal Processing and Multimedia, SIGMAP. The 23 full papers presented together with an invited paper in this volume were carefully reviewed and selected from 218 submissions. The papers cover the following key areas of e-business and telecommunications: data communication networking; e-business; optical communication systems; security and cryptography; signal processing and multimedia applications; wireless information networks and systems.

The present book includes a set of selected extended papers from the sixth International Joint Conference on Computational Intelligence (IJCCI 2014), held in Rome, Italy, from 22 to 24 October 2014. The conference was composed by three co-located conferences: The International Conference on Evolutionary Computation Theory and Applications (ECTA), the International Conference on Fuzzy Computation Theory and Applications (FCTA), and the International Conference on Neural Computation Theory and Applications (NCTA). Recent progresses in scientific developments and applications in these three areas are reported in this book. IJCCI received 210 submissions, from 51 countries, in all continents. After a double blind paper review performed by the Program Committee, 15% were accepted as full papers and thus selected for oral presentation. Additional papers were accepted as short papers and posters. A further selection was made after the Conference, based also on the assessment of presentation quality and audience interest, so that this book includes the extended and revised versions of the very best papers of IJCCI 2014. Commitment to high quality standards is a major concern of IJCCI that will be maintained in the next editions, considering not only the stringent paper acceptance ratios but also the quality of the program committee, keynote lectures, participation level and logistics.

The book provides a collection of selected papers presented to the third International Conference on Photonics, Optics and Laser Technology PHOTOPTICS 2015, covering the three main conference scientific areas of "Optics", "Photonics" and "Lasers". The selected papers, in two classes full and short, result from a double blind review carried out by the conference program committee members which are highly qualified experts in conference topic areas.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2015, held in Patras, Greece, in September 2015 in conjunction with ALGO 2015. The 13 revised full papers presented together with 2 tutorial papers were carefully reviewed and selected from 37 initial submissions. They cover a wide range of topics in two main tracks: algorithmic aspects of large-scale data stores, and software tools and distributed architectures for cloud-based data management.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Quantum Interaction, QI 2015, held in Filzbach, Switzerland, in July 2015. The 20 papers together with 2 invited keynotes presented in this book were carefully selected from 27 submissions. Quantum Interaction has developed into an emerging interdisciplinary area of science combining research topics in mathematics, physics, psychology, economics, cognitive science, and computer science.

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference for Smart Health, ICSH 2015, held in Phoenix, AZ, USA, in November 2015. The 33 papers presented together were carefully reviewed and selected from 43 submissions. The conference focused on topics and issues including medical monitoring and information extraction, clinical and medical data mining, health data analysis and management, big data and smart health, and healthcare intelligent systems and clinical practice.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference for Smart Health, ICSH 2015, held in Phoenix, AZ, USA, in November 2015. The 33 papers presented together were carefully reviewed and selected from 43 submissions. The conference focused on topics and issues including medical monitoring and information extraction, clinical and medical data mining, health data analysis and management, big data and smart health, and healthcare intelligent systems and clinical practice.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Quantum Interaction, QI 2015, held in Filzbach, Switzerland, in July 2015. The 20 papers together with 2 invited keynotes presented in this book were carefully selected from 27 submissions. Quantum Interaction has developed into an emerging interdisciplinary area of science combining research topics in mathematics, physics, psychology, economics, cognitive science, and computer science.

This book constitutes the refereed proceedings of the First International Rapid Mashup Challenge, RMC 2015, held on June 23, 2015, in Rotterdam, The Netherlands, in conjunction with the 15th International Conference on Web Engineering, ICWE 2015. The 2015 edition of the challenge is the first installment of a series of challenges that aim to engage researchers and practitioners in a competition for the best mashup approach. The 6 thoroughly reviewed contributions contained in this volume are extended versions of the initial proposals that served the authors to express their interest to participate in the challenge. The initial proposals have been used by the challenge organizers to select participants based on the interestingness and maturity of the proposals.