This informative text/reference highlights the potential of DataFlow computing in research requiring high speeds, low power requirements, and high precision, while also benefiting from a reduction in the size of the equipment.
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.
This book constitutes revised selected papers from the 8th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2017, held in Paris, France, in April 2017.
This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, France, in August 2017.
This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela, Spain, in August/September 2017.
This easy-to-follow textbook provides an exercise-driven guide to the use of the Discrete Event Systems Specification (DEVS) simulation modeling formalism and the System Entity Structure (SES) simulation model ontology supported with the latest advances in software architecture and design principles, methods, and tools for building and testing virtual Systems of Systems (SoS).
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.
This book constitutes the refereed proceedings of the 17th Industrial Conference on Advances in Data Mining, ICDM 2017, held in New York, NY, USA, in July 2017.
This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Monterey Workshop, held in Beijing, China, in Ocotber 2016.
This book constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference on High Performance Computing in Computational Science, VECPAR 2016, held in Porto, Portugal, in June 2016.
This book examines electric car sharing in cities from a variety of perspectives, from service design to simulation, from mathematical modeling to technology deployment, and from energy use improvement to the integration of different kinds of vehicle.
This book constitutes the refereed proceedings of the 13th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2016, held in Athens.
This book constitutes the refereed proceedings of the Second International Conference on Data Mining and Big Data, DMBD 2017, held in Fukuoka, Japan, in July/August 2017.
This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
Updated with new developments, ideas and thinking, as well as new tool descriptions, the fourth edition of this popular book is driven by practical experience from industry.
This book constitutes the tutorial lectures of the 6th European Business Intelligence and Big Data Summer School, eBISS 2016, held in Tours, France, in July 2016.
This book constitutes the refereed conference proceedings of the 12th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2016, held in Seoul, South Korea, in July 2016.
This book constitutes the proceedings of the 12th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2017, held in Guilin, China, in June 2017.
This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Computer Networks, CN 2017, held in Brunow, Poland, in June 2017.
This book constitutes the proceedings of the 17th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2017, held in Neuchatel, Switzerland, in June 2017.
This book constitutes the proceedings of the workshops of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France in August 2016.
This book constitutes the refereed proceedings of the 32nd International Conference, ISC High Performance 2017, held in Frankfurt, Germany, in June 2017.
This work presents and discusses the latest approaches and strategies for implementing Sustainability and Green IT into higher education and business environments.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2016, held in Aarhus, Denmark, in August 2016.
This book constitutes the proceedings of the 12th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, held in Toulouse, France, in May 2017.
This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.
This book describes an innovative approach to the interaction between humans and a smart environment; an attempt to get a smart home to understand intuitive, multi-modal, human-centred communication.
The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, collocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART.
The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, colocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART.
Cloud service benchmarking can provide important, sometimes surprising insights into the quality of services and leads to a more quality-driven design and engineering of complex software architectures that use such services.
This book constitutes the proceedings of the 30th International Conference on Architecture of Computing Systems, ARCS 2017, held in Vienna, Austria, in April 2017.
This practically-focused reference presents a comprehensive overview of the state of the art in Cloud Computing, and examines the potential for future Cloud and Cloud-related technologies to address specific industrial and research challenges.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th TPC Technology Conference, on Performance Evaluation and Benchmarking, TPCTC 2016, held in conjunction with the 41st International Conference on Very Large Databases (VLDB 2016) in New Delhi, India, in September 2016.
This book constitutes the proceedings of the 18th International Conference on Passive and Active Measurement, PAM 2017, held in Sydney, Australia, in March 2017.
This book provides an overview of the problems involved in engineering scalable, elastic, and cost-efficient cloud computing services and describes the CloudScale method - a description of rescuing tools and the required steps to exploit these tools.
This book constitutes the refereed post-conference proceedings of the 8th International Conference on Mobile Networks and Management, MONAMI 2016, held in Abu Dhabi, United Arab Emirates, in October 2016.
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.
This book constitutes the refereed proceedings of the 19th International Conference on Distributed and Computer and Communication Networks, DCCN 2016, held in Moscow, Russia, in November 2016.
