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.
This book constitutes the thoroughly refereedpost-conference proceedings of the First International Workshop on AlgorithmicAspects of Cloud Computing, ALGOCLOUD 2015, held in Patras, Greece, inSeptember 2015 in conjunction with ALGO 2015.
Distinguishingbetween tangible user interfaces (TUI) and tangible interactive systems (TISs),this book takes into account not only the user interfaces but also looks at howinteraction can be enabled by using digital information through the physicalenvironment.
This bookconstitutes the proceedings of the 22nd International Working Conference onRequirements Engineering Foundation for Software Quality, REFSQ 2016, held inGothenburg, Sweden, in March 2016.
This book is written for anyone who is interested in how a field of research evolves and the fundamental role of understanding uncertainties involved in different levels of analysis, ranging from macroscopic views to meso- and microscopic ones.
This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telc, Czech Republic, in October 2015.
Thisbook constitutes the thoroughly refereed post-conference proceedings of the 28thInternational Workshop on Languages and Compilers for Parallel Computing, LCPC2015, held in Raleigh, NC, USA, in September 2015.
This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.
This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Cloud Computing and Services Science, CLOSER 2015, held in Lisbon, Portugal, in May 2015.
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.
This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability.
This book constitutes the thoroughly refereedpost-conference proceedings of the Second International Workshop on AdaptiveResource Management and Scheduling for Cloud Computing, ARMS-CC 2015, held inConjunction with ACM Symposium on Principles of Distributed Computing, PODC2015, in Donostia-San Sebastian, Spain, in July 2015.
This book constitutes the refereed proceedings of theSecond International Conference on Cloud Computing and Big Data, CloudCom-Asia2015, held in Huangshan, China, in June 2015.
This bookconstitutes the refereed proceedings of the 12th International Conference andSchool of Network Science, NetSci-X 2016, held in Wroclaw, Poland, in January2016.
This booktreats the computational use of social concepts as the focal point for therealisation of a novel class of socio-technical systems, comprising smartgrids, public display environments, and grid computing.
This book presents and discusses the state of the art and future trends in software engineering education, with a focus on agile methods and their budgetary implications.
This book contains revisedpapers from the 17th International Conference on Enterprise Information Systems, ICEIS 2015, held in Barcelona, Spain, in April 2015.
This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niteroi, Brazil, in October 2015.
This book constitutes the refereed proceedings of theFirst International Rapid Mashup Challenge, RMC 2015, held on June 23, 2015, inRotterdam, The Netherlands, in conjunction with the 15th International Conferenceon Web Engineering, ICWE 2015.
This bookconstitutes revised selected papers from the International Conference onMembrane Computing, CMC 2015, held in Valencia, Spain, in August 2015.
This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Advances in Computer Games, ACG 2015, held in Leiden, The Netherlands, in July 2015.
This book presentshigh-quality original contributions on new software engineering models,approaches, methods, and tools and their evaluation in the context of defenceand security applications.
This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015, held in Angers, France, in February 2015.
This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.
This book constitutes the thoroughly refereedpost-conference proceedings of the 16th International Conference on InformationSecurity, ISC 2013, held in Dallas, Texas, in November 2013.
This bookconstitutes the refereed proceedings of the 4th International Symposium onLanguages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, inJune 2015.
These transactions publishresearch in computer-based methods of computational collective intelligence(CCI) and their applications in a wide range of fields such as the semanticWeb, social networks, and multi-agent systems.
This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015.
This book constitutes the thoroughly refereedpost-conference proceedings of 12 workshops held at the 21st InternationalConference on Parallel and Distributed Computing, Euro-Par 2015, in Vienna,Austria, in August 2015.
Thisbook constitutes the thoroughly refereed proceedings of the 9th InternationalConference on Evaluation of Novel Approaches to Software Engineering, ENASE 2014,held in Lisbon, Portugal, in April 2014.
This book constitutes the refereed proceedings of theWorkshops and Symposiums of the 15th International Conference on Algorithms andArchitectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China,in November 2015.
This bookconstitutes the refereed proceedings of the Second International Conference onSecurity Standardisation Research, SSR 2015, held in Tokyo, Japan, in December2015.
This fourvolume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedingsof the 15th International Conference on Algorithms and Architectures for ParallelProcessing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.
This fourvolume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedingsof the 15th International Conference on Algorithms and Architectures for ParallelProcessing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.
This fourvolume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedingsof the 15th International Conference on Algorithms and Architectures for ParallelProcessing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.
This volume presents the revised and peer reviewed contributions of the 'EPR Future 2014' conference held in Dornbirn/Austria on November 17-18th, 2014.
This book constitutes the refereed proceedings of the scientific trackof the 8th Software Quality Days Conference, SWQD 2016, held in Vienna,Austria, in January 2016.
This bookconstitutes the revised selected papers of the Third International Conferenceon Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015.
This book constitutes the refereed proceedings of the 16th International Conference on Product-Focused Software Process Improvement, PROFES 2015, held in Bolzano, Italy, in December 2015.
This book constitutes the refereed proceedings of the 4thInternational Conference on Theory and Practice of Natural Computing, TPNC2015, held in Mieres, Spain, in December 2015.