In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...
The Job Scheduling with Cancellation problem is a variation of classical scheduling problems in which jobs can be cancelled while waiting for execution. In this paper we prove a t...
Feifeng Zheng, Francis Y. L. Chin, Stanley P. Y. F...
The information collected regarding group activity in a collaborative learning environment requires classifying, structuring and processing. The aim is to process this information ...
This contribution presents the design and implementation of a bank service, constituting a key component in a recently developed Grid accounting system solution. The Grid accountin...
—The ever increasing scale and complexity of large computational systems ask for sophisticated management tools, paving the way toward Autonomic Computing. A first step toward A...