The rate of change in business and government is accelerating. A number of techniques for addressing that change have emerged independently to provide for automated solutions in this environment. This paper will examine three of the most popular of these technologies— business process management, the agile software development movement, and infrastructure virtualization— to expose the commonali...

So many software development methods have been introduced in the last decade, that one can talk about a "methodology jungle". To aid the method developers and evaluators in fighting their way through this jungle we propose a systematic approach for measuring properties of methods. We describe two sets of metrics, which measure the complexity of diagrammatic specification techniques on the one h...

the county of khorram-abad enjoys a high potential for ecotourism because of its mountains, forests, natural mineral springs, natural waterfalls and diversity in folks and cultures. but, un-planned and uncontrolled ecotourism can have negative effects on environment, economy, culture and even the security of eco-tourists. the main purpose of this study is to present a fuzzy multi-criteria decis...

Three formalisms of different kinds – VDM, Maude, and basic CCS – are evaluated for their suitability for the modelling and verification of dynamic software reconfiguration using as a case study the dynamic reconfiguration of a simple office workflow for order processing. The research is ongoing, and initial results are reported.

background: urinary organic acids are water-soluble intermediates and end products of the metabolism of amino acids, carbohydrates, lipids, and a number of other metabolic processes. in the hereditary diseases known as organic acidurias, an enzyme or co-factor defect in a metabolic pathway leads to the accumulation and increased excretion of one or more of these acidic metabolites. gas chromato...