Sage Journals: Discover world-class research

Open access

Research article

First published 2021-3

Time-constrained strong multi-designated verifier signature suitable for Internet of things–based collaborative fog computing systems

Han-Yu Lin

International Journal of Distributed Sensor Networks

Open access

Research article

First published 2020-2

A lightweight verifiable outsourced decryption of attribute-based encryption scheme for blockchain-enabled wireless body area network in fog computing

Rui Guo, Chaoyuan Zhuang, Huixian Shi [...]

International Journal of Distributed Sensor Networks

Open access

Research article

First published 2016-5

Study on formal modeling and verification of safety computer platform

Xi Wang, Lianchuan Ma, Tao Tang

Advances in Mechanical Engineering

Free access

Research article

First published 2015-5

Flexible Access Control over Verifiable Cloud Computing Services with Provable Security

Ya-Fen Chang

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1967-09

Real time hardware-in-the-loop simulation verifies performance of Gemini computer and operational program

Joseph L. Gross

SIMULATION

Retricted access

Research article

First published 2014-10

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

Savas Konur, Marian Gheorghe, Ciprian Dragomir [...]

Fundamenta Informaticae

Free access

Research article

First published 2012-4

Patient-Specific Instrumentation for Total Knee Replacement Verified by Computer Navigation: A Case Report

Kok-Yu Chan, Yee-Hong Teo

Journal of Orthopaedic Surgery

Retricted access

Other

First published 1972-6

Experimental Verification of a Digital Computer Simulation Method for Predicting Gas Turbine Dynamic Behaviour

A. J. Fawke, H. I. H. Saravanamuttoo, M. Holmes

Proceedings of the Institution of Mechanical Engineers

Retricted access

Research article

First published 2011-2

Some applications of Computational Logic to the development of intelligent systems and verification methods

Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli

Intelligenza Artificiale

Retricted access

Research article

First published 2015-3

Encoding and Verification of a Computer-Interpretable Guideline: A Case Study of Pressure-Ulcer Management

Hyun-Young Kim, Hyeoun-Ae Park, InSook Cho [...]

Health Information Management Journal

Search results