Next-Gen Digital Services. a Retrospective and Roadmap for Service Computing of the Future: Essays Dedicated to Michael Papazoglou on the Occasion of, Aiello Marco, Bouguettaya Athman, Tamburri Damian Andrew
Описание: From Logic and Computation Theory to Rigorous Methods for Software Engineering.- Towards Leveraging Domain Knowledge in State-Based Formal Methods.- Some Observations on Mitotic Sets.- Moded and Continuous Abstract State Machines.- A Stepwise Design Optimization Problem.- Semantic Splitting of Conditional Belief Bases.- Communities and Ancestors Associated with Egon Bцrger and ASM.- Language and communication problems in formalization: a natural language approach.- ASM Specification and Refinement of a Quantum Algorithm.- Spot the Difference: A Detailed Comparison Between B and Event-B.- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond.- Analysis of Mobile Networks' Protocols Based on Abstract State Machines.- What is the Natural Abstraction Level of an Algorithm.- The ASMETA approach to safety assurance of software systems.- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System.- Computation on Structures: Behavioural Theory, Logic, Complexity.- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes.- Models and Modelling in Computer Science.- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.
Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University.- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems.- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems.- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology.- Chapter 6. Reflecting on Self-aware Systems-on-Chip.- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC.- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems.- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs.- Chapter 10. Compilation for Real-Time Systems a Decade After Predator.
Logic.- A ∏01-Bounded Fragment of In nitary Action Logic with Exponential.- Transcendental syntax IV: logic without systems.- Logic and Computing.- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems.- Logic of fusion.- There's No Time, The Problem of Conceptualising Time.- Andre and the early days of Penn's Logic and Computation Group.- Formal Verification of Ethereum smart contracts using Isabelle/HOL.- Logic and Application - LAP meeting.- Logic and Security.- Formal Methods Analysis of the Secure Remote Password Protocol.- The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols.- Assumption-Based Analysis of Distance-Bounding Protocols with CPSA.- Modelchecking safety properties in randomized security protocols.- Logic and Language.- Andre Scedrov.- Gender Bias in Neural Natural Language Processing.
Описание: This Festschrift was published in honor of Hans L. advisor, Jan van Leeuwen. Chapter "Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Описание: This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday.Chris Hankin is a Fellow of the Institute for Security Science and Technology and a Professor of Computing Science. His research is in cyber security, data analytics and semantics-based program analysis.
Описание: Wolf is a renowned researcher and educator in Electrical and Computer Engineering, who has made pioneering contributions in all of the major areas in Embedded, Cyber-Physical, and Internet of Things (IoT) Systems.
Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University.- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems.- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems.- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology.- Chapter 6. Reflecting on Self-aware Systems-on-Chip.- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC.- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems.- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs.- Chapter 10. Compilation for Real-Time Systems a Decade After Predator.
Описание: This Festschrift is published in honor of Yuri Gurevich`s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18-20 in Fontainebleau, France, in combination with the 39th Journees sur les Arithmetiques Faibles also celebrating Yuri`s 80th birthday.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
