Protocol Verification - Articles - Scientific Research Publishing

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,477 Downloads 12,642 Views Citations
Verification of Session Initiation Protocol Using Timed Colored Petri Net (Articles)

Safiye Kızmaz, Mürvet Kırcı

International Journal of Communications, Network and System Sciences Vol.4 No.3, March 10, 2011

DOI: 10.4236/ijcns.2011.43021 4,247 Downloads 9,041 Views Citations
ISO 50001: Are the Auditors Equipped Enough? (Articles)

Avijit Choudhury

Open Journal of Energy Efficiency Vol.1 No.3, December 31, 2012

DOI: 10.4236/ojee.2012.13006 4,740 Downloads 8,843 Views Citations
Triangular Number Matrix and Application in Cryptography: A Novel Pattern-Based Approach (Articles)

Nikoloz (Niko) Nadirashvili

American Journal of Computational Mathematics Vol.16 No.2, May 15, 2026

DOI: 10.4236/ajcm.2026.162004 21 Downloads 243 Views Citations
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,962 Downloads 6,932 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 5,190 Downloads 6,587 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

International Journal of Communications, Network and System Sciences Vol.3 No.10, October 27, 2010

DOI: 10.4236/ijcns.2010.310104 8,227 Downloads 17,149 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,373 Downloads 6,415 Views Citations
Disclosure of Disability by University Students: Development of a Study Protocol (Articles)

Andrea De Cesarei

Open Journal of Social Sciences Vol.2 No.8, August 27, 2014

DOI: 10.4236/jss.2014.28012 4,650 Downloads 6,744 Views Citations
CXL (Compute Express Link) Technology (Articles)

Santhosh Nagaraj Nag

Journal of Computer and Communications Vol.11 No.6, June 30, 2023

DOI: 10.4236/jcc.2023.116006 1,319 Downloads 4,510 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

International Journal of Communications, Network and System Sciences Vol.1 No.2, July 10, 2008

DOI: 10.4236/ijcns.2008.12024 5,473 Downloads 9,953 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,568 Downloads 8,776 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,692 Downloads 8,418 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,672 Downloads 5,025 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,974 Downloads 4,024 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 1,005 Downloads 2,077 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 968 Downloads 1,947 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

International Journal of Medical Physics, Clinical Engineering and Radiation Oncology Vol.6 No.3, August 30, 2017

DOI: 10.4236/ijmpcero.2017.63029 2,469 Downloads 5,694 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 997 Downloads 3,676 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,505 Downloads 4,208 Views Citations

First <12 3 ...>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