Page 2
Page 2
Formal Modeling and Analysis of Timed Systems ; 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems.
Formal Methods for Open Object-Based Distributed Systems ; Vol. 3535 ; 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventh meeting ofthis conference series, whichis held roughly every year and a half, with the earlier events held respectively in Paris, Canterbury, Florence, Stanford, Twente, and Paris. The goal of the FMOOD Sseries of conferences is to bring together researchers whose work encompasses three important and related fields: - formal methods; - distributed systems; - object-based technology. Sucha convergenceis representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities, as represented by the conferences FORTE, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the pres- tation of research in the above-mentioned fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems.
Establishing The Foundation Of Collaborative Networks ; IFIP TC 5 Working Group 5.5 Eighth IFIP Working Conference on Virtual Enterprises September 10-12, 2007, Guimarães, Portugal
While today production and service provision constitute the main areas of application for Collaborative Networks (CNs) worldwide, during the last decade the paradigm is extending to many new application areas. These developments emphasize the need for establishing a sounder foundation for collaborative networks, namely in terms of theoretical principles and formal models, capturing the concepts, entities, behaviors, and operations of the CNs, and developing technology-independent infrastructure architectures, tools and methodologies. This book includ represent a comprehensive overview of recent advances in various domains and lines of research and development on collaborative networks. There is a special emphasis on the CN topics related to trust aspects, performance and value systems, VO breeding environments, VO creation, e-contracting, collaborative architectures and frameworks, professional virtual communities, interoperability issues, business benefits, and case studies and applications in industry and services.
Engineering human computer interaction and interactive systems ; Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results.
Electronic Government ; Vol. 4084 ; 5th International Conference, EGOV 2006, Krakow, Poland, September 4-8, 2006, Proceedings
Constitutes the refereed proceedings of the 5th International Conference on Electronic Government, EGOV 2006, held in Krakow, Poland. This book contains papers that are arranged in topical sections on research, review and outlook, participation and democracy, designing government services, legal dimensions in e-government, and more.
Electronic Government ; Vol. 3591 ; 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Electronic Government, EGOV 2005, held in Copenhagen, Denmark in August 2005. The 30 revised papers presented were carefully reviewed and selected from numerous submissions and assess the state of the art in e-government/e-governance and provide guidance for research, development and application of this emerging field. The papers are arranged in topical sections on challenges, performance, strategy, knowledge, and technology.
Electronic Government ; 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Electronic Government, EGOV 2008, held in Torino, Italy, in August/September 2008 within the DEXA 2008 conference cluster.
Electronic Government ; 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007, Proceedings
The volume includes information and technology to support and improve public policies and government operations, engage citizens, and provide comprehensive and timely government services”.
E-Government : Towards electronic democracy ; International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005, Proceedings
The TCGOV 2005 international conference on e-government was held at the Free University of Bozen-Bolzano during March 2–4, 2005. The conference was initiated by the working group “Towards Electronic Democracy” (TED) of the European Science Foundation and was jointly organized by the Free University ofBozen-Bolzano,theMunicipalityofBozen-Bolzano,theTEDWorkingGroup, and the IFIP Working Group 8.5. The conference addressed a large spectrum of issues that are relevant and have to be investigated for a successful transition from the traditional form of government to a new form known as e-government. The main focus was on the following topics: – improving citizen participation and policy making (e-democracy) – government application integration – semantic Web technologies for e-government – security aspects for e-government services Two sessions were dedicated to e-democracy, an emerging area within- government that seeks to enhance democratic processes and provide increased opportunities for individuals and communities to be involved in governmental decisions.
Do Smart Adaptive Systems Exist? : Best Practice for Selection and Combination of Intelligent Methods
This book is intended as a reference and a guide summarising and focusing on best practices when using intelligent techniques and building systems requiring a degree of adaptation and intelligence. Another attractive feature of the book is that it brings together experts from neural network, fuzzy, machine learning, evolutionary and hybrid systems communities who will provide their views on how these different intelligent technologies have contributed and will contribute to creation of smart adaptive systems of the future.
Distributed, High-Performance and Grid Computing in Computational Biology ; International Workshop, GCCB 2006, International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007, Proceedings
Modern computational biology and bioinformatics are characterized by large and complex structured data and by applications requiring considerable computing resources, such as processing units, storage elements and software programs. In addition, these disciplines are intrinsically geographically distributed in terms of their instruments, communities and computing resources. Tackling the computational challenges in computational biology and bioinformatics increasingly requires high-end and distributed computing infrastructures, systems and tools.
Digital cities III : Information technologies for social capital: Cross-cultural Perspectives ; 3rd international digital cities workshop, Amsterdam, The Netherlands, September 18-19, 2003, Revised Selected Papers
Digital cities constitutes a multidisciplinary field of research and development, where researchers, designers and developers of communityware interact and collaborate with social scientists studying the use and effects of these kinds of infrastructures and systems in their local application context. The field is rather young. After the diffusion of ICT in the world of organizations and companies, ICT entered everyday life. And this also influenced ICT research and development. The 1998 Workshop on Communityware and Social Interaction in Kyoto was an early meeting in which this emerging field was discussed.
Dependable computing - EDCC 2005 ; 5th European dependable computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year’s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe – who were active in research and education related to dependability created a – joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year’s conference was the ?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar- ?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability.
Databases, Information Systems, and Peer-to-Peer Computing ; International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2006, Revised Selected Papers
The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information systems, endowed with clearly specified and difierential capabilities to negotiate, bargain, coordinate and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, sci- tific or otherwise) and on the emergence and the formation of social communities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity and static and mobile architectures. Wireless connectivity combined with the increasingly small and powerful mobile devices and sensors poses new challenges as well as opp- tunities to the database community. Information becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, - stable networks with very severe constraints on the information management and processing capabilities.
Crime detection camera
This paper presents a comprehensive crime detection system that uses a combination of hardware and software to monitor homes and communities in real time. The system consists of a Raspberry Pi 4B, a Raspberry Pi Camera V2, a flame sensor, an MQ-6 gas sensor, and a microphone, which are all connected to a database management system powered by MySQL. The data collected from these devices is analyzed by machine learning algorithms to detect crimes, such as theft or robbery, as well as fires and gas leaks. The system also includes a mobile app, ‘Safe Home’ which provides live video monitoring and real-time notifications to users, and an employee dashboard to monitor all statistics and manage all implemented systems.
Computer supported cooperative work and social computing ; 15th CCF Conference, ChineseCSCW 2020, Shenzhen, China, November 7–9, 2020, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2020, held in Shenzhen, China, in November 2020. The 40 revised full papers and 15 revised short papers were carefully reviewed and selected from 137 submissions. The papers of this volume are organized in topical sections on: crowdsourcing, crowd intelligence, and crowd cooperative computing; domain-specific collaborative applications; collaborative mechanisms, models, approaches, algorithms, and systems; social media and online communities; and short papers.
Managing Cyber Threats : Issues, Approaches, and Challenges
Brings together the latest techniques for managing cyber threats, developed by some of the world’s leading experts in the area. The book includes broad surveys on a number of topics, as well as specific techniques. It provides an excellent reference point for researchers and practitioners in the government, academic, and industrial communities who want to understand the issues and challenges in this area of growing worldwide importance.
Making Grids Work ; Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece
Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments held at the Institute of Computer Science, Foundation for Research and Technology - Hellas in Crete, Greece, June 2007. This workshop brought together representatives of the academic and industrial communities performing Grid research in Europe. Organized within the context of the CoreGRID Network of Excellence, this workshop provided a forum for the presentation and exchange of views on the latest developments in Grid Technology research. This volume is the 7th in the series of CoreGRID books.
Knowledge Cartography : Software Tools and Mapping Techniques
The authors see mapping software as a set of visual tools for reading and writing in a networked age. In an information ocean, the primary challenge is to find meaningful patterns around which we can weave plausible narratives. Maps of concepts, discussions and arguments make the connections between ideas tangible and disputable.With 17 chapters from the leading researchers and practitioners, the reader will find the current state–of-the-art in the field. Part 1 focuses on educational applications in schools and universities, before Part 2 turns to applications in professional communities.
Communities and Technologies 2005 ; Proceedings of the Second Communities and Technologies Conference, Milano 2005
This book includes 23 papers dealing with the impact of modern information and communication technologies that support a wide variety of communities: local communities, virtual communities, and communities of practice, such as knowledge communities and scientific communities. The volume is the result of the second multidisciplinary "Communities and Technologies Conference", a major event in this emerging research field. The various chapters discuss how communities are affected by technologies, and how understanding of the way that communities function can be used in improving information systems design. This state of the art overview will be of interest to computer and information scientists, social scientists and practitioners alike.
