Algorithms with Automatic Result Verification - Articles

Principles and Design of the Automatic Strapping Equipment for Solid Propellants (Articles)

Zihao Chen, Xudong Wang, Zhe Zhao, Dawei Zhang, Huiqiang Wang, Changyuan Ge, Rui Lei, Jiaze Huang

Journal of Intelligent Learning Systems and Applications Vol.18 No.2, May 27, 2026

DOI: 10.4236/jilsa.2026.182010 4 Downloads 64 Views Citations
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker (Articles)

Prabhu Kaliappan, Hartmut Koenig

Journal of Software Engineering and Applications Vol.1 No.1, December 9, 2008

DOI: 10.4236/jsea.2008.11003 6,476 Downloads 12,640 Views Citations
Probabilistic Verification over GF(2m) Using Mod2-OBDDs (Articles)

J.L. Imana

Intelligent Information Management Vol.2 No.2, March 16, 2010

DOI: 10.4236/iim.2010.22012 3,840 Downloads 7,313 Views Citations
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,046 Downloads 14,377 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,108 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,822 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,391 Downloads 18,982 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,693 Downloads 6,232 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,298 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
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,718 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,228 Downloads 3,222 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 941 Downloads 2,643 Views Citations

First <...345 ...>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