Results 231 to 240 of about 640,088 (259)

Static Analysis of Authentication

2005
Authentication protocols are very simple distributed algorithms whose purpose is to enable two entities to achieve mutual and reliable agreement on some piece of information, typically the identity of the other party, its presence, the origin of a message, its intended destination.
openaire   +2 more sources

A Survey of Parametric Static Analysis

ACM Computing Surveys, 2022
Jihyeok Park, Sukyoung Ryu, Ryusukyoung   +2 more
exaly  

Static recovery of A5083 aluminum alloy after a small deformation through various measuring approaches

Journal of Materials Science and Technology, 2022
Jingwei Zhang, Sabrina Alam Khan, Jun Yanagimoto   +2 more
exaly  

Dynamic tensile behaviour and crack propagation of coal under coupled static-dynamic loading

International Journal of Mining Science and Technology, 2020
Xianjie Hao, Weisheng Du, Yixin Zhao
exaly  

Predicting the static yield stress of 3D printable concrete based on flowability of paste and thickness of excess paste layer

Cement and Concrete Composites, 2022
Yamei Zhang, Viktor Mechtcherine
exaly  

medical static

Ca-A Cancer Journal for Clinicians, 1966
Roald N Grant
exaly  

From static output feedback to structured robust static output feedback: A survey

Annual Reviews in Control, 2016
Mahdieh S Sadabadi
exaly  

Static Mixers in the Process Industries—A Review

Chemical Engineering Research and Design, 2003
Christophe Vial, K D P Nigam, E B Nauman   +2 more
exaly  

On the measurement of evolution of structural build-up of cement paste with time by static yield stress test vs. small amplitude oscillatory shear test

Cement and Concrete Research, 2017
Qiang Yuan, Kamal H Khayat, Dimitri Feys   +2 more
exaly  

Static scheduling algorithms for allocating directed task graphs to multiprocessors

ACM Computing Surveys, 1999
Yu-Kwong Kwok, I Ahmad
exaly