— The paper discusses elementary control strategies to control the phase of an oscillator. Both feedforward and feedback (P and PI) control laws are designed based on the phase r...
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel W...
This paper presents the distributed architecture of the WIDE workflow management system. We show how distribution and scalability are obtained by the use of a distributed object m...
Stefano Ceri, Paul W. P. J. Grefen, Gabriel Sanche...
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...