Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-1

Efficient Source Data Verification Using Statistical Acceptance Sampling

Rutger M. van den Bor, Bas J. Oosterman, Martinus B. Oostendorp [...]

Therapeutic Innovation & Regulatory Science

Retricted access

Research article

First published 2006-2

An efficient runtime instruction block verification for secure embedded systems

Aleksandar Milenkovic, Milena Milenkovic, Emil Jovanov

Journal of Embedded Computing

Retricted access

Research article

First published 2017-1

Efficient checkpoint/verification patterns

Anne Benoit, Saurabh K Raina, Yves Robert

The International Journal of High Performance Computing Applications

Open access

Research article

First published 2019-9

Efficient oblivious transfer with membership verification

Weiwei Liu, Da-Zhi Sun, Yangguang Tian

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2008-08

Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems

Jinjun Chen, Yun Yang

The International Journal of High Performance Computing Applications

Retricted access

Review article

First published 2012-5

Source Data Verification by Statistical Sampling: Issues in Implementation

Andrew P. Grieve

Therapeutic Innovation & Regulatory Science

Retricted access

Research article

First published 2025

Design of a secure electronic voting system based on zero-knowledge proof and blockchain technology

Bin Hu, Haixin Huang

Journal of Computational Methods in Sciences and Engineering

Retricted access

Other

First published 2006-2

Efficient decision procedures for the integration of planning and formal verification in advanced systems

Marco Maratea

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2023-5

An efficient solver of predictive control methods for motion control of autonomous vehicles with experimental verification

Yang Zhao, Linhe Ge, Shouren Zhong [...]

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Research article

First published 2025-3

Nickel-based alloy efficient milling with ceramic tool and experimental verification in closed impeller

Jun Zha, Zhiyan Cai, Xiaofei Peng [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Search results