An error-comprising workflow dejinition might provoke serious problems to an enterprise especially when it is involved with mission critical business processes. Concurrency of workflow processes is known as one of the major sources causing such an invalid workflow process definition. So the conflicts caused by concurrent workflow processes should be considered deliberately when dejining concurr...

The performance of Statistical Disclosure Control (SDC) methods for microdata (also called masking methods) is measured in terms of the utility and the disclosure risk associated to the protected microdata set. Empirical disclosure risk assessment based on record linkage stands out as a realistic and practical disclosure risk assessment methodology which is applicable to every conceivable maski...

The major problem of checking a parallel composition of real-time systems for a real-time property is the explosion of untimed states and time regions. To attack this problem, one can use bisimulation equivalence w.r.t. the property to be checked to minimise the system state space. In this paper, we define such equivalence for the integrated linear duration properties of real-time automaton net...

in this paper, power system restoration in the presence of svc and tcsc in partial outage conditions is considered and a new method for maximum load restoration using different control variables is presented. control variables are tap of transformers, generation rescheduling and operating points of facts devices. objective function is restored load (to be maximized) and constraints are voltage ...

in this paper, behavior of teleoperation systems with modeling error and delay time error in smith predictor is discussed. in teleoperation systems, modeling error is inevitable. this paper discusses stability of teleoperation systems with modeling error. first, error of delay time in teleoperation systems by using of internet as communication channel is considered and the performance of smith ...