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
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,431
Downloads
2,310
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,974
Downloads
4,881
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,783
Downloads
3,454
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,348
Downloads
6,913
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,172
Downloads
16,198
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,520
Downloads
7,417
Views
Citations
This article belongs to the Special Issue on
Software Testing
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,828
Downloads
5,134
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,624
Downloads
3,496
Views
Citations
Unsupervised Multi-Level Non-Negative Matrix Factorization Model: Binary Data Case
(Articles)
Qingquan Sun
,
Peng Wu
,
Yeqing Wu
,
Mengcheng Guo
,
Jiang Lu
Journal of Information Security
Vol.3 No.4
,October 31, 2012
DOI:
10.4236/jis.2012.34031
4,743
Downloads
7,995
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,720
Downloads
5,287
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,055
Downloads
4,055
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,401
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
131
Downloads
686
Views
Citations
Probability Theory Predicts That Chunking into Groups of Three or Four Items Increases the Short-Term Memory Capacity
(Articles)
Motohisa Osaka
Applied Mathematics
Vol.5 No.10
,June 3, 2014
DOI:
10.4236/am.2014.510140
3,321
Downloads
5,014
Views
Citations
Evaluation of Uncertainties Related to the Near Field Model of Geological Repository for Spent Nuclear Fuel
(Articles)
Dana Barátová
,
Vladimír Nečas
World Journal of Engineering and Technology
Vol.3 No.3C
,October 22, 2015
DOI:
10.4236/wjet.2015.33C024
4,002
Downloads
4,766
Views
Citations
Probabilistic Modeling of Oil Spills at the Exclusive Economic Zone of Cuba Using Petromar-3D Model
(Articles)
Alejandro Rodríguez
,
Dayron Chang
,
Amilcar E. Calzada
,
Dayana Carracedo
,
Dailín Reyes
,
Alexander Lobaina
,
Reinaldo Casals
,
Jessica Hernández
,
Javier Cabrales
Journal of Geoscience and Environment Protection
Vol.9 No.6
,June 10, 2021
DOI:
10.4236/gep.2021.96002
210
Downloads
729
Views
Citations
An Ensemble Learning Recommender System for Interactive Platforms
(Articles)
Bernabe Batchakui
,
Basiliyos Tilahun Betru
,
Dieudonné Alain Biyong
,
Lauris Djilo Tchuenkam
World Journal of Engineering and Technology
Vol.10 No.2
,May 30, 2022
DOI:
10.4236/wjet.2022.102023
126
Downloads
1,011
Views
Citations
Discounted Cash Flow Model 2.0
(Articles)
Patrice Gélinas
Modern Economy
Vol.4 No.12
,December 13, 2013
DOI:
10.4236/me.2013.412087
4,098
Downloads
6,837
Views
Citations
Some Features of Neural Networks as Nonlinearly Parameterized Models of Unknown Systems Using an Online Learning Algorithm
(Articles)
Leonid S. Zhiteckii
,
Valerii N. Azarskov
,
Sergey A. Nikolaienko
,
Klaudia Yu. Solovchuk
Journal of Applied Mathematics and Physics
Vol.6 No.1
,January 29, 2018
DOI:
10.4236/jamp.2018.61024
687
Downloads
1,378
Views
Citations
A Bayesian Inference Model for Sustainable Crowd Source Logistics for Small and Medium Scale Enterprises (SME) in Africa
(Articles)
Kesewa Opoku Agyemang
American Journal of Industrial and Business Management
Vol.12 No.4
,April 29, 2022
DOI:
10.4236/ajibm.2022.124038
177
Downloads
811
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