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,789
Downloads
3,399
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,566
Downloads
3,075
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
680
Downloads
1,670
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,197
Downloads
16,072
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,577
Downloads
7,143
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,541
Downloads
7,091
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,919
Downloads
7,313
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,837
Downloads
4,881
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,606
Downloads
2,452
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,434
Downloads
2,301
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,630
Downloads
3,422
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,373
Downloads
6,540
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
625
Downloads
1,351
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
191
Downloads
1,081
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,724
Downloads
5,198
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,057
Downloads
3,970
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,980
Downloads
4,835
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,554
Downloads
2,358
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
140
Downloads
680
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