Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journals
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
FAQ
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
FAQ
Follow SCIRP
Contact us
[email protected]
+86 18163351462
(WhatsApp)
1655362766
SCIRP WeChat
Publication Date:
📅
--📅
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Test Selection on Extended Finite State Machines with Provable Guarantees
(Articles)
Bo Guo
,
Mahadevan Subramaniam
Journal of Software Engineering and Applications
Vol.6 No.9
, September 20, 2013
DOI:
10.4236/jsea.2013.69060
3,333
Downloads
5,289
Views
Citations
A Simple Model for On-Sensor Phase-Detection Autofocusing Algorithm
(Articles)
Przemysław Śliwiński
,
Paweł Wachel
Journal of Computer and Communications
Vol.1 No.6
, November 26, 2013
DOI:
10.4236/jcc.2013.16003
5,551
Downloads
9,596
Views
Citations
A Logical Treatment of Non-Termination and Program Behaviour
(Articles)
Martin Ward
,
Hussein Zedan
Journal of Software Engineering and Applications
Vol.7 No.7
, June 5, 2014
DOI:
10.4236/jsea.2014.77051
4,470
Downloads
5,650
Views
Citations
This article belongs to the Special Issue on
Programming Languages
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,880
Downloads
7,602
Views
Citations
The Factorizational Theory of Finite Asymptotic Expansions in the Real Domain: A Survey of the Main Results
(Articles)
Antonio Granata
Advances in Pure Mathematics
Vol.5 No.1
, January 12, 2015
DOI:
10.4236/apm.2015.51001
3,712
Downloads
4,883
Views
Citations
This article belongs to the Special Issue on
Asymptotic Methods
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,297
Downloads
4,849
Views
Citations
Formalization of Federated Schema Architectural Style Variability
(Articles)
Wilhelm Hasselbring
Journal of Software Engineering and Applications
Vol.8 No.2
, February 15, 2015
DOI:
10.4236/jsea.2015.82009
3,445
Downloads
4,842
Views
Citations
The Role of Asymptotic Mean in the Geometric Theory of Asymptotic Expansions in the Real Domain
(Articles)
Antonio Granata
Advances in Pure Mathematics
Vol.5 No.2
, February 26, 2015
DOI:
10.4236/apm.2015.52013
5,663
Downloads
6,804
Views
Citations
Bone Formation in a Scaffold Composed of Cylindrical Hydroxyapatite and Tryptophan- or Lysine-Coated Sponge
in Vivo
(Articles)
Masataka Yoshikawa
,
Hideyuki Kakigi
,
Hiroshi Maeda
,
Ikuo Nishikawa
,
Hideaki Ikenaga
,
Takeshi Inamoto
,
Norimasa Tsuji
Journal of Biomedical Science and Engineering
Vol.8 No.6
, June 29, 2015
DOI:
10.4236/jbise.2015.86037
2,976
Downloads
4,345
Views
Citations
Analytic Theory of Finite Asymptotic Expansions in the Real Domain. Part II-A: The Factorizational Theory for Chebyshev Asymptotic Scales
(Articles)
Antonio Granata
Advances in Pure Mathematics
Vol.5 No.8
, June 30, 2015
DOI:
10.4236/apm.2015.58045
5,053
Downloads
6,223
Views
Citations
Analytic Theory of Finite Asymptotic Expansions in the Real Domain. Part II-B: Solutions of Differential Inequalities and Asymptotic Admissibility of Standard Derivatives
(Articles)
Antonio Granata
Advances in Pure Mathematics
Vol.5 No.8
, June 30, 2015
DOI:
10.4236/apm.2015.58046
5,362
Downloads
6,457
Views
Citations
Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems
(Articles)
Meenakshi Sridhar
,
Naseeb Singh Gill
Journal of Software Engineering and Applications
Vol.8 No.9
, September 25, 2015
DOI:
10.4236/jsea.2015.89047
5,251
Downloads
6,730
Views
Citations
Game Analysis of Reputation Model on Cooperation of Employees in Probation Period and Formal Work Stage
(Articles)
Jinyi Li
,
Jing Li
Open Journal of Social Sciences
Vol.3 No.10
, October 22, 2015
DOI:
10.4236/jss.2015.310011
6,300
Downloads
7,481
Views
Citations
Multimedia Design and Transmedia Storytelling: Content Production for Microtrainings
(Articles)
Tércia Zavaglia Torres
,
Marcia Izabel Fugisawa Souza
,
José Ruy Porto de Carvalho
,
Silvio Roberto Medeiros Evangelista
Creative Education
Vol.6 No.23
, December 30, 2015
DOI:
10.4236/ce.2015.623254
4,120
Downloads
7,039
Views
Citations
This article belongs to the Special Issue on
Vocational and Adult Education
Performance Improvement of Polyvinyl Formal Based Gel Polymer Electrolyte for Lithium-Ion Batteries by Coating Al
2
O
3
(Articles)
Yan Wen
,
Gaofeng Li
,
Pingping Zhang
,
Guohong Xiong
Journal of Applied Mathematics and Physics
Vol.4 No.2
, February 17, 2016
DOI:
10.4236/jamp.2016.42023
4,553
Downloads
6,347
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,751
Downloads
2,961
Views
Citations
This article belongs to the Special Issue on
Formal Methods
Tenure Security, Land Titles and Access to Formal Finance in Upgraded Informal Settlements: The Case of Dar es Salaam, Tanzania
(Articles)
Shaaban A. Sheuya
,
Marco M. Burra
Current Urban Studies
Vol.4 No.4
, November 4, 2016
DOI:
10.4236/cus.2016.44029
2,195
Downloads
5,473
Views
Citations
Collaborative Intelligence in Smart Cities: A Systematic Review
(Articles)
Viviani Kwecko
,
Silvia S. da C. Botelho
Social Networking
Vol.7 No.3
, July 24, 2018
DOI:
10.4236/sn.2018.73015
1,094
Downloads
3,202
Views
Citations
Formal Financial Credit Constraints and Solutions for Entrepreneurial Farmers
(Articles)
Xiaoyan Zhang
Modern Economy
Vol.9 No.12
, December 27, 2018
DOI:
10.4236/me.2018.912140
911
Downloads
2,524
Views
Citations
Concrete Formulation Study for Informal and Semi-Informal Construction Sectors
(Articles)
Narcisse Malanda
,
Paul Louzolo-Kimbembe
,
Louis Ahouet
,
Jarlon Brunel Makela
,
Guy-Richard Mouengue
Open Journal of Civil Engineering
Vol.9 No.1
, March 29, 2019
DOI:
10.4236/ojce.2019.91005
1,618
Downloads
3,376
Views
Citations
First
<
...
8
9
10
...
>
Last
Follow SCIRP
Contact us
[email protected]
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
SCIRP Newsletter
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
News
About SCIRP
Ethics
Editorial Policies
For Authors
Peer-Review Issues
Publication Fees
Special Issues
Service
Manuscript Tracking System
Order Print Copies
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top