Current Search:  formalism (x)

View All Items

  • CSV Spreadsheet
(1 - 10 of 10)
EXTENDING DISTRIBUTED TEMPORAL PROTOCOL LOGIC TO A PROOF BASED FRAMEWORK FOR AUTHENTICATION PROTOCOLS
DOES CHOICE MATTER? THE IMPACT OF ALLOWING PROTEGES TO SELECT THEIR OWN MENTORS
Correctness and Progress Verification of Non-Blocking Programs
reasoning about frame properties in object-oriented programs
Automated Synthesis of Memristor Crossbar Networks
EDUCATIONAL HANDHELD VIDEO: EXAMINING SHOT COMPOSITION, GRAPHIC DESIGN, AND THEIR IMPACT ON LEARNING
Security of Autonomous Systems under Physical Attacks: With application to Self-Driving Cars
Techniques for automated parameter estimation in computational models of probabilistic systems
An Analysis of the Variables in Implementation of the Marzano Causal Teacher Evaluation System in the State of Florida
LIGHTING DESIGN FOR FROM SUN TO SUN: A DAY IN A RAILROAD CAMP