Sentence examples for lightweight verification from inspiring English sources
We exploit this social aspect of users to model dishonest behavior, and show that a simple secret sharing scheme, combined with lightweight verification procedures, enables private and accurate polling without requiring any central authority or cryptography.
In a first stage, we employed the Plural tool, which is designed to perform lightweight verification of Java programs using a data-flow analysis (DFA) framework, to specify and verify the MTTS.
In this paper a lightweight and static verification method to assess the correctness of executable models is proposed.
Therefore, we proposed a privacy-preserving data integrity verification model by using lightweight streaming authenticated data structures for Health-CPS.
This paper shows the application of a type of formal software verification technique known as lightweight model checking to a domain model in healthcare informatics in general and public health surveillance systems in particular.
To address this limitation, we propose a lightweight deep-learning framework for finger vein verification.
For the verification of the proposed method, lightweight designs are presented for the L-shaped and the cantilever beam with the yield strength constraint.
Clients can pay a monthly fee to build Truepic's lightweight Enterprise SDK into their apps so the whole capture, verification, and sharing process happens within their product.
First, we designed a lightweight two-channel network that has only three convolution layers for finger vein verification.
These approaches use the received signal strength indicator (RSSI) for position verification and hence are more promising than the others because of their lightweight and distributed nature [11, 20, 21].
