This paper is set against a background of national IS initiatives implemented in the Vocational and Technical Education (VTE) sectors of developing Asian countries through donor agency funded projects, which can be seen as Project Intervention Processes (PIPs). This research is based on a six year research study of IS initiatives implemented in nine VTE sector projects covering Laos, Sri Lanka ...

This paper describes a methodology for developing and verifying a class of distributed systems using stepwise refinement and a theorem prover. The process of refinement leads to algorithms in which individual steps can be implemented atomically in a straightforward way. These algorithms are then transformed from the notation of the theorem prover to a target programming language, such as Java a...

Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called pa...

the purpose of this article is to determine elements of strategic thinking in the context of iranian organizations and to find out the interactions and relationships among determined elements. a literature review and also in-depth interviews with experts are conducted to identify strategic thinking elements. interpretive structural modeling methodology is used for analyzing and determining the ...

this paper introduces a new method for accelerating current sluggish fem and improving memory demand in fem problems with high node resolution or bulky structures. like most of the numerical methods, fem results to a matrix equation which normally has huge dimension. breaking the main matrix equation into several smaller size matrices, the solving procedure can be accelerated. for implementing ...

In this article, a Multi-Objective Memetic Algorithm (MA) for rule learning is proposed. Prediction accuracy and interpretation are two measures that conflict with each other. In this approach, we consider accuracy and interpretation of rules sets. Additionally, individual classifiers face other problems such as huge sizes, high dimensionality and imbalance classes’ distribution data sets. This...

Logistic network design is one of the most important strategic decisions in supply chain management that has recently attracted the attention of many researchers. Transportation network design is then one of the most important fields of logistic network. This study is concerned with designing a multi-stage and multi-product logistic network. At first, a mixed integer nonlinear programming model...

In this paper we frame and propose a step-by-step methodology for building complicated microarchitectural implementations of ISA’s (Instruction Set Architectures). This methodology uses incremental refinement, abstraction, and mapping. We review the current state of the art theory as well as the work that we plan on leveraging. Few have created tools for optimally scheduling or synthesizing pip...