Formal Verification - Articles - Scientific Research Publishing

Dynamic Signature Verification Using Pattern Recognition (Articles)

Emmanuel Nwabueze Ekwonwune, Duroha Austin Ekekwe, Chinyere Iheakachi Ubochi, Henry Chinedu Oleribe

Journal of Software Engineering and Applications Vol.17 No.5, May 27, 2024

DOI: 10.4236/jsea.2024.175012 244 Downloads 1,500 Views Citations
Analytical Solutions for Testing of Baroclinic and Wind-Driven Three-Dimensional Hydrodynamic Models (Articles)

Cheng He

Journal of Applied Mathematics and Physics Vol.12 No.8, August 20, 2024

DOI: 10.4236/jamp.2024.128171 120 Downloads 1,148 Views Citations
The Lack of Evidentiary Standards to Define “Sufficient Evidence of Authorship” in Pretrial Detentions in Brazil: The Jurisprudence of the Brazilian Constitutional Court (Articles)

Marco Túlio Ferreira dos Santos

Beijing Law Review Vol.15 No.3, September 30, 2024

DOI: 10.4236/blr.2024.153102 83 Downloads 487 Views Citations
The Legitimacy of Online Banking Transactions as a Value-Added Tool in Rwanda’s Banking System (Articles)

Evariste Nkubito, Jean Baptiste Mbanzabugabo

Open Access Library Journal Vol.11 No.12, December 25, 2024

DOI: 10.4236/oalib.1112326 45 Downloads 505 Views Citations
Research on Greenhouse Positioning Based on Multi-Source Information Fusion (Articles)

Zhongxing Guo

Agricultural Sciences Vol.16 No.5, May 21, 2025

DOI: 10.4236/as.2025.165029 111 Downloads 609 Views Citations
Verification of Dosimetric and Positional Accuracy of Dynamic Tumor Tracking Intensity Modulated Radiation Therapy (Articles)

Masaki Sueoka, Akira Sawada, Hiroaki Tanabe, Yuki Okada, Sho Taniuchi, Noboru Okuuchi, Masao Tanooka, Masaki Kokubo, Koichiro Yamakado

International Journal of Medical Physics, Clinical Engineering and Radiation Oncology Vol.8 No.4, October 11, 2019

DOI: 10.4236/ijmpcero.2019.84019 804 Downloads 2,073 Views Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.2 No.2, July 15, 2009

DOI: 10.4236/jsea.2009.22012 5,200 Downloads 8,995 Views Citations
Model of Real Time Architecture for Data Placement in Wireless Sensor Networks (Articles)

Sanjeev GUPTA, Mayank DAVE

Wireless Sensor Network Vol.2 No.1, January 13, 2010

DOI: 10.4236/wsn.2010.21008 8,082 Downloads 12,982 Views Citations
A Conflicts Detection Approach for Merging Formal Specification Views (Articles)

Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam

Journal of Software Engineering and Applications Vol.3 No.5, May 24, 2010

DOI: 10.4236/jsea.2010.35052 5,317 Downloads 9,151 Views Citations
PLC Modeling and Checking Based on Formal Method (Articles)

Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang

Journal of Software Engineering and Applications Vol.3 No.11, November 29, 2010

DOI: 10.4236/jsea.2010.311124 8,605 Downloads 16,951 Views Citations
The Imaginary Audience and the Personal Fable: A Test of Elkind’s Theory of Adolescent Egocentrism (Articles)

Evangelia P. Galanaki

Psychology Vol.3 No.6, June 18, 2012

DOI: 10.4236/psych.2012.36065 30,185 Downloads 52,802 Views Citations
Building Relationships between Schools and Communities’ Agencies: Crafting a Programmatic Proposal (Articles)

Imran Shaari, Shu-Shing Lee

Creative Education Vol.3 No.3, June 20, 2012

DOI: 10.4236/ce.2012.33057 5,362 Downloads 8,893 Views Citations
A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming (Articles)

Khalid Benlhachmi, Mohammed Benattou

Journal of Information Security Vol.4 No.2, April 23, 2013

DOI: 10.4236/jis.2013.42013 4,657 Downloads 7,585 Views Citations
Realization of Rough Set Approximation Toplogical Operations Based on Formal Concept Analysis (Articles)

Huilai Zhi

International Journal of Intelligence Science Vol.4 No.3, July 4, 2014

DOI: 10.4236/ijis.2014.43008 3,047 Downloads 4,526 Views Citations
FOTool: Modelling Indigenous Community Cultures in Sarawak (Articles)

Edwin Mit, Ng Bong Ding, Cheah Wai Shiang

Journal of Software Engineering and Applications Vol.7 No.8, July 25, 2014

DOI: 10.4236/jsea.2014.78067 3,152 Downloads 4,447 Views Citations
Diglossia in the Arab World
—Educational Implications and Future Perspectives (Articles)

Christopher Horn

Open Journal of Modern Linguistics Vol.5 No.1, February 17, 2015

DOI: 10.4236/ojml.2015.51009 7,959 Downloads 15,292 Views Citations
Formal-Informal Credit Market Interlinkage and Development Policies: A General Equilibrium Analysis (Articles)

Rakhi Banerjee, Ranjanendra Narayan Nag

Modern Economy Vol.6 No.8, August 20, 2015

DOI: 10.4236/me.2015.68086 4,125 Downloads 6,186 Views Citations
Fuzzy Semantics of Contract Language (Articles)

Hengyang Wu, Yixiang Chen

Applied Mathematics Vol.7 No.5, March 18, 2016

DOI: 10.4236/am.2016.75039 2,502 Downloads 3,922 Views Citations
This article belongs to the Special Issue on Fuzzy Mathematics and Its Applications
An Augmented Framework for Formal Analysis of Safety Critical Systems (Articles)

Monika Singh, V. K. Jain

Journal of Software Engineering and Applications Vol.10 No.8, July 11, 2017

DOI: 10.4236/jsea.2017.108039 1,428 Downloads 3,271 Views Citations
Architectural Composition: A Systematic Method to Define a List of Visual Attributes (Articles)

Seyed Farhad Tayyebi, Yüksel Demir

Art and Design Review Vol.7 No.3, June 11, 2019

DOI: 10.4236/adr.2019.73012 1,450 Downloads 11,210 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