This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
Abstract. Web advertisers prefer the cost-per-action (CPA) advertisement model whereby an advertiser pays a web publisher according to the actual amount of transactions, rather tha...
We present a brief observational, ‘ethnographic’, study of the Roughing Mill in a steel plant and use material from recorded activities to provide ‘illustrative vignettes’ ...
Karen Clarke, John A. Hughes, David Martin, Mark R...
Abstract- This paper presents the results from a multiplecase study of knowledge management systems (KM -systems) in practical use. A set of general problem areas concerning the in...