Search results: Found 7

Listing 1 - 7 of 7
Sort by
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.

Vulnerability in Scandinavian Art and Culture

Authors: --- ---
ISBN: 9783030373825 Year: Pages: 324 DOI: 10.1007/978-3-030-37382-5 Language: English
Publisher: Springer Nature
Subject: Media and communication --- Arts in general --- Linguistics --- Languages and Literatures
Added to DOAB on : 2020-05-14 09:27:49
License:

Loading...
Export citation

Choose an application

Abstract

In this open access book, seventeen scholars discuss how contemporary Scandinavian art and media have become important arenas to articulate and stage various forms of vulnerability in the Scandinavian welfare states. How do discourses of privilege and vulnerability coexist and interact in Scandinavia? How do the Scandinavian countries respond to vulnerability given increased migration? How is vulnerability distributed in terms of margin and centre, normality and deviance? And how can vulnerability be used to move audiences towards each other and accomplish change? We address these questions in an interdisciplinary study that brings examples from celebrated and provocative fiction and documentary films, TV-series, reality TV, art installations, design, literature, graphic art, radio podcasts and campaigns on social media.

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Authors: --- ---
ISBN: 9783030439460 Year: Pages: 285 DOI: 10.1007/978-3-030-43946-0 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Agriculture (General)
Added to DOAB on : 2020-05-14 09:30:09
License:

Loading...
Export citation

Choose an application

Abstract

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532918 Year: Pages: 683 DOI: 10.1007/978-3-030-53291-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:38
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Semantic Systems. In the Era of Knowledge Graphs

Authors: --- --- --- --- et al.
Book Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI ISBN: 9783030598334 Year: Pages: 127 DOI: 10.1007/978-3-030-59833-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-11-19 00:19:47
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 16th International Conference on Semantic Systems, SEMANTiCS 2020, held in Amsterdam, The Netherlands, in September 2020. The conference was held virtually due to the COVID-19 pandemic.

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.​

Reversible Computation: Extending Horizons of Computing

Authors: --- --- ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030473617 Year: Pages: 237 DOI: 10.1007/978-3-030-47361-7 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-06-17 00:00:03
License:

Loading...
Export citation

Choose an application

Abstract

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.

Listing 1 - 7 of 7
Sort by
Narrow your search

Publisher

Springer Nature (7)


License

CC by (7)


Language

english (7)


Year
From To Submit

2020 (7)