Program transformation is a restricted form of software construction that can be amenable to formal verification. When successful, the nature of the evidence provided by such a verification is considered strong and can constitute a major component of an argument that a high-consequence or safety-critical system meets its dependability requirements. This article explores the application of novel...

This paper presents the application of eXtreme Programming to the software agents research and development group at TRLabs Regina. The group had difficulties maintaining its identity due to a very rapid turnover and lack of strategic polarization. The application of eXtreme Programming resulted in a complete reorientation of the development culture, which now forms a continuous substrate in eve...

The paper uses dynamic programming to investigate when contestants should bank their current winnings in the TV quiz show , the Weakest Link. It obtains the optimal strategy for the team as a whole and then looks at two possible reasons why the contestants tend to use other strategies in reality.

When viewed from a strategic perspective, a labeled rule base in a rewriting system can be seen as a restricted form of strategic expression (e.g., a collection of rules strictly composed using the left-biased choice combinator). This paper describes higher-order mechanisms capable of dynamically constructing strategic expressions that are similar to rule bases. One notable difference between t...

emission trading is one of the famous mechanisms under kyoto protocol to control environmental pollution. the aim of this paper is to design a strategic supply chain network under emission trading scheme with inclusion of stochastic parameters and budget limitation. demand and price of carbon credits are considered as the important stochastic parameters influencing the supply chain network. in ...

We present a comparative evaluation of some generalization strategies which are applied by a method for the automated verification of infinite state reactive systems. The verification method is based on (1) the specialization of the constraint logic program which encodes the system with respect to the initial state and the property to be verified, and (2) a bottom-up evaluation of the specializ...

Modem competitive scenario necessitates the achievement of strategic fit between competitive and supply chain strategies, for effective and economic response in filling customer's orders, by a manufacturing enterprise. Towards this end, all the decisions (strategic, planning and operational) with regard to supply chain ought to be in conformity with strategic fit zone along cost efficiency and ...

The need to increase agricultural production has become a challenging task for most countries. Generally, many resource factors affect the deterioration of level, such as low water desertification, soil salinity, on capital, lack equipment, impact export and import crops, fertilizers, pesticide, ineffective role extension services which are significant in this sector. main objective research is...