Altaf Hussain

Learn More
3-valued models have been advocated as a means of system abstraction such that verifications and refutations of temporal-logic properties transfer from abstract models to the systems they represent. Some application domains, however, require multiple models of a concrete or virtual system. We build the mathematical foundations for 3-valued property(More)
We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke frame with two sorts (points and lines) and three modal accessibility relations, namely the point-line and line-point incidence relations and the parallelism relation between(More)
—We provide a conceptual model for context aware Semantic Web Service (SWS) discovery, which can utilize real-time legacy data from external systems and support user context-based service discovery and selection. This model offers advantages over current SWS technology which cannot be easily applied to different domains or be integrated with legacy systems.(More)
Solid dispersions of artemether and polyethylene glycol 6000 (PEG6000) were prepared in ratio 12 : 88 (group-1). Self-emulsified solid dispersions of artemether were prepared by using polyethylene glycol 6000, Cremophor-A25, olive oil, Transcutol, and hydroxypropyl methylcellulose (HPMC) in ratio 12 : 75 : 5 : 4 : 2 : 2, respectively (group-2). In third(More)
In order to locate mates, food, and oviposition sites, insects mainly rely on volatile cues released by their sexual partners, food sources, and host and non-host plants. Calling, mating, and oviposition behaviors, as well as fecundity and longevity, of newly emerged Spodoptera littoralis (Bois.) moths were recorded in the presence of volatiles from leaves(More)
Recently, iron oxide nanoparticles (NPs) have attracted much consideration due to their unique properties, such as superparamagnetism, surface-to-volume ratio, greater surface area, and easy separation methodology. Various physical, chemical, and biological methods have been adopted to synthesize magnetic NPs with suitable surface chemistry. This review(More)