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,304
Downloads
8,153
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,054
Downloads
3,947
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,786
Downloads
3,381
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
72
Downloads
360
Views
Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.3 No.8
,August 26, 2010
DOI:
10.4236/jsea.2010.38093
4,872
Downloads
8,032
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,928
Downloads
17,577
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,784
Downloads
10,670
Views
Citations
This article belongs to the Special Issue on
Data-Oriented Intelligence
Verification of Session Initiation Protocol Using Timed Colored Petri Net
(Articles)
Safiye Kızmaz
,
Mürvet Kırcı
Int'l J. of Communications, Network and System Sciences
Vol.4 No.3
,March 10, 2011
DOI:
10.4236/ijcns.2011.43021
3,938
Downloads
8,384
Views
Citations
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,741
Downloads
3,200
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,949
Downloads
4,557
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
72
Downloads
207
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,574
Downloads
3,718
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,535
Downloads
5,625
Views
Citations
This article belongs to the Special Issue on
Food Safety
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,721
Downloads
5,178
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,626
Downloads
6,810
Views
Citations
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,984
Downloads
5,989
Views
Citations
A Comparative Analysis of Tools for Verification of Security Protocols
(Articles)
Nitish Dalal
,
Jenny Shah
,
Khushboo Hisaria
,
Devesh Jinwala
Int'l J. of Communications, Network and System Sciences
Vol.3 No.10
,October 27, 2010
DOI:
10.4236/ijcns.2010.310104
7,658
Downloads
15,785
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,064
Downloads
5,355
Views
Citations
RPBTC: An Implementation Method for Robot Planning
(Articles)
Shan Zhong
,
Qiuya Chen
,
Yunfei Zhou
,
Juan Yuan
Journal of Software Engineering and Applications
Vol.4 No.2
,February 28, 2011
DOI:
10.4236/jsea.2011.42009
4,153
Downloads
8,339
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,255
Downloads
6,687
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