Knowledge of in-the-field software operation is nowadays acquired by many software-producing organizations. Vendors are effective in acquiring large amounts of valuable software operation data to improve the quality of their software products. For many vendors, however, it remains unclear how their actual product software processes can be advanced through structural integration of such informat...

micropolar plasticity provides the capability to carry out post-failure simulations of geo-structures due to microstructural considerations and embedded length scale in its formulation. an essential part of the numerical implementation of a micropolar plasticity model is the integration of the rate constitutive equations. efficiency and robustness of the implementation hinge on the type of inte...

Event-B is a formal method used to do model driven engineering correct by construction. We propose a pattern to integrate time in this method. This pattern integrates elements from the theory of timed automata and event-clock automata. As experimentation of our ideas, we present a case study: an algorithm for asynchronous communication from H.R. Simpson. We prove this formal development with th...

‎‎‎‎‎‎‎‎‎‎‎‎‎This paper aims to construct a general formulation for the shifted Jacobi operational matrices of integration and product‎. ‎The main aim is to generalize the Jacobi integral and product operational matrices to the solving system of Fredholm and Volterra integro--differential equations‎ which appear in various fields of science such as physics and engineering. ‎The Operational matr...

To improve thequalityofdecisionmaking in theprocessoperations, it is essential to implement integrated planning and scheduling optimization. Major challenge for the integration lies in that the corresponding optimization problem is generally hard to solve because of the intractable model size. In this paper, ccepted 18 November 2009 vailable online 24 November 2009 eywords: lanning and scheduli...

........................................................................................................................ ii Acknowledgement........................................................................................................ iii Dedication .....................................................................................................................iv Chapter 1: Introdu...