Formal Context - Articles - Scientific Research Publishing

Context-Based Recommendation Approach for Measurement and Evaluation Projects (Articles)

Hernan Molina, Luis Olsina, Gustavo Rossi

Journal of Software Engineering and Applications Vol.3 No.12，December 31, 2010

DOI: 10.4236/jsea.2010.312128 6,540 Downloads 11,539 Views Citations
An Entertaining Example of Using the Concepts of Context-Free Grammar and Pushdown Automation (Articles)

Krasimir Yordzhev

Open Journal of Discrete Mathematics Vol.2 No.3，July 18, 2012

DOI: 10.4236/ojdm.2012.23020 4,983 Downloads 8,302 Views Citations
Interrelation of Languages of Colored Petri Nets and Some Traditional Languages (Articles)

Goharik R. Petrosyan, Andrey M. Avetisyan, Lilit A. Ter-Vardanyan

Open Journal of Modelling and Simulation Vol.1 No.3，July 11, 2013

DOI: 10.4236/ojmsi.2013.13005 4,129 Downloads 7,287 Views Citations
The Relationship of Obstructive Sleep Apnea with Cardiovascular Reactivity, Psychological Distress, and Coping Responses in the South African Context: A Critical Review (Articles)

Lelanie Malan, Werner de Klerk

Voice of the Publisher Vol.9 No.4，November 7, 2023

DOI: 10.4236/vp.2023.94018 150 Downloads 697 Views Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.2 No.2，July 15, 2009

DOI: 10.4236/jsea.2009.22012 5,032 Downloads 8,604 Views Citations
Model of Real Time Architecture for Data Placement in Wireless Sensor Networks (Articles)

Sanjeev GUPTA, Mayank DAVE

Wireless Sensor Network Vol.2 No.1，January 13, 2010

DOI: 10.4236/wsn.2010.21008 7,890 Downloads 12,562 Views Citations
A Conflicts Detection Approach for Merging Formal Specification Views (Articles)

Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam

Journal of Software Engineering and Applications Vol.3 No.5，May 24, 2010

DOI: 10.4236/jsea.2010.35052 5,136 Downloads 8,707 Views Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.3 No.8，August 26, 2010

DOI: 10.4236/jsea.2010.38093 5,055 Downloads 8,417 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,425 Downloads 16,539 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

Int'l J. of Communications, Network and System Sciences Vol.5 No.3，March 21, 2012

DOI: 10.4236/ijcns.2012.53021 3,920 Downloads 6,486 Views Citations
The Imaginary Audience and the Personal Fable: A Test of Elkind’s Theory of Adolescent Egocentrism (Articles)

Evangelia P. Galanaki

Psychology Vol.3 No.6，June 18, 2012

DOI: 10.4236/psych.2012.36065 29,411 Downloads 50,884 Views Citations
Building Relationships between Schools and Communities’ Agencies: Crafting a Programmatic Proposal (Articles)

Imran Shaari, Shu-Shing Lee

Creative Education Vol.3 No.3，June 20, 2012

DOI: 10.4236/ce.2012.33057 5,185 Downloads 8,433 Views Citations
A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming (Articles)

Khalid Benlhachmi, Mohammed Benattou

Journal of Information Security Vol.4 No.2，April 23, 2013

DOI: 10.4236/jis.2013.42013 4,521 Downloads 7,233 Views Citations
FOTool: Modelling Indigenous Community Cultures in Sarawak (Articles)

Edwin Mit, Ng Bong Ding, Cheah Wai Shiang

Journal of Software Engineering and Applications Vol.7 No.8，July 25, 2014

DOI: 10.4236/jsea.2014.78067 3,033 Downloads 4,127 Views Citations
Diglossia in the Arab World
—Educational Implications and Future Perspectives (Articles)

Christopher Horn

Open Journal of Modern Linguistics Vol.5 No.1，February 17, 2015

DOI: 10.4236/ojml.2015.51009 7,780 Downloads 12,578 Views Citations
Formal-Informal Credit Market Interlinkage and Development Policies: A General Equilibrium Analysis (Articles)

Rakhi Banerjee, Ranjanendra Narayan Nag

Modern Economy Vol.6 No.8，August 20, 2015

DOI: 10.4236/me.2015.68086 4,040 Downloads 5,809 Views Citations
Fuzzy Semantics of Contract Language (Articles)

Hengyang Wu, Yixiang Chen

Applied Mathematics Vol.7 No.5，March 18, 2016

DOI: 10.4236/am.2016.75039 2,406 Downloads 3,541 Views Citations
This article belongs to the Special Issue on Fuzzy Mathematics and Its Applications
An Augmented Framework for Formal Analysis of Safety Critical Systems (Articles)

Monika Singh, V. K. Jain

Journal of Software Engineering and Applications Vol.10 No.8，July 11, 2017

DOI: 10.4236/jsea.2017.108039 1,307 Downloads 2,854 Views Citations
Architectural Composition: A Systematic Method to Define a List of Visual Attributes (Articles)

Seyed Farhad Tayyebi, Yüksel Demir

Art and Design Review Vol.7 No.3，June 11, 2019

DOI: 10.4236/adr.2019.73012 1,288 Downloads 10,528 Views Citations
Using a Low-Cost Playful Strategy to Present Sign Language on Non-Formal Educational Spaces (Articles)

Tathianna Prado Dawes, Gustavo Henrique Varela Saturnino Alves, Helena Carla Castro, Andréia Santos Silva, Lucianne Fragel-Madeira

Creative Education Vol.10 No.6，June 28, 2019

DOI: 10.4236/ce.2019.106092 749 Downloads 1,502 Views Citations

<...345 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies