AADL; Timed Automata; Transformation; Verification; Uppaal - Articles

Architectural Model of a Biological Retina Using Cellular Automata (Articles)

François Devillard, Bernard Heit

Journal of Computer and Communications Vol.2 No.14，December 26, 2014

DOI: 10.4236/jcc.2014.214008 5,315 Downloads 6,657 Views Citations
Brain as an Emergent Finite Automaton: A Theory and Three Theorems (Articles)

Juyang Weng

International Journal of Intelligence Science Vol.5 No.2，February 2, 2015

DOI: 10.4236/ijis.2015.52011 5,095 Downloads 7,817 Views Citations
This article belongs to the Special Issue on Brain Mind
Trajectory Planning and Optimal Lateral Stability Control under Multiple Barriers for Intelligent Vehicle (Articles)

Zhonghua Zhang, Xuecai Yu, Zhijie Jin, Yejun Ying, Rongwei Hua, Xuwei Lin

World Journal of Engineering and Technology Vol.3 No.3，July 14, 2015

DOI: 10.4236/wjet.2015.33011 3,170 Downloads 3,932 Views Citations
Free Will for Artificial Machines with Natural Intelligence (Articles)

Luis F. Copertari

Open Access Library Journal Vol.3 No.3，March 4, 2016

DOI: 10.4236/oalib.1102355 1,044 Downloads 2,329 Views Citations
Providing a Therapeutic Scheduling for HIV Infected Individuals with Genetic Algorithms Using a Cellular Automata Model of HIV Infection in the Peripheral Blood Stream (Articles)

Gelayol Nazari Golpayegani, Amir Homayoun Jafari, Nader Jafarnia Dabanloo

Journal of Biomedical Science and Engineering Vol.10 No.3，March 13, 2017

DOI: 10.4236/jbise.2017.103008 3,085 Downloads 4,064 Views Citations
Application of Fuzzy Automata Decision-Making System in Target Control (Articles)

Qinggang Wu, Zhenyu Han, Qing E. Wu

Journal of Computer and Communications Vol.5 No.10，August 10, 2017

DOI: 10.4236/jcc.2017.510003 1,125 Downloads 2,369 Views Citations
Probabilistic Modelling of Microstructural Evolution in Zr Based Bulk Metallic Glass Matrix Composites during Solidification in Additive Manufacturing (Articles)

Muhammad Musaddique Ali Rafique

Engineering Vol.10 No.4，April 13, 2018

DOI: 10.4236/eng.2018.104010 928 Downloads 1,976 Views Citations
Improvised Technique for Analyzing Data and Detecting Terrorist Attack Using Machine Learning Approach Based on Twitter Data (Articles)

Aditi Sarker, Partha Chakraborty, S. M. Shaheen Sha, Mahmuda Khatun, Md. Rakib Hasan, Kawshik Banerjee

Journal of Computer and Communications Vol.8 No.7，July 30, 2020

DOI: 10.4236/jcc.2020.87005 653 Downloads 2,444 Views Citations
This article belongs to the Special Issue on Artificial Intelligence & Applications
Sustainable Development Research in Chinese Medium-Sized City Based on SLEUTH (Articles)

Rong Du

Journal of Environmental Protection Vol.11 No.11，November 18, 2020

DOI: 10.4236/jep.2020.1111061 389 Downloads 971 Views Citations
This article belongs to the Special Issue on Environmental Management and Policy
One Hot Encoding Synthesis of Quantum Automata from Flowcharts (Articles)

Yuchen Huang, Marek Perkowski

Journal of Quantum Information Science Vol.13 No.3，September 20, 2023

DOI: 10.4236/jqis.2023.133009 154 Downloads 545 Views Citations
On Some Systems of Word Equations for Automata (Articles)

Nikolai I. Krainukov, Mikhail E. Abramyan, Boris F. Melnikov

Journal of Applied Mathematics and Physics Vol.12 No.12，December 31, 2024

DOI: 10.4236/jamp.2024.1212265 21 Downloads 135 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,273 Downloads 12,128 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,636 Downloads 6,842 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,246 Downloads 8,131 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,364 Downloads 9,420 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 5,902 Downloads 9,879 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 7,736 Downloads 13,654 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 7,933 Downloads 14,550 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

Int'l J. of Communications, Network and System Sciences Vol.5 No.3，March 21, 2012

DOI: 10.4236/ijcns.2012.53021 3,895 Downloads 6,382 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,068 Downloads 9,157 Views Citations

<...345 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies