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,480 Downloads 7,189 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,314 Downloads 8,605 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,333 Downloads 4,387 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,108 Downloads 2,869 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,220 Downloads 4,450 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,279 Downloads 2,942 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 1,057 Downloads 2,404 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 812 Downloads 3,059 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 512 Downloads 1,337 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 336 Downloads 1,013 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 60 Downloads 447 Views Citations
Modeling and Stability Analysis of a Communication Network System (Articles)

Zvi Retchkiman Königsberg

Journal of Computer and Communications Vol.3 No.11, November 19, 2015

DOI: 10.4236/jcc.2015.311028 2,626 Downloads 3,682 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,538 Downloads 12,725 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,884 Downloads 7,374 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,544 Downloads 8,697 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,083 Downloads 14,450 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,607 Downloads 10,002 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,132 Downloads 10,389 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,188 Downloads 15,147 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

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

International Journal of Communications, Network and System Sciences Vol.5 No.3, March 21, 2012

DOI: 10.4236/ijcns.2012.53021 4,057 Downloads 6,877 Views Citations

First <...345 ...>Last

	customer@scirp.org
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP 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