Service-oriented architecture (SOA) for distributed computing has become increasingly popular due to the great advantage that distributed applications can be rapidly synthesized w...
Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Dazhi Huang...
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
In this paper the control problem of a hydraulic servosystem is addressed. The performance achievable by classical linear controllers, e.g. PD, are usually limited due to highly n...
In this paper, we present a locking-based concurrency control scheme for object-oriented databases (OODBs). Our scheme deals with class hierarchy which is an important property in...