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
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,774
Downloads
3,430
Views
Citations
SMS Notifying Design in Intra-Day Scheduling Security Check System
(Articles)
Cui-Hui Yan
,
Licheng Sha
,
Sai Dai
,
Hai-Dong Zhao
Energy and Power Engineering
Vol.9 No.4B
,April 6, 2017
DOI:
10.4236/epe.2017.94B059
2,551
Downloads
3,109
Views
Citations
Biologically Relevant Universality of Move F in Wh-Questions
(Articles)
Daoshan Ma
Open Access Library Journal
Vol.5 No.3
,March 15, 2018
DOI:
10.4236/oalib.1104442
674
Downloads
1,772
Views
Citations
Why Formal Methods Are Considered for Safety Critical Systems?
(Articles)
Monika Singh
,
Ashok Kumar Sharma
,
Ruhi Saxena
Journal of Software Engineering and Applications
Vol.8 No.10
,October 16, 2015
DOI:
10.4236/jsea.2015.810050
5,636
Downloads
7,170
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,130
Downloads
16,109
Views
Citations
Territorial Checking and Balance: The Change of the Spanish State Territorial Organization by Subconstitutional Rules
(Articles)
Antoni Abati Ninet
Beijing Law Review
Vol.3 No.1
,March 31, 2012
DOI:
10.4236/blr.2012.31002
3,539
Downloads
7,159
Views
Citations
Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs
(Articles)
Trinh Cong Duy
,
Nguyen Thanh Binh
,
Ioannis Parissis
Journal of Software Engineering and Applications
Vol.6 No.10A
,October 4, 2013
DOI:
10.4236/jsea.2013.610A004
4,490
Downloads
7,358
Views
Citations
This article belongs to the Special Issue on
Software Testing
Evaluation of an oral moisture-checking device for screening dry mouth
(Articles)
Yosuke Fukushima
,
Tetsuya Yoda
,
Shoichiro Kokabu
,
Ryuichiro Araki
,
Tsubasa Murata
,
Yoshimasa Kitagawa
,
Ken Omura
,
Shuji Toya
,
Kayoko Ito
,
Saori Funayama
,
Hiroshi Iwabuchi
,
Kazuhiro Asano
,
Yutaka Imai
,
Akihide Negishi
,
Satoshi Yokoo
,
Goichi Matsumoto
,
Eiro Kubota
,
Hideki Watanabe
,
Mikio Kusama
,
Kojiro Onizawa
,
Takuya Goto
,
Seiji Nakamura
,
Ryuichi Nakazawa
,
Kiyoshi Harada
,
Takashi Fujibayashi
Open Journal of Stomatology
Vol.3 No.8
,November 18, 2013
DOI:
10.4236/ojst.2013.38073
4,867
Downloads
7,562
Views
Citations
Analysis of Security of Quantum Key Distribution Based on Entangled Photon Pairs by Model Checking
(Articles)
Surapol Rochanapratishtha
,
Wanchai Pijitrojana
Journal of Quantum Information Science
Vol.5 No.3
,September 16, 2015
DOI:
10.4236/jqis.2015.53012
3,816
Downloads
5,085
Views
Citations
Checking of Radially Sawn Scots Pine and Norway Spruce Wood
(Articles)
Martti Venäläinen
,
Yonggang Hu
,
Erkki Verkasalo
Natural Resources
Vol.7 No.9
,September 9, 2016
DOI:
10.4236/nr.2016.79043
1,595
Downloads
2,571
Views
Citations
Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks
(Articles)
Koichi Kobayashi
,
Kunihiko Hiraishi
Applied Mathematics
Vol.7 No.15
,September 16, 2016
DOI:
10.4236/am.2016.715146
1,423
Downloads
2,290
Views
Citations
Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study
(Articles)
Koki Hamaya
,
Satoshi Yamane
Journal of Software Engineering and Applications
Vol.10 No.2
,February 21, 2017
DOI:
10.4236/jsea.2017.102009
1,616
Downloads
3,458
Views
Citations
White Noise Analysis: A Measure of Time Series Model Adequacy
(Articles)
Imoh Udo Moffat
,
Emmanuel Alphonsus Akpan
Applied Mathematics
Vol.10 No.11
,November 21, 2019
DOI:
10.4236/am.2019.1011069
1,319
Downloads
6,682
Views
Citations
A Spell Checking Web Service API for Smart City Communication Platforms
(Articles)
Vita S. Barletta
,
Danilo Caivano
,
Antonella Nannavecchia
,
Michele Scalera
Open Journal of Applied Sciences
Vol.9 No.12
,December 9, 2019
DOI:
10.4236/ojapps.2019.912066
610
Downloads
1,405
Views
Citations
Making a Video Documentary on Fake News and Disinformation in Bangladesh: Critical Reflections and Learning
(Articles)
Md Mahmudul Hoque
Advances in Journalism and Communication
Vol.10 No.2
,May 26, 2022
DOI:
10.4236/ajc.2022.102010
164
Downloads
1,037
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,711
Downloads
5,264
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,048
Downloads
4,028
Views
Citations
A Quantitative Analysis of Collision Resolution Protocol for Wireless Sensor Network
(Articles)
Reema Patel
,
Dhiren Patel
Journal of Software Engineering and Applications
Vol.8 No.8
,August 13, 2015
DOI:
10.4236/jsea.2015.88036
3,968
Downloads
4,862
Views
Citations
Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata
(Articles)
Ryo Yanase
,
Tatsunori Sakai
,
Makoto Sakai
,
Satoshi Yamane
Journal of Software Engineering and Applications
Vol.9 No.9
,September 30, 2016
DOI:
10.4236/jsea.2016.99030
1,547
Downloads
2,385
Views
Citations
This article belongs to the Special Issue on
Formal Methods
Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes
(Articles)
Ednah Olubunmi Aliyu
Journal of Software Engineering and Applications
Vol.16 No.6
,June 28, 2023
DOI:
10.4236/jsea.2023.166010
120
Downloads
634
Views
Citations
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