Search results: Sage Journals

Restricted accessResearch articleFirst published October 13, 2023

A formal model of Checked C 1

Liyi Li, Yiyun Liu, Deena Postol [...]

Journal of Computer Security

Restricted accessResearch articleFirst published July, 2015

David Cadé, Bruno Blanchet

Journal of Computer Security

Restricted accessResearch articleFirst published December 16, 2014

Joseph A. Akinyele, Matthew Green, Susan Hohenberger [...]

Journal of Computer Security

Restricted accessResearch articleFirst published March, 1987

B. Yin

The International Journal of Robotics Research

Restricted accessResearch articleFirst published January 11, 2019

Sandrine Blazy, David Pichardie, Alix Trieu

Journal of Computer Security

Restricted accessOtherFirst published February, 2006

Marco Maratea

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published February, 2006

Olga Gelbart, Bhagirath Narahari, Rahul Simha

Journal of High Speed Networks

Restricted accessResearch articleFirst published September, 2019

Salil Mahajan, Katherine J Evans, Joseph H Kennedy [...]

The International Journal of High Performance Computing Applications

Restricted accessOtherFirst published October, 2003

Y. Xiang, X. An, N. Cercone

SIMULATION

Restricted accessResearch articleFirst published February, 1985

P.A. van der Poel

Statistical Journal of the IAOS