Matching between two work¯ow processes is the key step of work¯ow process reuse. This paper presents an inexact matching approach for ¯exible work¯ow process reuse. A multi-valued process specialization relationship is de®ned based on the de®nition of activity specialization and the characteristics of work¯ow process. The matching degree between two work¯ow processes is determined by the matchi...

Abstract Discounting future costs and rewards is a common practice in accounting, game theory machine learning. In spite of this, existing logics for reasoning about strategies with cost resource constraints do not account discounting. The article proposes sound complete logical system budget-constrained strategic abilities that incorporates discounting into its semantics.

In current work ow and groupware systems, there is a gap between formal and informal coordination mechanisms. To ll the gap, exible coordination support covers the whole spectrum of informal and formal coordination mechanisms. In this paper, a exible coordination model integrating formal and informal coordination mechanisms is presented. Methods of using cooperative hypermedia concepts to unifo...

OMI/HIC is a point-to-point link technology under development. It has a exible packet format and supports ow control, which makes OMI/HIC usable as an alternative physical layer for other higher level protocols, like SCI and ATM. Routing chips with advanced routing strategies are made, and these routing chips are useful building blocks for larger switches for point to point links.

In energy-constrained settings, most low-power compiler optimization techniques take the approach of minimizing the energy consumption while meeting no performance loss. However, it is possible that the available energy budget is not sufficient to meet the optimal performance objective. To limit energy consumption within a given energy budget, energy-constrained optimization approach is more si...

Armstrong’s axioms of functional dependency form a well-known logical system that captures properties of functional dependencies between sets of database attributes. This article assumes that there are costs associated with attributes and proposes an extension of Armstrong’s system for reasoning about budget-constrained functional dependencies in such a setting. The main technical result of thi...

This paper reviews a cyclic scheduling model of repetitive manufacturing environments consisting of exible machines and multi-stage jobs. We explicitly model two system performance measures, throughput and ow time, while incorporating variability arising from uncertainty in operation processing times. We present an iterative approximation scheme to estimate the two moment behavior of our perfor...