Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Implementation of HACCP Plan for the Production of Egyptian Kishk (A Traditional Fermented Cereal-Milk Mixture)
(Articles)
Mohamed M. Abd El-Razik
,
Mohamed F. Y. Hassan
,
Mohamed G. E. Gadallah
Food and Nutrition Sciences
Vol.7 No.13
,November 15, 2016
DOI:
10.4236/fns.2016.713116
2,531
Downloads
5,943
Views
Citations
This article belongs to the Special Issue on
Food Safety
Integrate Liveness Detection with Iris Verification to Construct Support Biometric System
(Articles)
Hanaa Mohsin Ahmad
,
Bushra Jabbar Abdulkareem
Journal of Computer and Communications
Vol.4 No.1
,January 26, 2016
DOI:
10.4236/jcc.2016.41003
4,983
Downloads
6,090
Views
Citations
A Comparative Analysis of Tools for Verification of Security Protocols
(Articles)
Nitish Dalal
,
Jenny Shah
,
Khushboo Hisaria
,
Devesh Jinwala
Int'l J. of Communications, Network and System Sciences
Vol.3 No.10
,October 27, 2010
DOI:
10.4236/ijcns.2010.310104
7,650
Downloads
16,347
Views
Citations
Characteristics of Acute Flaccid Paralysis Reported by the Surveillance System and Verified by WHO Officer in Akwa Ibom State-Nigeria, 2006-2012
(Articles)
Bassey Enya Bassey
,
Vaz Gama Rui
,
Alex Ntale Gasasira
,
Mkanda Pascal
,
Goitom Weldegbriel
,
Ticha Johnson Mulum
,
Sylvester T. Maleghemi
,
Emem Abasi Bassey
Health
Vol.6 No.19
,November 12, 2014
DOI:
10.4236/health.2014.619299
4,059
Downloads
5,535
Views
Citations
A Co-verification Method Based on TWCNP-OS for Two-way Cable Network SOC
(Articles)
Chong LI
,
Xiaotong ZHANG
,
Yadong WAN
,
Qin WANG
Int'l J. of Communications, Network and System Sciences
Vol.1 No.2
,July 10, 2008
DOI:
10.4236/ijcns.2008.12024
5,166
Downloads
9,277
Views
Citations
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models
(Articles)
Mohamed El-Kamel Hamdane
,
Allaoui Chaoui
,
Martin Strecker
Journal of Software Engineering and Applications
Vol.6 No.3
,March 29, 2013
DOI:
10.4236/jsea.2013.63019
4,301
Downloads
8,284
Views
Citations
Integrating Formal Methods in XP—A Conceptual Solution
(Articles)
Shagufta Shafiq
,
Nasir Mehmood Minhas
Journal of Software Engineering and Applications
Vol.7 No.4
,April 17, 2014
DOI:
10.4236/jsea.2014.74029
5,359
Downloads
7,833
Views
Citations
Formal Verification of Robertson-Type Uncertainty Relation
(Articles)
Takaaki Masuhara
,
Toru Kuriyama
,
Masakazu Yoshida
,
Jun Cheng
Journal of Quantum Information Science
Vol.5 No.2
,June 11, 2015
DOI:
10.4236/jqis.2015.52008
3,390
Downloads
4,375
Views
Citations
A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification
(Articles)
Tim Warnecke
Engineering
Vol.7 No.10
,October 26, 2015
DOI:
10.4236/eng.2015.710056
2,783
Downloads
3,453
Views
Citations
Some Studies on the Lorentz Theory of Radiation Reaction in Relation to a Charged Particle Acted on by a Constant Force in a Finite Time Interval
(Articles)
Rajat Roy
Open Access Library Journal
Vol.3 No.2
,February 4, 2016
DOI:
10.4236/oalib.1102334
898
Downloads
1,570
Views
Citations
Verification of Mongolian Cyclone-Induced Snowstorm Model Forecast in Jilin Province, China
(Articles)
Dongxue Fu
,
Xueyan Yang
,
Ning Wang
,
Yao Yao
Journal of Geoscience and Environment Protection
Vol.5 No.8
,July 21, 2017
DOI:
10.4236/gep.2017.58003
792
Downloads
1,396
Views
Citations
Accuracy Comparison of 4D Computed Tomography (4DCT) and 4D Cone Beam Computed Tomography (4DCBCT)
(Articles)
Tzu-Cheng Lee
,
Stephen R. Bowen
,
Sara St. James
,
George A. Sandison
,
Paul E. Kinahan
,
Matthew J. Nyflot
Int'l J. of Medical Physics, Clinical Eng. and Radiation Oncology
Vol.6 No.3
,August 30, 2017
DOI:
10.4236/ijmpcero.2017.63029
2,155
Downloads
4,709
Views
Citations
Research and Application of Supercapacitor Charging System
(Articles)
Minghai Duan
,
Xiaoxiao Cao
,
Qiyu Zhang
,
Xiaohui Chen
Open Access Library Journal
Vol.5 No.4
,April 20, 2018
DOI:
10.4236/oalib.1104544
850
Downloads
3,112
Views
Citations
A Matlab/Simulink Development and Verification Platform for a Frequency Estimation System
(Articles)
Yingtai Li
,
Lisheng Yang
,
Xin Lei
,
Rui Ma
,
Luncai Liu
,
Fan Liu
,
Yao Yao
Journal of Computer and Communications
Vol.6 No.11
,November 19, 2018
DOI:
10.4236/jcc.2018.611010
1,281
Downloads
3,627
Views
Citations
An Enhanced Web Base Certificate Verification System
(Articles)
Izuchukwu Chijioke Emele
,
Stanley Ikechukwu Oguoma
,
Kanayo Kizito Uka
,
Emeka Christian Nwaoha
Open Access Library Journal
Vol.7 No.7
,July 30, 2020
DOI:
10.4236/oalib.1106342
914
Downloads
5,600
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,174
Downloads
12,076
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,554
Downloads
6,671
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,171
Downloads
8,017
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
4,867
Downloads
8,218
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,247
Downloads
9,205
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top