Transatlantic space politics : competition and cooperation above the clouds / / Sheng-Chih Wang

• Record Nr.: UNINA9910957220303321
• Autore: Wang Sheng-Chih <1979-, >
• Pubbl/distr/stampa: Milton Park, Abingdon, Oxon ; ; New York : , : Routledge, , 2013
• ISBN: 1-134-11697-7; 1-134-11690-X; 0-203-38193-9
• Edizione: [1st ed.]
• Descrizione fisica: 1 online resource (232 p.)
• Collana: Space power and politics
• Classificazione: POL011000POL035000POL011010
• Disciplina: 629.4094
• Soggetti: Astronautics and state - United States; Astronautics and state - European Union countries; Astronautics - International cooperation; National security - United States; National security - European Union countries; United States Foreign relations European Union countries; European Union countries Foreign relations United States
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Introduction : the multi-faceted transatlantic space politics -- History matters : space policy evolution in the United States and Europe -- Cutting the umbilical cord : transatlantic competition in the field of space transportation -- Springboard toward lunar and solar space : transatlantic cooperation in the International Space Station Program -- Europe opens its eyes : transatlantic dispute in the field of satellite navigation -- Dual space dominance versus autonomy in space : developing cases of transatlantic space politics -- Conclusions : thinking beyond the canopy.
• Sommario/riassunto: "This book examines transatlantic politics through an analysis of 60 years of US-European strategic interaction in space. The significance of space politics for the study of transatlantic relations receives surprisingly little scholarly attention. As a theatre of interaction, transatlantic space politics reflects the vicissitudes of European and US ; power in the international system. An understanding of space politics is therefore vital in understanding the status and prospect of the transatlantic order. Using established IR theories, the author investigates transatlantic space politics and proposes a theoretical explanation, which is distinct from the conventional wisdom of the transatlantic security community. More specifically, he distinguishes between the constitutive and regulatory effects of the transatlantic security community, an approach rarely employed in other research in the field. Overall, this book suggests not only that the transatlantic institutional pillar requires repair, but also that the ideational factors need to be revitalised in order to consolidate the transatlantic alliance.This book will be of much interest to students of space power, transatlantic politics, strategic studies, foreign policy and IR/security studies in general"--

Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / / edited by Jorge A. Pérez, Nobuko Yoshida

• Record Nr.: UNINA9910337853403321
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
• ISBN: 3-030-21759-0
• Edizione: [1st ed. 2019.]
• Descrizione fisica: 1 online resource (XIV, 299 p. 1287 illus., 38 illus. in color.)
• Collana: Programming and Software Engineering, , 2945-9168 ; ; 11535
• Disciplina: 004.36
• Soggetti: Software engineering; Compilers (Computer programs); Electronic digital computers - Evaluation; Computer science; Computers; Professions; Software Engineering; Compilers and Interpreters; System Performance and Evaluation; Computer Science Logic and Foundations of Programming; The Computing Profession
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Psi-Calculi Revisited: Connectivity and Compositionality -- Squeezing Streams and Composition of Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model Checking of UAV Flight plan -- Only Connect, Securely -- Output-sensitive Information Flow Analysis -- Component-aware Input-Output Conformance -- Declarative Choreographies and Liveness -- Model checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes -- Causal-Consistent Replay Debugging for Message Passing Programs -- Correct and Efficient Antichain Algorithms for Refinement Checking -- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification -- Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs -- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework -- Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems -- On Certifying DistributedAlgorithms: Problem of Local Correctness -- On a Higher-order Calculus of Computational Fields -- Semantically Sound Analysis of Content Security Policies. .
• Sommario/riassunto: This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.