This volume constitutes the refereed post-conference proceedings of the Third International Conference on the History and Philosophy of Computing, held in Pisa, Italy in October 2015.
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.
This book constitutes the refereed proceedings of the SIGSAND/PLAIS EuroSymposium 2016 titled Information Systems: Development, Research, Applications, Education, held in Gdansk and Sopot, Poland, on September 29, 2016.
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016.
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015.
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.
The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today's agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks.
This book constitutes the refereed proceedings of the 13th European Workshop on Computer Performance Engineering, EPEW 2016, held in Chios, Greece, in October 2016.
This book constitutes the refereed proceedings of the 345h International Conference on Conceptual Modeling, ER 2016, held in Gifu, Japan, in November 2016.
This book constitutes the proceedings of the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016.
This book constitutes the refereed proceedings from the Third International Workshop on Graphical Models for Security, GraMSec 2016, held in Lisbon, Portugal, in June 2016.
This book constitutes the refereed proceedings of the 22nd International Conference on Information and Software Technologies, ICIST 2016, held in Druskininkai, Lithuania, in October 2016.
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Empathic Computing, IWEC 2014, co-loacted with PRICAI 2014, held in Gold Coast, QLD, Australia, in December 2014, as well as the 6th International Workshop on Empathic Computing, IWEC 2015, and the 15th Workshop on Computational Models of Natural Argument, CMNA XV, both co-located with PRIMA 2015, held in Bertinoro, Italy, in October 2015.
This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016.
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.
This book constitutes the thoroughly refereed post-conference proceedings of theFirst International Workshop on Usability and Accessibility focused RequirementsEngineering, UsARE 2012, held in Zurich, Switzerland, in June 2012 in conjunctionwith ICSE 2012, the 34th International Conference on Software Engineering, and theSecond International Workshop, UsARE 2014, held in Karlskrona, Sweden, in August2014, in the course of RE 2014, the 22nd International Requirements EngineeringConference.
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.
This book constitutes the proceedings of the 14th German Conference on Multiagent System Technologies, MATES 2016, held in Klagenfurt, Austria, in September 2016.
This book explores the technological advances and social interactions between interactive spaces, surfaces and devices, aiming to provide new insights into emerging social protocols that arise from the experimentation and long-term usage of interactive surfaces.
This book constitutes the refereed proceedings oft he 19th International Symposium on Research in Attacks, Intrusions, and Defenses, RAID 2016, held in Evry, France, in September 2016.
This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almeria, Spain, in September 2016.
This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016.
This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016.
This book constitutes the proceedings of the 15th International Conference on Perspectives in Business Informatics Research, BIR 2016, held in Prague, Czech Republic, in September 2016.
This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016.
This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes.
This book constitutes the refereed proceedings of the 7th International Conference on Computational Logistics, ICCL 2016, held in Lisbon, Portugal, in September 2016.
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.
This book constitutes the refereed proceedings of the 22nd International Conference on Collaboration and Technology, CRIWG 2016, held in Kanazawa, Japan, in September 2016.
The objective of this book is to introduce the basic concepts of big data computing and then to describe the total solution of big data problems using HPCC, an open-source computing platform.
This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, held in Vienna, Austria, in September 2016.
This book constitutes the refereed proceedings of the 13th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2016, held in Porto, Portugal, in September 2016 in conjunction with DEXA 2016.
This book presents a systematic model-based approach for software architecture according to three complementary viewpoints: structure, behavior, and execution.
This book constitutes the refereed proceedings of the 13th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2016, held in Vienna, Austria, in August 2016.
This volume provides a comprehensive state of the art overview of a series of advanced trends and concepts that have recently been proposed in the area of green information technologies engineering as well as of design and development methodologies for models and complex systems architectures and their intelligent components.
This book constitutes the refereed proceedings of the 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, held in Cardiff, UK, in August 2016.
This book contains the refereed proceedings of the 7th Scandinavian Conference on Information Systems, SCIS 2016, as well as of the IFIP Working Group 8.
This book constitutes the refereed proceedings of the 12th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2015, held in Cluj-Napoca, Romania, in September 2015.
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.