Search results: Found 8

Listing 1 - 8 of 8
Sort by
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU

Author:
Book Series: SpringerBriefs in Global Understanding ISSN: 2509-7784 ISBN: 9783319454702 9783319454719 Year: Pages: 77 DOI: 10.1007/978-3-319-45471-9 Language: English
Publisher: Springer Nature
Subject: Zoology
Added to DOAB on : 2017-03-08 13:57:07
License:

Loading...
Export citation

Choose an application

Abstract

This book illustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies in developing nations (Sierra Leone and Papua New Guinea) and developed nations. Growing powers of e-citizenship can help build sustainable futures. This small volume provides a collection of examples and ideas from which the authors hope will help build a wider resource. Understanding how to link everyday lives with global networks in the digital world in ways that add benefit for the world’s people, and the health of the planet, is an ongoing project.IYGU recognises the integral roles of networking and communication systems, as well as interactions between people, near and far, as fundamental for building better futures. The global penetration of digital devices means everyday life, present and future, is inextricably linked with information technologies.

Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

Authors: --- ---
Book Series: Programming and Software Engineering ISSN: 0302-9743 ISBN: 9783319475899 9783319475905 Year: Volume: 10099 Pages: 257 DOI: 10.1007/978-3-319-47590-5 Language: English
Publisher: Springer Nature
Subject: General and Civil Engineering --- Electrical and Nuclear Engineering --- Computer Science --- Media and communication
Added to DOAB on : 2017-03-08 15:25:05
License:

Loading...
Export citation

Choose an application

Abstract

Technical Systems-of-Systems (SoS) – in the form of networked, independent constituent computing systems temporarily collaborating to achieve a well-defined objective – form the backbone of most of today’s infrastructure. The energy grid, most transportation systems, the global banking industry, the water-supply system, the military equipment, many embedded systems, and a great number more, strongly depend on systems-of-systems. The correct operation and continuous availability of these underlying systems-of-systems are fundamental for the functioning of our modern society.The 8 papers presented in this book document the main insights on Cyber-Physical System of Systems (CPSoSs) that were gained during the work in the FP7-610535 European Research Project AMADEOS (acronym for Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems). It is the objective of this book to present, in a single consistent body, the foundational concepts and their relationships. These form a conceptual basis for the description and understanding of SoSs and go deeper in what we consider the characterizing and distinguishing elements of SoSs: time, emergence, evolution and dynamicity.

Anti-fragile ICT Systems

Author:
Book Series: Simula SpringerBriefs on Computing ISBN: 9783319300689 9783319300702 Year: Volume: 1 Pages: 151 DOI: 10.1007/978-3-319-30070-2 Language: English
Publisher: Springer Nature Grant: Simula Research Laboratory
Subject: General and Civil Engineering --- Electrical and Nuclear Engineering --- Computer Science --- Media and communication --- Transportation --- Manufactures
Added to DOAB on : 2016-04-25 16:55:27
License:

Loading...
Export citation

Choose an application

Abstract

This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their stakeholders as complex adaptive systems and argues that traditional risk analyses cannot predict all future incidents with major impacts. To avoid unacceptable events, it is necessary to establish and operate anti-fragile ICT systems that limit the impact of all incidents, and which learn from small-impact incidents how to function increasingly well in changing environments.The book applies four design principles and one operational principle to achieve anti-fragility for different classes of incidents. It discusses how systems can achieve high availability, prevent malware epidemics, and detect anomalies. Analyses of Netflix’s media streaming solution, Norwegian telecom infrastructures, e-government platforms, and Numenta’s anomaly detection software show that cloud computing is essential to achieving anti-fragility for classes of events with negative impacts.

Advances in Intelligent Data Analysis XVIII

Authors: --- ---
Book Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI ISBN: 9783030445843 Year: Pages: 588 DOI: 10.1007/978-3-030-44584-3 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:29:53
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020. The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over performance: a solid motivation can be as convincing as exhaustive empirical evaluation.

High Performance Computing

Authors: --- --- ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030343569 Year: Pages: 659 DOI: 10.1007/978-3-030-34356-9 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:29
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the refereed post-conference proceedings of 13 workshops held at the 34th International ISC High Performance 2019 Conference, in Frankfurt, Germany, in June 2019: HPC I/O in the Data Center (HPC-IODC), Workshop on Performance & Scalability of Storage Systems (WOPSSS), Workshop on Performance & Scalability of Storage Systems (WOPSSS), 13th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '18), 3rd International Workshop on In Situ Visualization: Introduction and Applications, ExaComm: Fourth International Workshop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds at Extreme Scale, International Workshop on OpenPOWER for HPC (IWOPH18), IXPUG Workshop: Many-core Computing on Intel, Processors: Applications, Performance and Best-Practice Solutions, Workshop on Sustainable Ultrascale Computing Systems, Approximate and Transprecision Computing on Emerging Technologies (ATCET), First Workshop on the Convergence of Large Scale Simulation and Artificial Intelligence, 3rd Workshop for Open Source Supercomputing (OpenSuCo), First Workshop on Interactive High-Performance Computing, Workshop on Performance Portable Programming Models for Accelerators (P^3MA). The 48 full papers included in this volume were carefully reviewed and selected. They cover all aspects of research, development, and application of large-scale, high performance experimental and commercial systems. Topics include HPC computer architecture and hardware; programming models, system software, and applications; solutions for heterogeneity, reliability, power efficiency of systems; virtualization and containerized environments; big data and cloud computing; and artificial intelligence.

Programming Languages and Systems

Author:
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030449148 Year: Pages: 772 DOI: 10.1007/978-3-030-44914-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:21
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Supercomputing Frontiers

Author:
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030488420 Year: Pages: 139 DOI: 10.1007/978-3-030-48842-0 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-06-16 23:58:55
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.

Foundations of Software Science and Computation Structures

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452315 Year: Pages: 644 DOI: 10.1007/978-3-030-45231-5 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Computer Science
Added to DOAB on : 2020-05-14 09:30:23
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​

Listing 1 - 8 of 8
Sort by
Narrow your search

Publisher

Springer Nature (8)


License

CC by (6)

CC by-nc (1)

CC by-nc-nd (1)


Language

english (8)


Year
From To Submit

2020 (4)

2019 (1)

2016 (3)