Manzoor Ahmad

Learn More
Ambient Systems are highly adaptive. They modify their behavior at run-time in response to changing environmental conditions. For these systems, Non Functional Requirements (NFR's) play an important role, and one has to identify as early as possible the requirements that are adaptable. Because of the inherent uncertainty in these systems, goal based(More)
1. Introduction L'aide à la surveillance et au maintien à domicile est un problème complexe qui requiert des compétences humaines et techniques variées induites par la multiplicité des expertises mises en jeu (sociales, médicales, techniques etc.), la dimension collaborative des analyses et des prises de décisions et enfin l'obligation de résultat lors des(More)
OBJECTIVE We report a very rare case of Hoffmann's syndrome with musclehypertrophy complicating hypothyroidism. CLINICAL PRESENTATION A 24-year-old man presented with a 2-year history of forgetfulness, swelling in his face, shoulder and calf, and motor weakness in his lower extremities. His calf and shoulder muscles were hypertrophic. Neurological(More)
In the present study, oxidative stress and lymphocytic DNA damage in both pre-op and post-op benign prostrate hyperplasia (BPH) patients with age >50 years was evaluated and compared with normal healthy subjects (controls- without any evidence of disease) of the same sex and age group. From December 2007 to November 2009, oxidative stress in 45 BPH patients(More)
  • Manzoor Ahmad
  • 2010
Self-adaptive systems are capable of autonomously modifying their behavior at run-time in response to changing environmental conditions. In order to modify the behavior, requirements play an important role, as they tend to change for these systems. For this we need to identify those requirements that are concerned with the adaptability features of the(More)
The development of drought tolerant wheat cultivars has been slow due to lack of understanding the diagnostic physiological parameters associated with improved productivity under water stress. We evaluated responses to PEG induced osmotic stress under hydroponics in D-genome synthetic derived and bread wheat germplasm with the main aim to unravel and(More)
We here investigate polarimetric behavior of thick samples of porcine liver, Intralipid, and microsphere-based tissue phantoms whose absorption and scattering properties are matched. Using polarized light we measured reflection mode Mueller matrices and derived linear/circular/total depolarization rates, based on polar decomposition. According to our(More)
Systems of systems (SoS) are large-scale systems composed of complex systems with difficult to elicit and model emergent properties. One of the most significant challenges in the engineering of such systems is how to elicit their non-functional requirements such as security. In this proposal paper we introduce a Model Driven Engineering (MDE) security(More)
Formal methods provide tools to verify the consistency and correctness of a specification with respect to the desired properties of the system. This verification is important as the development of an AAL (Ambient Assisted Living) system involves different technologies (medical services, surveillance cameras, intelligent devices, etc.) requiring a strong(More)