UML; State Diagrams; Equivalence Relations; Formal Methods; Z notation; Validation and Verification - Articles

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,524 Downloads 8,663 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,567 Downloads 9,944 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,329 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,050 Downloads 14,384 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
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,291 Downloads 9,767 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,239 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,117 Downloads 4,302 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,070 Downloads 4,213 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,977 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,722 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,071 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,228 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,042 Downloads 2,334 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,737 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 944 Downloads 2,650 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,285 Views Citations
Simulation Analysis of CO Concentration Distribution in Beijing Yuntong Tunnel (Articles)

Shilin Zheng, Qiong Li, Hongwang Xue

Open Journal of Civil Engineering Vol.13 No.2, May 18, 2023

DOI: 10.4236/ojce.2023.132016 196 Downloads 793 Views Citations
FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net (Articles)

Walid Ben Mesmia, Kamel Barkaoui, Mohamed Escheikh

Journal of Software Engineering and Applications Vol.16 No.9, September 14, 2023

DOI: 10.4236/jsea.2023.169022 632 Downloads 1,650 Views Citations
Certification of a Multicomponent Reference Material from Natural Gas Mixture by Gravimetry and Dual GC-FID/TCD System (Articles)

Adel Bassuoni Shehata, Abdulrahman Rashed AlAskar, Najjy Hamad AlYami, Abdullah Suleiman AlOwaysi

Green and Sustainable Chemistry Vol.13 No.4, November 22, 2023

DOI: 10.4236/gsc.2023.134015 327 Downloads 2,619 Views Citations

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