This volume contains the papers presented at the 6th International Conference on Distributed Computing and Internet Technology(ICDCIT 2010) held during February 15-17, 2010 in Bhubaneswar, India. The conference was organized by Kalinga Institute of Industrial Technology (KIIT) University, Bhubaneshwar, India, www.kiit.org, andco-organizedby the Center for ElectronicGovernance at United Nations University - International Institute for Software Technology (UNU-IIST-EGOV), Macao, www.egov.iist.unu.edu. InthetraditionoftheICDCITconferenceseries, ICDCIT2010welcomedp- sentations of research ideas and results in theory, methodology and applications of distributed computing and Internet technology. In addition, the conference emphasized that research in this area can play an important role in building a foundation for the development of e-Society Applications (e-Applications) and at the same time, that e-Applications can provide the relevance and context for such research. Establishing a connection between foundational and applied - searchin distributed systems and Internet technologywith softwareand services that enable e-Applications was a key feature of ICDCIT 2010. A total of 91 papers were submitted for ICDCIT 2010. Each paper was - viewedbyatleasttwomembersoftheProgramCommitteeoradditionalrefer

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses.

This book constitutes the refereed proceedings of the 8th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2016, held in Guimaraes, Portugal, in September 5-8, 2016. The 14 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers reflect completed multi-disciplinary research ranging from policy analysis and conceptual modeling to programming and visualization of simulation models. They are organized in four topical threads: theoretical foundations; critical reflections; implementations; policy formulation and modeling.

This book constitutes the refereed proceedings of the 15th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2016, held in Guimaraes, Portugal, in September 2016, in conjunction with the 8th International Conference on eParticipation, ePart 2016. The 24 revised full papers presented were carefully reviewed and selected from 87 submissions. The papers are clustered under the following topical sections: foundations; benchmarking and evaluation; information integration and governance; services; evaluation and public values; EGOV success and failure; governance; social media; engagement; processes; policy-making; trust, transparency and accountability; open government and big/open data; smart government/governance/cities.