Alegra Verification - Articles - Scientific Research Publishing

Eliminating Forgers Based on Intra Trial Variability in Online Signature Verification Using Handglove and Photometric Signals (Articles)

Andrews Samraj, Shohel Sayeed, Loo Chu Kiong, Nikos E. Mastorokis

Journal of Information Security Vol.1 No.1, July 30, 2010

DOI: 10.4236/jis.2010.11003 4,522 Downloads 8,661 Views Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.3 No.8, August 26, 2010

DOI: 10.4236/jsea.2010.38093 5,258 Downloads 8,870 Views Citations
Extending the Strand Space Method with Timestamps: Part I the Theory (Articles)

Yongjian Li, Jun Pang

Journal of Information Security Vol.1 No.2, October 29, 2010

DOI: 10.4236/jis.2010.12006 5,566 Downloads 9,941 Views Citations
Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V (Articles)

Yongjian Li, Jun Pang

Journal of Information Security Vol.1 No.2, October 29, 2010

DOI: 10.4236/jis.2010.12007 6,086 Downloads 10,328 Views Citations
Software Engineering Principles: Do They Meet Engineering Criteria? (Articles)

Kenza Meridji, Alain Abran

Journal of Software Engineering and Applications Vol.3 No.10, November 19, 2010

DOI: 10.4236/jsea.2010.310114 8,048 Downloads 14,379 Views Citations
Online Fingerprint Verification Algorithm and Distributed System (Articles)

Ping Zhang, Xi Guo, Jyotirmay Gadedadikar

Journal of Signal and Information Processing Vol.2 No.2, May 26, 2011

DOI: 10.4236/jsip.2011.22011 8,170 Downloads 15,110 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

International Journal of Communications, Network and System Sciences Vol.5 No.3, March 21, 2012

DOI: 10.4236/ijcns.2012.53021 4,035 Downloads 6,825 Views Citations
Syntax-Tree Regular Expression Based DFA FormalConstruction (Articles)

Nazir Ahmad Zafar, Fawaz Alsaade

Intelligent Information Management Vol.4 No.4, July 27, 2012

DOI: 10.4236/iim.2012.44021 12,392 Downloads 18,984 Views Citations
Behavior of the Numerical Integration Error (Articles)

Tchavdar Marinov, Joe Omojola, Quintel Washington, LaQunia Banks

Applied Mathematics Vol.5 No.10, May 23, 2014

DOI: 10.4236/am.2014.510133 7,289 Downloads 9,762 Views Citations
Applying DNA Computation to Error Detection Problem in Rule-Based Systems (Articles)

Behrouz Madahian, Amin Salighehdar, Reza Amini

Journal of Intelligent Learning Systems and Applications Vol.7 No.1, February 13, 2015

DOI: 10.4236/jilsa.2015.71003 4,695 Downloads 6,236 Views Citations
Empirical Analysis on the Practical Feasibility of Timber Legality Verification Work in China (Articles)

Jianquan Li, Shaozhi Chen

Open Journal of Political Science Vol.5 No.3, April 2, 2015

DOI: 10.4236/ojps.2015.53018 3,116 Downloads 4,299 Views Citations
Modeling and Simulation of Hydraulic Hammer for Sleeve Valve (Articles)

Zishan Xu, Guoping Yang

Engineering Vol.8 No.9, September 29, 2016

DOI: 10.4236/eng.2016.89059 2,065 Downloads 4,204 Views Citations
Data Processing of Fault Recorder in Power System (Articles)

Yu Qin, Yu Bai, Minghao Wen

Energy and Power Engineering Vol.9 No.4B, April 6, 2017

DOI: 10.4236/epe.2017.94B006 2,985 Downloads 4,974 Views Citations
Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems (Articles)

Ming Zhu, Jing Li

Journal of Computer and Communications Vol.6 No.11, November 27, 2018

DOI: 10.4236/jcc.2018.611022 845 Downloads 1,720 Views Citations
Determination AHP Analysis of the Virtual Stage-Gate Process in the Global Scale Automotive Design (Articles)

Fuat Ali Paker, Cem Alppay, Begüm Sertyesilisik

World Journal of Engineering and Technology Vol.6 No.4, November 30, 2018

DOI: 10.4236/wjet.2018.64062 837 Downloads 2,070 Views Citations
The “Static” and “Dynamic” Design Verification Stages of the Lean Development Process: Automotive Industry (Articles)

F. Ali Paker

World Journal of Engineering and Technology Vol.8 No.1, February 17, 2020

DOI: 10.4236/wjet.2020.81008 1,229 Downloads 3,227 Views Citations
A Message Length Verification of Modern Messaging Systems (Articles)

Abdulaziz Altamimi, Faisal Shaman, Abdulrahman Alruban

Journal of Computer and Communications Vol.8 No.3, March 17, 2020

DOI: 10.4236/jcc.2020.83010 1,041 Downloads 2,329 Views Citations
Imperfect Quality Certification in Lemons Markets (Articles)

Birendra K. Mishra, Ashutosh Prasad, Vijay Mahajan

Theoretical Economics Letters Vol.10 No.6, December 15, 2020

DOI: 10.4236/tel.2020.106077 672 Downloads 1,735 Views Citations
Simulation Analysis and Optimization of Rolling Process of Steel Rim (Articles)

Wenhua Lv, Mao Pang, Shunping Li, Miaolong Cao

World Journal of Mechanics Vol.11 No.3, March 26, 2021

DOI: 10.4236/wjm.2021.113004 942 Downloads 2,645 Views Citations
Delivered Dose Verification for Lung Cancer Stereotactic Body Radiotherapy Using Cone-Beam CT (Articles)

Yechao Feng, Xi Liu, Xiang Pan, Chang Hu, Ning Zhan, Zongda Zhu, Zhenxiang Deng

Journal of Cancer Therapy Vol.12 No.7, July 26, 2021

DOI: 10.4236/jct.2021.127039 344 Downloads 1,282 Views Citations

First <123 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies