This book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015. The 18 full papers and 9 short papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as modeling and meta modeling; ontology-bas…
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and ar…
This volume is a comprehensive collection of extended contributions from the fourth international symposium on Modeling and Implementing Complex Systems (MICS’2106) organized into four main topics: Networking and Cloud Computing, Software Engineering and Formal Methods, Intelligent and Information Systems, and Algorithms and Complexity. This book presents recent advances related to theory and…
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.The 25 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 94 submissions. They are organized in topical sections named: invited p…
In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such so-called model-integrating software exploits all advantages of models: models implicitly support a good separation of concerns, they are self-documenting and thus improve understandability and mainta…
This book constitutes the refereed proceedings of the 12th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2015, held in Rome, Italy, in August 2015. The 17 full papers and 3 short papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as mobile services and applications; usability and visu…
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.The 10 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 88 submissions. They are organized in topical sections named: invited…
The volume examines complex intersections of environmental conditions, geopolitical tensions and local innovative reactions characterising ‘the Arctic’ in the early twenty-first century. What happens in the region (such as permafrost thaw or methane release) not only sweeps rapidly through local ecosystems but also has profound global implications. Bringing together a unique combination of …
Climate change is a slowly advancing crisis sweeping over the planet and affecting different habitats in strikingly diverse ways. While nations have signed treaties and implemented policies, most actual climate change assessments, adaptations, and countermeasures take place at the local level. People are responding by adjusting their practices, livelihoods, and cultures, protesting and migratin…
While it is widely acknowledged that climate change is among the greatest global challenges of our times, it has local implications too. This volume forefronts these local issues, giving anthropology a voice in this great debate, which is otherwise dominated by natural scientists and policy makers. It shows what an ethnographic focus can offer in furthering our understanding of the lived realit…