Bücher der Reihe Communications in Computer and Information Science

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

This book constitutes the refereed proceedings of the International Conference on Future Network Systems and Security, FNSS 2015, held in Paris, France, in June 2015. The 13 full papers presented were carefully reviewed and selected from 34 submissions.

This book constitutes the refereed proceedings of the International Symposium on Security in Computing and Communications, SSCC 2015, held in Kochi, India, in August 2015. The 36 revised full papers presented together with 13 short papers were carefully reviewed and selected from 157 submissions.

This book constitutes the refereed proceedings of the 10th International Conference on Global Security, Safety and Sustainability, ICGS3 2015, held in London, UK, in September 2015.

This volume constitutes the refereed proceedings of the 22st EuroSPI conference, held in Ankara, Turkey, in September/October 2015.The 18 revised papers presented together with 9 selected key notes and workshop papers were carefully reviewed and selected from 49 submissions.

This book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, in January 2014.

This book constitutes thoroughly revised and selected papers from the Second International Congress on Sports Science Research and Technology Support, icSPORTS 2014, held in Rome, Italy, in October 2014.

This book constitutes the thoroughly refereed proceedings of the9th International Joint Conference on Software Technologies, ICSOFT 2014, heldin Vienna, Austria, in August 2014. The 15revised full papers and 6 short papers presented were carefully reviewed andselected from 145 submissions.

Thisbook constitutes the thoroughly refereed proceedings of the secondInternational Workshop on ICTs for Improving Patients Rehabilitation ResearchTechniques, REHAB 2014, held in Oldenburg, Germany, in May 2014. The 26 revised full paperspresented were carefully reviewed and selected from 69 submissions.

This book constitutes the proceedings of the 14th InternationalConference on Mobile and Contextual Learning, mLearn 2015, held in a cruiseship leaving from and arriving to Venice, Italy, in October 2015.

This book constitutes the proceedings of the Fourth International Conference on Analysis of Images, Social Networks and Texts, AIST 2015, held in Yekaterinburg, Russia, in April 2015. The 24 full and 8 short papers were carefully reviewed and selected from 140 submissions.

This bookconstitutes the proceedings of the Second Latin American Conference on HighPerformance Computing, CARLA 2015, a joint conference of the High-PerformanceComputing Latin America Community, HPCLATAM, and the Conferencia LatinoAmericana de Computacion de Alto Rendimiento, CLCAR, held in Petropolis,Brazil, in August 2015.

This bookconstitutes extended papers from the Second International Conference onTechnology in Education, ICTE 2015, held in Hong Kong, China, in July 2015. They were organized in topical sections named: technology-enabledlearning; mobile learning and ubiquitous learning; open learning and onlinelearning;

This book constitutes the thoroughly refereed papers of the 4th National Conference of Social Media Processing, SMP 2015, held in Guangzhou, China, in November 2015. The 14 revised full papers and 9 short papers presented were carefully reviewed and selected from 105 submissions.

This book constitutes the refereed proceedings of the 6thInternational Conference on E-Democracy, E-Democracy 2015, held in Athens,Greece, in December 2015. The 13 revised full paperspresented together with 8 extended abstracts were carefully selected from 33submissions.

This bookconstitutes revised selected papers from the First International Conference onInformation Systems Security and Privacy, ICISSP 2015, held in Angers, France,in February 2015. The 12papers presented in this volume were carefully reviewed and selection from atotal of 56 submissions.

This book constitutes the thoroughly refereedproceedings of the International Conference on Communication Technologies forAgeing Well and e-Health, ICT4AgeingWell 2015, held in Lisbon, Portugal, in May2015. The 11 full papers and two invited papers presented were carefully reviewed andselected from 45 submissions.

Thisbook constitutes the refereed proceedings of the 18th International Conferenceon Computer Assisted Assessment, CAA 2015, held in Zeist, The Netherlands, inJune 2015. Topics covered include: automatic item generation, computeradapted testing, the use of multimedia in assessment, e-assessment policies.

This bookconstitutes the refereed proceedings of the Third European Conference onInformation Literacy, ECIL 2015, held in Tallinn, Estonia, in October 2015. The 61revised full papers presented were carefully reviewed and selected from 226submissions.

This bookconstitutes the refereed proceedings of the Second International Symposium onCyber Security, CSS 2015, held in Coeur d'Alene, ID, USA, in April 2015. The 9revised full papers presented were carefully reviewed and selected from 20papers.

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.

This bookconstitutes thoroughly revised and selected papers from the 10thInternational Joint Conference on Computer Vision, Imaging and ComputerGraphics Theory and Applications, VISIGRAPP 2015, held in Berlin, Germany, inMarch 2015. VISIGRAPP comprises GRAPP, International Conference on ComputerGraphics Theory and Applications;

This bookconstitutes the thoroughly refereed proceedings of the 10th International JointConference on Software Technologies, ICSOFT 2015, held in Colmar, France, inJuly 2015. The 23revised full papers presented were carefully reviewed and selected from 117submissions.

Thisbook constitutes the refereed proceedings of the 18th International Conferenceon Distributed and Computer and Communication Networks, DCCN 2015, held inMoscow, Russia, in October 2015. The 38 revised full papers presented were carefully reviewed andselected from 94 submissions.

This book constitutes the refereed proceedings of the 4th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2015, and the 6th Congress on Interactive Digital TV, CTVDI 2015, held in Palma de Mallorca, Spain, in October 2015.

This book constitutes the refereed proceedings of the seven workshops co-located with the 14th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2016, held in Sevilla, Spain, in June 2016.The 37 full papers presented were carefully reviewed and selected from 77 submissions.