Learn More
Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL). The pool of programming languages has been evolving with the development of new languages, and from this pool different(More)
Proteins are the executants of biological functions in living organisms. Comprehension of protein structure is a challenging problem in the era of proteomics, computational biology, and bioinformatics because of its pivotal role in protein folding patterns. Owing to the large exploration of protein sequences in protein databanks and intricacy of protein(More)
The most expedient unit of the human body is its cell. Encapsulated within the cell are many infinitesimal entities and molecules which are protected by a cell membrane. The proteins that are associated with this lipid based bilayer cell membrane are known as membrane proteins and are considered to play a significant role. These membrane proteins exhibit(More)
Railway interlocking is a safety critical system because its incorrect functioning may cause serious consequences. Modeling of a reliable interlocking has become a challenging problem due to its inherent complexity and introduction of new technologies. In this paper, formal analysis of safety properties of moving block interlocking is presented preventing(More)
Railway interlocking system is a distributed, safety, monetary and environmentally critical system and its failure may cause the loss of human life, severe injuries, loss of money and environmental damages. The complexity of this system requires formal modeling and step by step refinement for its construction and development. The formal specification-based(More)
The paper presents the vector-host disease with a variability in population. We assume, the disease is fatal and for some cases the infected individuals become susceptible. We first show the local and global stability of the disease-free equilibrium, for the case when R 0 < 1. We also show that for R 0 < 1, the disease free-equilibrium of the model is both(More)
Multi-agent systems technology has generated lots of incitements, because of it used for distributed, intelligent and safety critical system. The failure of some system may cause the loss of human life, severe injuries, loss of money and environmental damages. To get the robust, safe and reliable multi-agent system it requires formal modeling and step by(More)
In recent years, the volume of air traffic has increased dramatically which caused for unwanted delay in flights at the airports during the departure and arrival process of aircrafts. In this paper we have proposed step by step modeling process for the departure of the aircraft with the coordination of the air traffic controllers. These controllers are(More)