Results 241 to 250 of about 596,156 (298)

Crowdsourcing Framework for Security Testing and Verification of Industrial Cyber-Physical Systems. [PDF]

Sensors (Basel)
Li Z, Ding Y, Zhao R, Wang S, Li J.
europepmc   +1 more source

Research on similarity test design and characteristic verification for tank fires under environmental wind conditions. [PDF]

PLoS One
Jiang Y, Shen F, Su Z, Huang L.
europepmc   +1 more source

An Analysis of the Governance, Ethical, Legal, and Social Implications of Biocomputing. [PDF]

Sci Eng Ethics
Sirbu RA, Floridi L.
europepmc   +1 more source

Autonomous nursing professional development framework using blockchain technology. [PDF]

Sci Rep
Lin CC, Lin YH, Hsu IC.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Generalized Computational Experiment and Verification Problems

Programming and Computer Software, 2021
This paper considers the construction of a generalized computational experiment for solving verification problems. The problem of comparative accuracy assessment of numerical methods is currently acquiring special relevance due to the introduction of published standards and widespread use of software packages that include a large number of different ...
A. K. Alekseev, A. E. Bondarev, V. A. Galaktionov, A. E. Kuvshinnikov   +3 more
openaire   +1 more source

An experience on verification of aspect properties

Proceedings of the 4th international workshop on Principles of software evolution - IWPSE '01, 2002
Aspect oriented technologies enable concerns like concurrency or security to be coded in separate units. This paper suggests that relevant system properties can be verified just based on such separated code. A simple experience is reported for showing how the proposed approach works.
DENARO, GIOVANNI, Monga, M.
openaire   +1 more source

Alphabet Arithmetic Verification - Experiment 2

2020
The data originates from an alphabet-arithmetic verification training experiment that covered 12 sessions of learning and 3 sessions of transfer phases. It involved originally 24 participants, but only the data of 21 participants are included in the file.
Bagnoud, Jeanne, Thevenot, Catherine, Jasinta Dewi Freitag, candylab   +3 more
openaire   +1 more source

Experiments in program verification using Event-B

Formal Aspects of Computing, 2012
Abstract The Event-B method can be used to model all sorts of discrete event systems, among them sequential programs. In this article we describe our experiences with using Event-B by way of two examples. We present a simple model of a factorial program, explaining the method, and a more intricate model of the Quicksort algorithm, providing ...
Hallerstede, Stefan, Leuschel, Michael
openaire   +2 more sources