Results 1 to 10 of about 1,932,015 (306)
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2009 [PDF]
, 2009 Table of Contents: Preface (p. v) -- Organizing Committee (p. vii) -- Program Committee (p. vii) -- Referees (p. ix) -- Keynote Presentations (p. x) -- Tutorials (p. xii) -- Industrial Experience Reports (p. xiv) -- Panels (p. xvii) -- Session 1.
Formal Methods in Computer Aided Design
core +12 more sources
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023 [PDF]
, 2023 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies,
Formal Methods in Computer Aided Design
core +2 more sources
The HACMS program: using formal methods to eliminate exploitable bugs. [PDF]
Philos Trans A Math Phys Eng Sci, 2017 Fisher K, Launchbury J, Richards R.
europepmc +2 more sources
A Threat Model for Vehicular Fog Computing
IEEE Access, 2022 Vehicular Fog Computing (VFC) facilitates the deployment of distributed, latency-aware services, residing between smart vehicles and cloud services. However, VFC systems are exposed to manifold security threats, putting human life at risk.
Timo Klein +5 more
doaj +1 more source
How detection ranges and usage stops impact digital contact tracing effectiveness for COVID-19
Scientific Reports, 2021 To combat the COVID-19 pandemic, many countries around the globe have adopted digital contact tracing apps. Various technologies exist to trace contacts that are potentially prone to different types of tracing errors.
Konstantin D. Pandl +3 more
doaj +1 more source
Computers, 2022 This paper directly addresses a long-standing issue that affects the development of many complex distributed software systems: how to establish quickly, cheaply, and reliably whether they can deliver their intended performance before expending ...
Seyed Hossein Haeri +5 more
doaj +1 more source
Setting Parameters for Biological Models With ANIMO [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 ANIMO (Analysis of Networks with Interactive MOdeling) is a software for modeling biological networks, such as e.g. signaling, metabolic or gene networks. An ANIMO model is essentially the sum of a network topology and a number of interaction parameters.
Stefano Schivo +5 more
doaj +1 more source
Mathematics, 2022 In this paper, we discuss the cone of copositive tensors and its approximation. We describe some basic properties of copositive tensors and positive semidefinite tensors. Specifically, we show that a non-positive tensor (or Z-tensor) is copositive if and
Muhammad Faisal Iqbal, Faizan Ahmed
doaj +1 more source
IEEE Access, 2020 Developments in artificial intelligence (AI) and distributed ledger technology (DLT) currently lead to lively debates in academia and practice. AI processes data to perform tasks that were previously thought possible only for humans.
Konstantin D. Pandl +3 more
doaj +1 more source
Frontiers in Bioengineering and Biotechnology, 2021 A fundamental question in cartilage biology is: what determines the switch between permanent cartilage found in the articular joints and transient hypertrophic cartilage that functions as a template for bone?
Sakshi Khurana +13 more
doaj +1 more source