We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
This paper focuses on the design of control strategies for Evolutionary Algorithms. We propose a method to encapsulate multiple parameters, reducing control to only one criterion. ...
Optimal control problems in batch distillation involve finding a trajectory for the reflux ratio so as to maximize a performance index. Then the controller is asked to follow this...
This paper presents a study on the application of virtual fixtures as a control aid for performing telemanipulation or in the training environment. The implementation features bot...