Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Smart Cities and Smart Governance
This edited volume discusses smart cities and smart governance within the framework of the 22nd century sustainable city. Written by members of the Smart Cities Smart Government Research Practice Consortium (SCSGRPC), an international multidisciplinary consortium of researchers and practitioners devoted to studying smart governance, this book provides a foundation for global efforts to envision and prepare for the next generation city by advancing understanding of the nature of and need for novel policies, new administrative practices, and enabling technologies required to advance urban governance, governments, and infrastructure. The chapters focus on practical models and approaches, theoretical frameworks, policy models, emerging issues, questions and research problems, as well as including case studies from different parts of the world. A valuable addition to the body of knowledge on smartness in urban government, this book will be of use to researchers in the fields of public administration, political science, information science, and information systems, as well as policy makers and government officials working on implementing smart technology in their cities.
Network-Centric Collaboration and Supporting Frameworks
Collaborative Networks is a fast developing area, as shown by the already large number of diverse real-world implemented cases and the dynamism of its related involved research community. Being recognized as the most focused scientific and technical conference on Collaborative Networks, PRO-VE continues to offer the opportunity for presentation and discussion of both the latest research developments as well as the practical application case studies.
Conceptual Modeling for New Information Systems Technologies
The objective of the workshops associated with ER 2001, the 20th International Con- rence on Conceptual Modeling, was to give participants the opportunity to present and discuss emerging hot topics, thus adding new perspectives to conceptual modeling. This, the 20th ER conference, the ?rst of the 21st century, was also the ?rst one in Japan. The conference was held on November 27-30, 2001 at Yokohama National University with 192 participants from 31 countries. ER 2001 encompasses the entire spectrum of c- ceptual modeling, from theoretical aspects to implementations, including fundamentals, applications, and software engineering. In particular, ER 2001 emphasized e-business and reengineering...
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.
Proceedings of the International Conference EGOV-CeDEM-ePart 2018
EGOV-CeDEM-ePart 2018 represents the merge of the IFIP WG 8.5 Electronic Government (EGOV), the IFIP WG 8.5 IFIP Electronic Participation (ePart) and the Conference for E-Democracy and Open Government Conference (CeDEM). The EGOV-CeDEM-ePart proceedings bring together the essence of academic and practical knowledge on e-government, e-democracy and open government, and e-participation. The peer-reviewed ongoing research papers, project descriptions, reflections and viewpoints, workshop and panel proposals, posters, and the PhD colloquium papers found in these proceedings capture the newest developments, trends, tools and procedures, and demonstrate the many ways that these impact society, the polity, and the economy.
Electronic Participation
This book constitutes the proceedings of the 11th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2019, held in San Benedetto del Tronto, Italy, in September 2019, in conjunction with the 18th IFIP WG 8.5 IFIP International Conference on Electronic Government (EGOV 2019) and the International Conference for E-Democracy and Open Government Conference (CeDEM 2019). The 13 revised full papers presented were carefully reviewed and selected from 26 submissions. The papers are clustered under the following topical sections: eParticipation Developments; Digital Transformations; Crisis and Emergency Management; and User Perspectives.
Formal Methods at the Crossroads. From Panacea to Foundational Support
This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003. The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberer's life and work. The second part presents work done by members of UNU/IIST as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification. All in all, the book is a unique survey of the power and potential of formal methods in software engineering.
Virtual Organizations
The area of Virtual Organizations as a main component of the new discipline of Collaborative Networks has been the focus of research globally. The fast evolution of the information and communication technologies and in particular the so-called Internet technologies, also represents an important motivator for the emergence of new forms of collaboration. However, the research in many of these cases is highly fragmented, considering that each project is focused on solving specific problems. As such, there is no effective consolidation/harmonization among them in order to have an effective impact and facilitate the interaction among the involved experts. This book represents a contribution to the consolidation of the already vast amount of empirical knowledge and practical experience. A synthesis of results collected from the analysis of numerous projects and industry case studies is presented, with focus on: Principles and models, ICT infrastructures and tools, Implementation issues, and Case studies.
Pervasive Collaborative Networks
COLLABORATIVE NETWORKS Becoming a pervasive paradigm In recent years the area of collaborative networks is being consolidated as a new discipline (Camarinha-Matos, Afsarmanesh, 2005) that encompasses and gives more structured support to a large diversity of collaboration forms. In terms of applications, besides the “traditional” sectors represented by the advanced supply chains, virtual enterprises, virtual organizations, virtual teams, and their breading environments, new forms of collaborative structures are emerging in all sectors of the society. Examples can be found in e-government, intelligent transportation systems, collaborative virtual laboratories, agribusiness, elderly care, s...
Technological Innovation for Digitalization and Virtualization
This book constitutes the refereed proceedings of the 13th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2022, held in Caparica, Portugal, during June-July 2022. The 22 full papers presented were carefully reviewed and selected from 48 submissions. The papers present selected results produced in engineering doctoral programs and focus on technological innovation for industry and service systems. The papers are organized into the following topical sub-headings: Smart Systems Thinking; Cyber-physical Systems; health-related Digitalization; Electric Systems and Machines; Smart Devices; and Control and Digital Platforms.
