Search
CSV
RISImprovement low-voltage ride-through control of DFIG during grid faults
Publisher: IEEE
Year: 2014
On Complexity of Effective Data Granulation in Databases
Publisher: IEEE
Year: 2014
Energy efficiency of IP-over-Elastic optical networks with sliceable optical transponder
Publisher: IEEE
Year: 2014
Joint map time and frequency synchronization in presence of imperfect channel state information
Publisher: IEEE
Year: 2014
Flowchart-based approach to aid novice programmers: A novel framework
Publisher: IEEE
Year: 2014
Cored network biomarker of carcinogenesis from early and late stage bladder cancer samples
Publisher: IEEE
Year: 2014
CipherXRay: Exposing Cryptographic Operations and Transient Secrets from Monitored Binary Execution
Publisher: IEEE
Year: 2014
A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving
Year: 2016
Abstract:
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all deferent ...
A smartphone-based fall risk assessment tool: Testing Ankle Flexibility, Gait and Voluntary Stepping
Publisher: IEEE
Year: 2014