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
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,282
Downloads
8,237
Views
Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
(Articles)
Nadeem Akhtar
,
Muhammad Nauman
Journal of Software Engineering and Applications
Vol.8 No.2
,February 12, 2015
DOI:
10.4236/jsea.2015.82006
3,042
Downloads
4,012
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,772
Downloads
3,425
Views
Citations
FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net
(Articles)
Walid Ben Mesmia
,
Kamel Barkaoui
,
Mohamed Escheikh
Journal of Software Engineering and Applications
Vol.16 No.9
,September 14, 2023
DOI:
10.4236/jsea.2023.169022
57
Downloads
314
Views
Citations
Syntax-Tree Regular Expression Based DFA FormalConstruction
(Articles)
Nazir Ahmad Zafar
,
Fawaz Alsaade
Intelligent Information Management
Vol.4 No.4
,July 27, 2012
DOI:
10.4236/iim.2012.44021
11,817
Downloads
20,907
Views
Citations
RFID Complex Event Processing: Applications in Real-Time Locating System
(Articles)
Yao-zong Liu
,
Hong Zhang
,
Yong-li Wang
International Journal of Intelligence Science
Vol.2 No.4A
,November 1, 2012
DOI:
10.4236/ijis.2012.224021
5,755
Downloads
10,728
Views
Citations
This article belongs to the Special Issue on
Data-Oriented Intelligence
Petri Nets—A Versatile Modeling Structure
(Articles)
Miryam Barad
Applied Mathematics
Vol.7 No.9
,May 26, 2016
DOI:
10.4236/am.2016.79074
1,724
Downloads
3,298
Views
Citations
Sensivity Analysis of the Cellular Automata Model for Austenite-Ferrite Phase Transformation in Steels
(Articles)
Rafal Golab
,
Daniel Bachniak
,
Krzysztof Bzowski
,
Lukasz Madej
Applied Mathematics
Vol.4 No.11
,November 5, 2013
DOI:
10.4236/am.2013.411207
2,932
Downloads
4,601
Views
Citations
A Program Study of the Union of Semilattices on the Set of Subsets of Grids of Waterloo Language
(Articles)
Mikhail E. Abramyan
,
Boris F. Melnikov
Journal of Applied Mathematics and Physics
Vol.11 No.5
,May 31, 2023
DOI:
10.4236/jamp.2023.115095
58
Downloads
206
Views
Citations
Female Sexual Dysfunction and Timed Intercourse: A Prospective Study of 105 Infertile Women
(Articles)
Liuhong Cai
,
Junxi Liu
,
Shaomin Lu
,
Jiamin Yin
Advances in Reproductive Sciences
Vol.3 No.4
,November 24, 2015
DOI:
10.4236/arsci.2015.34011
2,558
Downloads
3,777
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,483
Downloads
5,807
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,965
Downloads
6,055
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,033
Downloads
5,461
Views
Citations
Formal Modeling and Analysis of AADL Threads in Real Time Maude
(Articles)
F. Belala
,
M. Benammar
,
K. Barkaoui
,
A. Hicheur
Journal of Software Engineering and Applications
Vol.5 No.12B
,January 25, 2013
DOI:
10.4236/jsea.2012.512B036
3,704
Downloads
5,247
Views
Citations
Mapping AADL to Petri Net Tool-Sets Using PNML Framework
(Articles)
Hassan Reza
,
Amrita Chatterjee
Journal of Software Engineering and Applications
Vol.7 No.11
,October 24, 2014
DOI:
10.4236/jsea.2014.711082
5,602
Downloads
6,918
Views
Citations
Data Timed Sending (DTS) Energy Efficient Protocol for Wireless Sensor Networks: Simulation and Testbed Verification
(Articles)
Konstantin Chomu
,
Liljana Gavrilovska
Wireless Sensor Network
Vol.5 No.8
,August 28, 2013
DOI:
10.4236/wsn.2013.58019
4,229
Downloads
6,817
Views
Citations
Literature Review of Strategic Transformation—Based on the Literature Supported by the National Natural Science Fund and the National Social Science Fund of China
(Articles)
Yuting Wu
American Journal of Industrial and Business Management
Vol.8 No.2
,February 11, 2018
DOI:
10.4236/ajibm.2018.82015
1,111
Downloads
3,230
Views
Citations
An Application of Linear Automata to Near Rings
(Articles)
Songfa You
,
Yijun Feng
,
Ming Cao
,
Yaping Wei
Applied Mathematics
Vol.3 No.11
,November 14, 2012
DOI:
10.4236/am.2012.311223
3,047
Downloads
5,018
Views
Citations
The Equivalent Conversion between Regular Grammar and Finite Automata
(Articles)
Jielan Zhang
,
Zhongsheng Qian
Journal of Software Engineering and Applications
Vol.6 No.1
,January 30, 2013
DOI:
10.4236/jsea.2013.61005
16,892
Downloads
31,084
Views
Citations
An Automata-Based Approach to Pattern Matching
(Articles)
Ali Sever
Intelligent Control and Automation
Vol.4 No.3
,August 8, 2013
DOI:
10.4236/ica.2013.43036
7,135
Downloads
9,036
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