Results 1 to 10 of about 4,463,103 (324)

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, Tanja Fenn, Anett Katzenbach, Heiner Teigeler, Sebastian Lins, Ali Sunyaev   +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, Scott Thiebes, Manuel Schmidt-Kraepelin, Ali Sunyaev   +3 more
doaj   +1 more source

Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study

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, Peter Thompson, Neil Davies, Peter Van Roy, Kevin Hammond, James Chapman   +5 more
doaj   +1 more source

Formalism and method [PDF]

Theoretical Computer Science, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ASTESIANO, EGIDIO, REGGIO, GIANNA
openaire   +3 more sources

Formal methods [PDF]

ACM Computing Surveys, 2009
Formal methods use mathematical models for analysis and verification at any part of the program life-cycle. We describe the state of the art in the industrial use of formal methods, concentrating on their increasing use at the earlier stages of specification and design.
Woodcock J, Larsen PG, Bicarregui J, Fitzgerald J   +3 more
openaire   +3 more sources

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, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak   +5 more
doaj   +1 more source

Approximation Hierarchies for the Copositive Tensor Cone and Their Application to the Polynomial Optimization over the Simplex

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

On the Convergence of Artificial Intelligence and Distributed Ledger Technology: A Scoping Review and Future Research Agenda

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, Scott Thiebes, Manuel Schmidt-Kraepelin, Ali Sunyaev   +3 more
doaj   +1 more source

An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation

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, Stefano Schivo, Stefano Schivo, Jacqueline R. M. Plass, Nikolas Mersinis, Jetse Scholma, Johan Kerkhofs, Leilei Zhong, Jaco van de Pol, Jaco van de Pol, Rom Langerak, Liesbet Geris, Marcel Karperien, Janine N. Post   +13 more
doaj   +1 more source

Formal Methods in Conformance Testing: A Probabilistic Refinement [PDF]

, 1996
This paper refines the framework of ‘Formal Methods in Conformance Testing’ by introducing probabilities for concepts which have a stochastic nature. Test execution is refined into test runs, where each test run is considered as a stochastic process that
Heerink, A.W., Tretmans, G.J.
core   +7 more sources