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,279
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,976
Downloads
4,816
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
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,393
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,173
Downloads
16,015
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,524
Downloads
7,050
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
4,850
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,625
Downloads
3,374
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,793
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,176
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,053
Downloads
3,943
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,343
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
132
Downloads
618
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,322
Downloads
4,886
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,003
Downloads
4,700
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
675
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
955
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,101
Downloads
6,396
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,302
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
723
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