Formal Digital Investigation - Articles - Scientific Research Publishing

Modeling Components and Services of LTE Mobile Communications System (Articles)

Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar

International Journal of Communications, Network and System Sciences Vol.5 No.12, December 20, 2012

DOI: 10.4236/ijcns.2012.512086 4,862 Downloads 8,119 Views Citations
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,313 Downloads 5,259 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,515 Downloads 9,543 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,460 Downloads 5,633 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,852 Downloads 7,562 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,708 Downloads 4,866 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,262 Downloads 4,798 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,430 Downloads 4,807 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,636 Downloads 6,762 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,953 Downloads 4,312 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,023 Downloads 6,181 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,354 Downloads 6,438 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,227 Downloads 6,694 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,286 Downloads 7,459 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,114 Downloads 7,004 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₂O₃ (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,529 Downloads 6,306 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,732 Downloads 2,927 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,162 Downloads 5,405 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,080 Downloads 3,166 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 884 Downloads 2,477 Views Citations

First <...789 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies